Principles of Maude. - Manuel Clavel; Steven Eker; Patrick Lincoln; José Meseguer 001 (WRLA, 1996)

Reflection and strategies in rewriting logic. - Manuel Clavel; José Meseguer 001 (WRLA, 1996)

Reflection in general logics, rewriting logic, and Maude. - Manuel Clavel (WRLA, 1998)

Metalevel computation in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001 (WRLA, 1998)

Maude as a metalanguage. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (WRLA, 1998)

Maude as a Formal Meta-tool. - Manuel Clavel; Francisco Durán 001; Steven Eker; José Meseguer 001; Mark-Oliver Stehr (World Congress on Formal Methods, 1999)

The Maude System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (RTA, 1999)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (FASE, 2000)

Rewriting Logic as a Metalogical Framework. - David A. Basin; Manuel Clavel; José Meseguer 001 (FSTTCS, 2000)

Towards Maude 2.0. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (WRLA, 2000)

Polytypic Programming in Maude. - Manuel Clavel; Francisco Durán 001; Narciso Martí-Oliet (WRLA, 2000)

Maude: specification and programming in rewriting logic. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (Theor. Comput. Sci., 2002)

Reflection in conditional rewriting logic. - Manuel Clavel; José Meseguer 001 (Theor. Comput. Sci., 2002)

The Maude 2.0 System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2003)

Strategies and user interfaces in Maude at work. - Manuel Clavel (WRS, 2003)

Formalizing and Proving Semantic Relations between Specifications by Reflection. - Manuel Clavel; Narciso Martí-Oliet; Miguel Palomino (AMAST, 2004)

Reflective metalogical frameworks. - David A. Basin; Manuel Clavel; José Meseguer 001 (ACM Trans. Comput. Log., 2004)

A Sufficient Completeness Reasoning Tool for Partial Specifications. - Joe Hendrix; Manuel Clavel; José Meseguer 001 (RTA, 2005)

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. - Manuel Clavel; Marina Egea (AMAST, 2006)

Introducing the ITP Tool: a Tutorial. - Manuel Clavel; Miguel Palomino; Adrián Riesco 001 (J. Univers. Comput. Sci., 2006)

The Maude Formal Tool Environment. - Manuel Clavel; Francisco Durán 001; Joe Hendrix; Salvador Lucas; José Meseguer 001; Peter Csaba Ölveczky (CALCO, 2007)

The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. - Manuel Clavel; Marina Egea; Viviane Torres da Silva (JISBD, 2007)

Introduction. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Syntax and Basic Parsing. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Functional Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Hierarchy of Data Types: From Trees to Sets. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

System Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Module Operations. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Predefined Data Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Based Programming. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Model Checking Invariants Through Search. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

LTL Model Checking. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Reflection, Metalevel Computation, and Strategies. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Metaprogramming Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

User Interfaces and Metalanguage Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Full Maude: Extending Core Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Oriented Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Sampler of Application Areas. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Debugging and Troubleshooting. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Complete List of Maude Commands. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Core Maude Grammar. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

Playing with Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Specifying Parameterized Data Structures in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Mobile Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Adrián Riesco 001; Alberto Verdejo (All About Maude, 2007)

A Metamodel-Based Approach for Analyzing Security-Design Models. - David A. Basin; Manuel Clavel; Jürgen Doser; Marina Egea (MoDELS, 2007)

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. - Manuel Clavel; José Meseguer 001; Miguel Palomino (Theor. Comput. Sci., 2007)

Model-Driven Security in Practice: An Industrial Experience. - Manuel Clavel; Viviane Torres da Silva; Christiano Braga; Marina Egea (ECMDA-FA, 2008)

ECEASST Building an Efficient Component for OCL Evaluation. - Manuel Clavel; Marina Egea; Miguel Angel García de Dios (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Unification and Narrowing in Maude 2.4. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2009)

