Manuel Clavel
Manuel Clavel
Senior Lecturer, Vietnamese-German University
E-mail megerősítve itt: vgu.edu.vn
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
13382007
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
10352002
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
3882003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3561996
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
230*2007
Maude Manual (Version 2.7. 1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International, 2016
224*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
2242005
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
1442009
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
1081999
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
1081998
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
1051999
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
972000
Axiomatizing reflective logics and languages
M Clavel, J Meseguer
Proceedings of Reflection 96, 263-288, 1996
901996
Checking unsatisfiability for OCL constraints
M Clavel, M Egea, MAG de Dios
Electronic Communications of the EASST 24, 2009
792009
Reflection in conditional rewriting logic
M Clavel, J Meseguer
Theoretical Computer Science 285 (2), 245-288, 2002
772002
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
642006
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
591998
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20