Follow
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
1598*2007
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
11282002
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
4112003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3891996
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
3252007
Maude Manual (Version 2.7. 1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International, 2016
203*2016
Automated analysis of security-design models
D Basin, M Clavel, J Doser, M Egea
Information and Software Technology 51 (5), 815-831, 2009
1692009
Reflection and Strategies in Rewriting Logic
M Clavel
Electronic Notes in Theoretical Computer Science 4, 126-148, 1996
1581996
A decade of model-driven security
D Basin, M Clavel, M Egea
Proceedings of the 16th ACM symposium on Access control models and …, 2011
1312011
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
CAFE: An Industrial-Strength Algebraic Formal Method, 1-31, 2000
1182000
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
1131999
The maude system
M Clavel, F Duran, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ...
International Conference on Rewriting Techniques and Applications, 240-243, 1999
1101999
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
961996
Checking unsatisfiability for OCL constraints
M Clavel, M Egea, MAG de Dios
Electronic Communications of the EASST 24, 2009
912009
Reflection in conditional rewriting logic
M Clavel, J Meseguer
Theoretical Computer Science 285 (2), 245-288, 2002
822002
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
742006
Introducing the ITP Tool: a Tutorial.
M Clavel, M Palomino, A Riesco
J. Univers. Comput. Sci. 12 (11), 1618-1650, 2006
692006
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
692003
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
International Conference on Algebra and Coalgebra in Computer Science, 173-178, 2007
672007
The system can't perform the operation now. Try again later.
Articles 1–20