Manuel Clavel
Manuel Clavel
Senior Lecturer, Vietnamese-German University
Bestätigte E-Mail-Adresse bei vgu.edu.vn
Titel
Zitiert von
Zitiert von
Jahr
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
12812007
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
10182002
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
3832003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3481996
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
223*2007
Maude Manual (Version 2.7. 1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International, 2016
219*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
2192005
Reflection and Strategies in Rewriting Logic
M Clavel
Electronic Notes in Theoretical Computer Science 4, 126-148, 1996
1471996
Automated analysis of security-design models
D Basin, M Clavel, J Doser, M Egea
Information and Software Technology 51 (5), 815-831, 2009
1382009
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
1121998
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
1101999
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
Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications
M Clavel
992000
A decade of model-driven security
D Basin, M Clavel, M Egea
Proceedings of the 16th ACM symposium on Access control models and …, 2011
962011
Axiomatizing reflective logics and languages
M Clavel, J Meseguer
Proceedings of Reflection 96, 263-288, 1996
861996
Reflection in conditional rewriting logic
M Clavel, J Meseguer
Theoretical Computer Science 285 (2), 245-288, 2002
792002
Checking unsatisfiability for OCL constraints
M Clavel, M Egea, MAG de Dios
Electronic Communications of the EASST 24, 2009
762009
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
632003
Reflection in general logics and in rewriting logic with applications to the Maude languaje
MG Clavel
581998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20