Manuel Clavel
Manuel Clavel
Senior Lecturer, Vietnamese-German University
Verified email at vgu.edu.vn
Title
Cited by
Cited by
Year
All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Springer, 2007
13472007
Maude: Specification and programming in rewriting logic
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...
Theoretical Computer Science 285 (2), 187-243, 2002
10462002
The maude 2.0 system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
International Conference on Rewriting Techniques and Applications, 76-87, 2003
3902003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3671996
All About Maude: A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Springer, 2007
2262007
Maude Manual (Version 2.7. 1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International, 2016
221*2016
Maude manual (version 2.1)
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
SRI International, Menlo Park, 2005
2212005
Automated analysis of security-design models
D Basin, M Clavel, J Doser, M Egea
Information and Software Technology 51 (5), 815-831, 2009
1512009
Reflection and Strategies in Rewriting Logic
M Clavel
Electronic Notes in Theoretical Computer Science 4, 126-148, 1996
1511996
Maude as a formal meta-tool
M Clavel, F Durán, S Eker, J Meseguer, MO Stehr
International Symposium on Formal Methods, 1684-1703, 1999
1121999
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
1101998
The maude system
M Clavel, F Duran, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ...
International Conference on Rewriting Techniques and Applications, 240-243, 1999
1041999
A decade of model-driven security
D Basin, M Clavel, M Egea
Proceedings of the 16th ACM symposium on Access control models and …, 2011
1032011
Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications
M Clavel
982000
Axiomatizing reflective logics and languages
M Clavel, J Meseguer
Proceedings of Reflection 96, 263-288, 1996
941996
Checking unsatisfiability for OCL constraints
M Clavel, M Egea, MAG de Dios
Electronic Communications of the EASST 24, 2009
842009
Reflection in conditional rewriting logic
M Clavel, J Meseguer
Theoretical Computer Science 285 (2), 245-288, 2002
792002
ITP/OCL: A rewriting-based validation tool for UML+ OCL static class diagrams
M Clavel, M Egea
International Conference on Algebraic Methodology and Software Technology …, 2006
652006
Maude 2.0 Manual
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Available in http://maude. cs. uiuc. edu, 2003
642003
Reflection in general logics and in rewriting logic with applications to the Maude languaje
MG Clavel
601998
The system can't perform the operation now. Try again later.
Articles 1–20