| 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 | 1643* | 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 | 1127 | 2002 |
| 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 | 407 | 2003 |
| Principles of maude M Clavel, S Eker, P Lincoln, J Meseguer Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 | 390 | 1996 |
| 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 | 335 | 2007 |
| Maude Manual (Version 2.7. 1) M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ... SRI International, 2016 | 204* | 2016 |
| Automated analysis of security-design models D Basin, M Clavel, J Doser, M Egea Information and Software Technology 51 (5), 815-831, 2009 | 168 | 2009 |
| Reflection and Strategies in Rewriting Logic M Clavel Electronic Notes in Theoretical Computer Science 4, 126-148, 1996 | 158 | 1996 |
| A decade of model-driven security D Basin, M Clavel, M Egea Proceedings of the 16th ACM symposium on Access control models and …, 2011 | 137 | 2011 |
| 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 | 119 | 2000 |
| 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 | 117 | 1999 |
| 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 | 115 | 1999 |
| Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications M Clavel | 102 | 2000 |
| Axiomatizing reflective logics and languages M Clavel, J Meseguer Proceedings of Reflection 96, 263-288, 1996 | 94 | 1996 |
| Checking unsatisfiability for OCL constraints M Clavel, M Egea, MAG de Dios Electronic Communications of the EASST 24, 2009 | 92 | 2009 |
| Reflection in conditional rewriting logic M Clavel, J Meseguer Theoretical Computer Science 285 (2), 245-288, 2002 | 83 | 2002 |
| Introducing the ITP Tool: a Tutorial. M Clavel, M Palomino, A Riesco J. Univers. Comput. Sci. 12 (11), 1618-1650, 2006 | 76 | 2006 |
| 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 | 73 | 2006 |
| 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 | 70 | 2007 |
| 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 | 68 | 2003 |