Checking Unsatisfiability for OCL Constraints. - Manuel Clavel; Marina Egea; Miguel Angel García de Dios (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Automated analysis of security-design models. - David A. Basin; Manuel Clavel; Jürgen Doser; Marina Egea (Inf. Softw. Technol., 2009)

Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. - Vlad Rusu; Manuel Clavel (Stud. Inform. Univ., 2009)

Automatic Generation of Smart, Security-Aware GUI Models. - David A. Basin; Manuel Clavel; Marina Egea; Michael Schläpfer (ESSoS, 2010)

SSG: a model-based development environment for smart, security-aware GUIs. - Miguel Angel García de Dios; Carolina Dania; Michael Schläpfer; David A. Basin; Manuel Clavel; Marina Egea (ICSE (2), 2010)

Tenth International Workshop on OCL and Textual Modelling. - Jordi Cabot; Tony Clark 001; Manuel Clavel; Martin Gogolla (MoDELS (Workshops), 2010)

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). - Jordi Cabot; Tony Clark 001; Manuel Clavel; Martin Gogolla (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. - Marina Egea; Carolina Dania; Manuel Clavel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Parameterized Metareasoning in Membership Equational Logic. - Manuel Clavel; Narciso Martí-Oliet; Miguel Palomino (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. - David A. Basin; Manuel Clavel; Marina Egea; Miguel Angel García de Dios; Carolina Dania; Gonzalo Ortiz; Javier Valdazo (FOSAD, 2011)

A decade of model-driven security. - David A. Basin; Manuel Clavel; Marina Egea (SACMAT, 2011)

OCL2FOL+: Coping with Undefinedness. - Carolina Dania; Manuel Clavel (OCL@MoDELS, 2013)

Modeling Social Networking Privacy. - Carolina Dania; Manuel Clavel (TASE, 2014)

A Model-Driven Methodology for Developing Secure Data-Management Applications. - David A. Basin; Manuel Clavel; Marina Egea; Miguel Angel García de Dios; Carolina Dania (IEEE Trans. Software Eng., 2014)

Model-Driven Development of a Secure eHealth Application. - Miguel Angel García de Dios; Carolina Dania; David A. Basin; Manuel Clavel (Engineering Secure Future Internet Services and Systems, 2014)

Formal Reasoning about Fine-Grained Access Control Policies. - Miguel Angel García de Dios; Carolina Dania; Manuel Clavel (APCCM, 2015)

Two Decades of Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; Carolyn L. Talcott (Logic, Rewriting, and Concurrency, 2015)

Analyzing First-Order Role Based Access Control. - Carlos Cotrini Jiménez; Thilo Weghorn; David A. Basin; Manuel Clavel (CSF, 2015)

Model-Based Formal Reasoning about Data-Management Applications. - Carolina Dania; Manuel Clavel (FASE, 2015)

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. - Carolina Dania; Manuel Clavel (MoDELS, 2016)

OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering. - Hoang Nguyen Phuoc Bao; Manuel Clavel (FDSE, 2019)

Mapping OCL into SQL: Challenges and Opportunities Ahead. - Manuel Clavel; Hoang Nguyen Phuoc Bao (OCL@MoDELS, 2019)

Model-based Characterization of fine-grained Access Control Authorization for SQL Queries. - Hoang Nguyen Phuoc Bao; Manuel Clavel (J. Object Technol., 2020)

The TTC 2021 OCL2PSQL case. - Hoang Nguyen Phuoc Bao; Antonio García-Domínguez; Manuel Clavel (TTC/, 2021)

A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. - Hoang Nguyen Phuoc Bao; Manuel Clavel (SN Comput. Sci., 2021)

Identifying temporary water bodies from drone images at real-time using deep-learning techniques. - Hieu Minh Truong; Manuel Clavel (ACOMPA, 2022)

Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach. - Hoang Nguyen Phuoc Bao; Manuel Clavel (CoRR, 2022)

Web Browsers' Support for Managing Cookies. An Experiment Report. - Ngoc Chau Lam; Manuel Clavel (FDSE, 2023)

An extended model-based characterization of fine-grained access control for SQL queries. - Hoang Nguyen Phuoc Bao; Manuel Clavel (MODELS, 2023)

Proving correctness for SQL implementations of OCL constraints. - Hoang Nguyen Phuoc Bao; Manuel Clavel (CoRR, 2024)