Manuel Clavel

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 737 citations

Engineering, Automated Reasoning, Regulated Rewriting +5

Principles of Maude

Manuel Clavel, Steven Eker, Per Lincoln et al. · Electronic Notes in Theoretical Computer Science · 1996 · 227 citations · Full text

Literary Theory, Engineering, Computer Architecture +26

Automated analysis of security-design models

David Basin, Manuel Clavel, Jürgen Doser et al. · Information and Software Technology · 2008 · 125 citations

Security Modelling, Engineering, Information Security +8

A decade of model-driven security

David Basin, Manuel Clavel, Marina Egea · 2011 · 90 citations

Engineering, Information Security, Software Engineering +18

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).

Manuel Clavel, José Mes eguer · Electronic Notes in Theoretical Computer Science · 1996 · 76 citations · Full text

Applied Logic, Universal Theory, Software Architecture ” +26