Manuel Clavel

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 277-298

David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo: Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD 2011: 101-124

David A. Basin, Manuel Clavel, Marina Egea: A decade of model-driven security. SACMAT 2011: 1-10

Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). ECEASST 36 (2010)

Marina Egea, Carolina Dania, Manuel Clavel: MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. ECEASST 36 (2010)

David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer: Automatic Generation of Smart, Security-Aware GUI Models. ESSoS 2010: 201-217

Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea: SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) 2010: 311-312

Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla: Tenth International Workshop on OCL and Textual Modelling. MoDELS Workshops 2010: 329-333

Manuel Clavel, Marina Egea, Miguel Angel García de Dios: Checking Unsatisfiability for OCL Constraints. ECEASST 24 (2009)

David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: Automated analysis of security-design models. Information & Software Technology 51(5): 815-831 (2009)

Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. Stud. Inform. Univ. 7(2): 83-112 (2009)

Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390

Manuel Clavel, Marina Egea, Miguel Angel García de Dios: ECEASST Building an Efficient Component for OCL Evaluation. ECEASST 15 (2008)

Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337

Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007)

Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178

Manuel Clavel, Marina Egea, Viviane Torres da Silva: The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. JISBD 2007: 393-394

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Syntax and Basic Parsing. All About Maude 2007: 39-59

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Playing with Maude. All About Maude 2007: 159-184

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Predefined Data Modules. All About Maude 2007: 231-305

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Based Programming. All About Maude 2007: 339-372

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Model Checking Invariants Through Search. All About Maude 2007: 373-384

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: LTL Model Checking. All About Maude 2007: 385-418

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo: Mobile Maude. All About Maude 2007: 485-522

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Full Maude: Extending Core Maude. All About Maude 2007: 559-597

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Oriented Modules. All About Maude 2007: 599-642

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Sampler of Application Areas. All About Maude 2007: 645-665

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Debugging and Troubleshooting. All About Maude 2007: 697-736

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Complete List of Maude Commands. All About Maude 2007: 737-749

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Core Maude Grammar. All About Maude 2007: 751-756

David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (Eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, isbn 978-3-540-71940-3

Manuel Clavel, Miguel Palomino, Adrián Riesco: Introducing the ITP Tool: a Tutorial. J. UCS 12(11): 1618-1650 (2006)

Manuel Clavel, Marina Egea: ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. AMAST 2006: 368-373

Joe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. RTA 2005: 165-174

David A. Basin, Manuel Clavel, José Meseguer: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3): 528-576 (2004)

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino: Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST 2004: 72-86

Manuel Clavel: Strategies and user interfaces in Maude at work. Electr. Notes Theor. Comput. Sci. 86(4): 570-592 (2003)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: The Maude 2.0 System. RTA 2003: 76-87

Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: 110-126 (2002)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)

Manuel Clavel, José Meseguer: Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2): 245-288 (2002)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 294-315 (2000)

Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: 339-360 (2000)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374

David A. Basin, Manuel Clavel, José Meseguer: Rewriting Logic as a Metalogical Framework. FSTTCS 2000: 55-80

Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr: Maude as a Formal Meta-tool. World Congress on Formal Methods 1999: 1684-1703

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243

Manuel Clavel: Reflection in general logics, rewriting logic, and Maude. Electr. Notes Theor. Comput. Sci. 15: 71-82 (1998)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: 147-160 (1998)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: 331-352 (1998)

Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: 65-89 (1996)

Manuel Clavel, José Meseguer: Reflection and strategies in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: 126-148 (1996)