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-Verlag, 2007
12942007
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
10192002
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
3852003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3511996
All About Maude. LNCS, vol. 4350
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Springer, Heidelberg, 2007
226*2007
Maude Manual (Version 2.7. 1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International, 2016
222*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
2222005
Reflection and Strategies in Rewriting Logic
M Clavel
Electronic Notes in Theoretical Computer Science 4, 126-148, 1996
1451996
Automated analysis of security-design models
D Basin, M Clavel, J Doser, M Egea
Information and Software Technology 51 (5), 815-831, 2009
1392009
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
1081998
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
1071999
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
1031999
A decade of model-driven security
D Basin, M Clavel, M Egea
Proceedings of the 16th ACM symposium on Access control models and …, 2011
982011
Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications
M Clavel
962000
Axiomatizing reflective logics and languages
M Clavel, J Meseguer
Proceedings of Reflection 96, 263-288, 1996
871996
Checking unsatisfiability for OCL constraints
M Clavel, M Egea, MAG de Dios
Electronic Communications of the EASST 24, 2009
772009
Reflection in conditional rewriting logic
M Clavel, J Meseguer
Theoretical Computer Science 285 (2), 245-288, 2002
762002
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
632006
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
632003
Reflection in general logics and in rewriting logic with applications to the Maude languaje
MG Clavel
591998
The system can't perform the operation now. Try again later.
Articles 1–20