Manuel Clavel

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 12

Top Topics

Relational Database Management Systems

Top Venues

Publications

Hoang Nguyen Phuoc Bao, Manuel Clavel
Proving correctness for SQL implementations of OCL constraints. CoRR (2024)
Hoang Nguyen Phuoc Bao, Manuel Clavel
An extended model-based characterization of fine-grained access control for SQL queries. MODELS (2023)
Ngoc Chau Lam, Manuel Clavel
Web Browsers' Support for Managing Cookies. An Experiment Report. FDSE (2023)
Hoang Nguyen Phuoc Bao, Manuel Clavel
Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach. CoRR (2022)
Hieu Minh Truong, Manuel Clavel
Identifying temporary water bodies from drone images at real-time using deep-learning techniques. ACOMPA (2022)
Hoang Nguyen Phuoc Bao, Manuel Clavel
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. SN Comput. Sci. 2 (5) (2021)
Hoang Nguyen Phuoc Bao, Antonio García-Domíguez, Manuel Clavel
The TTC 2021 OCL2PSQL case. TTC/ (2021)
Hoang Nguyen Phuoc Bao, Manuel Clavel
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. FDSE (2020)
Hoang Nguyen Phuoc Bao, Manuel Clavel
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries. J. Object Technol. 19 (3) (2020)
Manuel Clavel, Hoang Nguyen Phuoc Bao
Mapping OCL into SQL: Challenges and Opportunities Ahead. OCL@MoDELS (2019)
Hoang Nguyen Phuoc Bao, Manuel Clavel
OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering. FDSE (2019)
Carolina Dania, Manuel Clavel
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. MoDELS (2016)
Miguel Angel García de Dios, Carolina Dania, Manuel Clavel
Formal Reasoning about Fine-Grained Access Control Policies. APCCM (2015)
Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel
Analyzing First-Order Role Based Access Control. CSF (2015)
Carolina Dania, Manuel Clavel
Model-Based Formal Reasoning about Data-Management Applications. FASE (2015)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
Two Decades of Maude. Logic, Rewriting, and Concurrency (2015)
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania
A Model-Driven Methodology for Developing Secure Data-Management Applications. IEEE Trans. Software Eng. 40 (4) (2014)
Carolina Dania, Manuel Clavel
Modeling Social Networking Privacy. TASE (2014)
Carolina Dania, Manuel Clavel
OCL2FOL+: Coping with Undefinedness. OCL@MoDELS (2013)
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD (2011)
David A. Basin, Manuel Clavel, Marina Egea
A decade of model-driven security. SACMAT (2011)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
Tenth International Workshop on OCL and Textual Modelling. MoDELS (Workshops) (2010)
Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea
SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) (2010)
Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
Marina Egea, Carolina Dania, Manuel Clavel
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010)
David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer
Automatic Generation of Smart, Security-Aware GUI Models. ESSoS (2010)
David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
Automated analysis of security-design models. Inf. Softw. Technol. 51 (5) (2009)
Vlad Rusu, Manuel Clavel
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA (2009)
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
Checking Unsatisfiability for OCL Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Unification and Narrowing in Maude 2.4. RTA (2009)
Vlad Rusu, Manuel Clavel
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. Stud. Inform. Univ. 7 (2) (2009)
Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea
Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA (2008)
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
ECEASST Building an Efficient Component for OCL Evaluation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Manuel Clavel, José Meseguer, Miguel Palomino
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373 (1-2) (2007)
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
The Maude Formal Tool Environment. CALCO (2007)
Manuel Clavel, Marina Egea, Viviane Torres da Silva
The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. JISBD (2007)
David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS (2007)
Manuel Clavel, Marina Egea
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. AMAST (2006)
Manuel Clavel, Miguel Palomino, Adrián Riesco
Introducing the ITP Tool: a Tutorial. J. Univers. Comput. Sci. 12 (11) (2006)
Joe Hendrix, Manuel Clavel, José Meseguer
A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA (2005)
David A. Basin, Manuel Clavel, José Meseguer
Reflective metalogical frameworks. ACM Trans. Comput. Log. 5 (3) (2004)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST (2004)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
The Maude 2.0 System. RTA (2003)
Manuel Clavel
Strategies and user interfaces in Maude at work. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
Manuel Clavel, José Meseguer, Miguel Palomino
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. Electron. Notes Theor. Comput. Sci. 71 (2002)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285 (2) (2002)
Manuel Clavel, José Meseguer
Reflection in conditional rewriting logic. Theor. Comput. Sci. 285 (2) (2002)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Using Maude. FASE (2000)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Towards Maude 2.0. WRLA (2000)
Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
Polytypic Programming in Maude. WRLA (2000)
David A. Basin, Manuel Clavel, José Meseguer
Rewriting Logic as a Metalogical Framework. FSTTCS (2000)
Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
Maude as a Formal Meta-tool. World Congress on Formal Methods (1999)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
The Maude System. RTA (1999)
Manuel Clavel
Reflection in general logics, rewriting logic, and Maude. WRLA (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Metalevel computation in Maude. WRLA (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude as a metalanguage. WRLA (1998)
Manuel Clavel, José Meseguer
Reflection and strategies in rewriting logic. WRLA (1996)
Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
Principles of Maude. WRLA (1996)