Get started
Author

Manuel Clavel

Observed names: Clavel, Manuel, M. Clavel
Observed institutions: Madrid Institute for Advanced Studies, Universidad Complutense de Madrid, SRI International, ETH Zurich, Eastern International University, IMDEA Software Institute, Vietnamese-German University, Universidad de Navarra
ORCID: 0000-0002-4966-855X
Observed ORCID: 0000-0002-4966-855X
OpenAlex ID: A5067165290
Maude: specification and programming in rewriting logic
2002 · M. Clavel, F. Durán, et al. · Theoretical Computer Science · 799
PDF
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
2007 · Manuel Clavel, Francisco Durán, et al. · DIAL (Catholic University of Leuven) · 637
Principles of Maude
1996 · M. Clavel, S. Eker, et al. · Electronic Notes in Theoretical Computer Science · 238
Automated analysis of security-design models
2008 · David Basin, Manuel Clavel, et al. · Information and Software Technology · 128
The Maude 2.0 System
2003 · Manuel Clavel, Francisco Durán, et al. · Lecture notes in computer science · 125
A decade of model-driven security
2011 · David Basin, Manuel Clavel, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 99
The Maude System
1999 · M. Clavel, F. Durán, et al. · Lecture notes in computer science · 96
Reflection and Strategies in Rewriting Logic1 1Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program “New Models for Software Architecture” sponsored by NEDO (New Energy and Industrial Technology Development Organization).
1996 · Manuel Clavel, José Mes eguer · Electronic Notes in Theoretical Computer Science · 78
PDF
Building Equational Proving Tools by Reflection in Rewriting Logic*
2000 · M. Clavel, F. Durán, et al. · Elsevier eBooks · 76
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
2000 · Manuel Clavel · 71
Maude as a formal meta-tool
1999 · M. Clavel, F. Durán, et al. · Lecture notes in computer science · 58
Checking Unsatisfiability for OCL Constraints
2024 · Clavel, Manuel, Egea, Marina, et al. · Technische Universität Berlin – Universitätsbibliothek · 57
Introducing the ITP Tool: a Tutorial
2006 · Manuel Clavel, Miguel Palomino, et al. · Zenodo (CERN European Organization for Nuclear Research) · 51
PDF
Reflection in conditional rewriting logic
2002 · Manuel Clavel, José Meseguer · Theoretical Computer Science · 50
PDF
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
2006 · Manuel Clavel, Marina Egea · Lecture notes in computer science · 49
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
2006 · Manuel Clavel, José Meseguer, et al. · Theoretical Computer Science · 47
PDF
The Maude Formal Tool Environment
2007 · Manuel Clavel, Francisco Durán, et al. · Springer eBooks · 45
Reflection in General Logics, Rewriting Logic, and Maude
1998 · Manuel Clavel · Electronic Notes in Theoretical Computer Science · 45
PDF
Reflection in general logics and in rewriting logic with applications to the maude languaje
1998 · Manuel Clavel · Hispana · 39
Model-Driven Security in Practice: An Industrial Experience
2008 · Manuel Clavel, Viviane da Silva, et al. · Lecture notes in computer science · 37
Unification and Narrowing in Maude 2.4
2009 · Manuel Clavel, Francisco Durán, et al. · Lecture notes in computer science · 33
Metalevel Computation in Maude
1998 · M. Clavel, F. Durán, et al. · Electronic Notes in Theoretical Computer Science · 33
Reflective metalogical frameworks
2004 · David Basin, Manuel Clavel, et al. · ACM Transactions on Computational Logic · 32
A Sufficient Completeness Reasoning Tool for Partial Specifications
2005 · Joe Hendrix, Manuel Clavel, et al. · Lecture notes in computer science · 30
A Model-Driven Methodology for Developing Secure Data-Management Applications
2014 · David Basin, Manuel Clavel, et al. · IEEE Transactions on Software Engineering · 26
Works count: 124
Citation count: 3,370
H-index: 26
I10-index: 41
Year
Topic
Type