Francisco Durán

166 papers A* 1A 7B 10C 6Journal 41Unranked 67

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Semantic comparison of business process models assisted by syntactic matching. Inf. Softw. Technol. Francisco Durán, Gwen Salaün
2025	J	`jnl`	A rewriting logic semantics for the analysis of P programs. J. Log. Algebraic Methods Program. Francisco Durán, Carlos Ramírez, Camilo Rocha, Nicolás Pozas
2025	A	`conf`	Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. MODELS Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2025	J	`jnl`	Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. CoRR Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2024	J	`jnl`	Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. J. Log. Algebraic Methods Program. Francisco Durán, Nicolás Pozas, Camilo Rocha
2024	C	`conf`	Programming Open Distributed Systems in Maude. PPDP Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2023	J	`jnl`	Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter
2023	J	`jnl`	Location-aware scalable service composition. Softw. Pract. Exp. Nicolás Pozas, Francisco Durán, Katia Moreno Berrocal, Ernesto Pimentel
2023	C	`conf`	Statistical Model Checking for sf P. FMICS Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha
2022	—	`conf`	Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. WRLA Francisco Durán, Daniela Martínez, Camilo Rocha
2022	A	`conf`	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2022	—	`conf`	From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
2022	J	`jnl`	Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2022	A	`conf`	Optimization of BPMN Processes via Automated Refactoring. ICSOC Francisco Durán, Gwen Salaün
2022	J	`jnl`	Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. J. Object Technol. Francisco Durán
2022	J	`jnl`	Self-healing trans-cloud applications. Computing Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
2022	J	`jnl`	Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen
2021	J	`jnl`	A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. Softw. Pract. Exp. Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
2021	—	`book`	Composing Model-Based Analysis Tools Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler
2021	—	`ch.`	Conclusion. Composing Model-Based Analysis Tools Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler
2021	—	`ch.`	Exploiting Results of Model-Based Analysis Tools. Composing Model-Based Analysis Tools Francisco Durán, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler
2021	—	`ch.`	Foundations. Composing Model-Based Analysis Tools Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler
2021	—	`ch.`	GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics. Composing Model-Based Analysis Tools Steffen Zschaler, Francisco Durán
2021	—	`ch.`	Introduction. Composing Model-Based Analysis Tools Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler
2021	A	`conf`	On the Scalability of Compositions of Service-Oriented Applications. ICSOC Nicolás Pozas, Francisco Durán
2021	—	`ch.`	Overview of Challenges in Composing Model-Based Analysis Tools. Composing Model-Based Analysis Tools Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler
2021	—	`conf`	R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2021	J	`jnl`	Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. J. Log. Algebraic Methods Program. Francisco Durán, Camilo Rocha, Gwen Salaün
2021	—	`conf`	Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2020	—	`conf`	Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA Francisco Durán, Camilo Rocha, Gwen Salaün
2020	J	`jnl`	Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. Francisco Durán, José Meseguer, Camilo Rocha
2020	J	`jnl`	Live migration of trans-cloud applications. Comput. Stand. Interfaces Jose Carrasco, Francisco Durán, Ernesto Pimentel
2020	J	`jnl`	Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019	—	`conf`	A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán
2019	J	`jnl`	A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. Francisco Durán, Camilo Rocha, Gwen Salaün
2019	A	`conf`	Analysis of Resource Allocation of BPMN Processes. ICSOC Francisco Durán, Camilo Rocha, Gwen Salaün
2019	—	`conf`	Automated Composition, Analysis and Deployment of IoT Applications. TOOLS Francisco Durán, Gwen Salaün, Ajay Krishna
2019	J	`jnl`	Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). Dagstuhl Reports Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler
2019	J	`jnl`	Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen
2019	J	`jnl`	Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. CoRR Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
2019	J	`jnl`	Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría
2019	J	`jnl`	Programming and Symbolic Computation in Maude. CoRR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019	B	`conf`	Robust Management of Trans-Cloud Applications. CLOUD Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
2019	—	`conf`	The Rewrite Engines Competitions: A RECtrospective. TACAS (3) Francisco Durán, Hubert Garavel
2018	—	`conf`	Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2018	—	`conf`	Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops Francisco Durán, Camilo Rocha, Gwen Salaün
2018	—	`conf`	Multilevel modelling of coloured petri nets. MoDELS (Workshops) Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías
2018	—	`conf`	Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA Francisco Durán, José Meseguer, Camilo Rocha
2018	J	`jnl`	Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. Francisco Durán, Camilo Rocha, Gwen Salaün
2018	—	`conf`	Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA Francisco Durán, Camilo Rocha, Gwen Salaün
2018	J	`jnl`	Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud. Comput. Stand. Interfaces Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017	J	`jnl`	Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler
2017	—	`conf`	An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. ICSOC Workshops Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
2017	—	`conf`	Component Migration in a Trans-cloud Environment. CLOSER (Selected Papers) Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017	C	`conf`	Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017	B	`conf`	GTS Families for the Flexible Composition of Graph Transformation Systems. FASE Steffen Zschaler, Francisco Durán
2017	—	`conf`	Runtime Migration of Applications in a Trans-Cloud Environment. ICSOC Workshops Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017	—	`conf`	Towards the Performance Analysis of Elastic Systems with e-Motions. SEFM Workshops Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
2017	—	`conf`	Towards the Predictive Analysis of Cloud Systems with e-Motions. CIbSE Patrícia Araújo de Oliveira, Antonio Moreno-Delgado, Francisco Durán, Ernesto Pimentel
2017	C	`conf`	Verifying Timed BPMN Processes Using Maude. COORDINATION Francisco Durán, Gwen Salaün
2016	B	`conf`	Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. CLOUD Jose Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel
2016	A	`conf`	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2016	—	`conf`	Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán
2016	J	`jnl`	Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. Francisco Durán, Gwen Salaün
2016	B	`conf`	Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. FASE Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo
2016	—	`conf`	Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA Antonio Moreno-Delgado, Francisco Durán, José Meseguer
2016	—	`conf`	Towards a Unified Management of Applications on Heterogeneous Clouds. ESOCC Workshops Jose Carrasco, Francisco Durán, Ernesto Pimentel
2015	J	`jnl`	Adaptive management of applications across multiple clouds: The SeaClouds Approach. CLEI Electron. J. Antonio Brogi, Jose Carrasco, Javier Cubo, Elisabetta Di Nitto, Francisco Durán, Michela Fazzolari, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani, Pengwei Wang, Francesco D'Andria
2015	J	`jnl`	Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. Francisco Durán, Narciso Martí-Oliet
2015	—	`conf`	Two Decades of Maude. Logic, Rewriting, and Concurrency Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2014	—	`conf`	Composition of Graph-Transformation-Based DSL Definitions by Amalgamation. WRLA Francisco Durán
2014	—	`conf`	Dynamic Validation of Maude Prototypes of UML Models. Specification, Algebra, and Software Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez
2014	—	`conf`	Equational Abstractions in Rewriting Logic and Maude. SBMF Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
2014	B	`conf`	Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. ECMFA Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya
2014	—	`conf`	Robust reconfiguration of cloud applications. CBSE Francisco Durán, Gwen Salaün
2014	—	`conf`	The Movie Database Case: A Solution Using the Maude-based e-Motions Tool. TTC@STAF Antonio Moreno-Delgado, Francisco Durán
2013	J	`jnl`	Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler
2012	J	`jnl`	A generic framework for n-protocol compatibility checking. Sci. Comput. Program. Francisco Durán, Meriem Ouederni, Gwen Salaün
2012	—	`conf`	Behaviour Protection in Modular Rule-Based System Specifications. WADT Francisco Durán, Fernando Orejas, Steffen Zschaler
2012	J	`jnl`	On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebraic Methods Program. Francisco Durán, José Meseguer
2012	B	`conf`	On the Reusable Specification of Non-functional Properties in DSLs. SLE Francisco Durán, Steffen Zschaler, Javier Troya
2012	—	`ed.`	Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers WRLA Francisco Durán
2011	J	`jnl`	Dynamic Validation of OCL Constraints with mOdCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Manuel Roldán, Francisco Durán
2011	—	`conf`	Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies AMMSE Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera
2011	—	`conf`	On the Formal Analysis of P2P Algorithms with aSMoL and Maude. CIbSE Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2011	—	`ed.`	Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. AMMSE Francisco Durán, Vlad Rusu
2011	B	`conf`	Tool Interoperability in the Maude Formal Environment. CALCO Francisco Durán, Camilo Rocha, José María Álvarez
2011	—	`conf`	Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems Francisco Durán, Camilo Rocha, José María Álvarez
2011	—	`conf`	Tracing Properties of UML and OCL Models with Maude AMMSE Francisco Durán, Martin Gogolla, Manuel Roldán
2011	—	`conf`	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
2010	—	`conf`	A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA Francisco Durán, José Meseguer
2010	—	`conf`	A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA Francisco Durán, José Meseguer
2010	—	`conf`	On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. WRLA José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2010	—	`conf`	The Third Rewrite Engines Competition. WRLA Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser
2009	B	`conf`	A graphical approach for modeling time-dependent behavior of DSLs. VL/HCC José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2009	—	`conf`	Checking Protocol Compatibility using Maude. FOCLASA Francisco Durán, Meriem Ouederni, Gwen Salaün
2009	J	`jnl`	Formal Specification and Analysis of Domain Specific Models Using Maude. Simul. José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2009	J	`jnl`	Invariant-driven specifications in Maude. Sci. Comput. Program. Manuel Roldán, Francisco Durán, Antonio Vallecillo
2009	—	`conf`	Termination Modulo Combinations of Equational Theories. FroCoS Francisco Durán, Salvador Lucas, José Meseguer
2009	—	`conf`	Unification and Narrowing in Maude 2.4. RTA Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2008	—	`conf`	A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA Francisco Durán, Peter Csaba Ölveczky
2008	C	`conf`	A formalization of the SMEPP model in Maude. MobiQuitous Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2008	A*	`conf`	From programming to modeling: our experience with a distributed software engineering course. ICSE Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero
2008	A	`conf`	MTT: The Maude Termination Tool (System Description). IJCAR Francisco Durán, Salvador Lucas, José Meseguer
2008	—	`conf`	Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. PROLE Francisco Durán, Salvador Lucas, José Meseguer
2008	J	`jnl`	Proving operational termination of membership equational programs. High. Order Symb. Comput. Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain
2008	—	`conf`	The Second Rewrite Engines Competition. WRLA Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser
2008	—	`conf`	Web Services and Interoperability for the Maude Termination Tool. PROLE Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez
2007	—	`ch.`	A Hierarchy of Data Types: From Trees to Sets. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	A Sampler of Application Areas. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`book`	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Complete List of Maude Commands. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Core Maude Grammar. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Debugging and Troubleshooting. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Formal and Tool Support for Model Driven Engineering with Maude. J. Object Technol. José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2007	—	`ch.`	Full Maude: Extending Core Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Functional Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Introduction. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	LTL Model Checking. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Maude's module algebra. Sci. Comput. Program. Francisco Durán, José Meseguer
2007	—	`conf`	Maudeling: Herramienta de gestión de modelos usando Maude. JISBD José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero
2007	—	`ch.`	Metaprogramming Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Mobile Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007	—	`ch.`	Model Checking Invariants Through Search. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Module Operations. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Based Programming. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Oriented Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Playing with Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	—	`ch.`	Predefined Data Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Reflection, Metalevel Computation, and Strategies. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Some Tools. All About Maude 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
2007	—	`ch.`	Specifying Parameterized Data Structures in Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	—	`ch.`	Syntax and Basic Parsing. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	System Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	B	`conf`	The Maude Formal Tool Environment. CALCO Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
2007	—	`ch.`	User Interfaces and Metalanguage Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Using Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Writing and executing ODP computational viewpoint specifications using Maude. Comput. Stand. Interfaces José Raúl Romero, Antonio Vallecillo, Francisco Durán
2006	—	`conf`	A Distributed Implementation of Mobile Maude. WRLA Francisco Durán, Adrián Riesco, Alberto Verdejo
2005	J	`jnl`	Using Maude to write and execute ODP information viewpoint specifications. Comput. Stand. Interfaces Francisco Durán, Manuel Roldán, Antonio Vallecillo
2004	—	`conf`	Invariant-Driven Strategies for Maude. WRS Francisco Durán, Manuel Roldán, Antonio Vallecillo
2004	—	`conf`	Maude's Internal Strategies. WRS Francisco Durán
2004	—	`conf`	New Evaluation Commands for Maude Within Full Maude. WRLA Francisco Durán, Santiago Escobar, Salvador Lucas
2004	—	`conf`	On-demand Evaluation for Maude. RULE@RDP Francisco Durán, Santiago Escobar, Salvador Lucas
2004	C	`conf`	Proving termination of membership equational programs. PEPM Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain
2003	J	`jnl`	Formalizing ODP enterprise specifications in Maude. Comput. Stand. Interfaces Francisco Durán, Antonio Vallecillo
2003	J	`jnl`	Structured theories and institutions. Theor. Comput. Sci. Francisco Durán, José Meseguer
2003	—	`conf`	The Maude 2.0 System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2003	—	`conf`	Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY Francisco Durán, Javier Herrador, Antonio Vallecillo
2002	—	`conf`	A Conference Reviewing System in Mobile Maude. WRLA Francisco Durán, Alberto Verdejo
2002	J	`jnl`	Maude: specification and programming in rewriting logic. Theor. Comput. Sci. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2001	—	`conf`	From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. JISBD Antonio Albarrán, Francisco Durán, Antonio Vallecillo
2001	—	`conf`	Writing ODP Enterprise Specifications in Maude. WOODPECKER Francisco Durán, Antonio Vallecillo
2000	—	`conf`	Parameterized Theories and Views in Full Maude 2.0. WRLA Francisco Durán, José Meseguer
2000	—	`conf`	Polytypic Programming in Maude. WRLA Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
2000	—	`conf`	Principles of Mobile Maude. ASA/MA Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
2000	—	`conf`	The Extensibility of Maude's Module Algebra. AMAST Francisco Durán
2000	—	`conf`	The Reflective Design of Maude's Module Algebra. WFLP Francisco Durán
2000	—	`conf`	Towards Maude 2.0. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2000	B	`conf`	Using Maude. FASE Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999	—	`conf`	Maude as a Formal Meta-tool. World Congress on Formal Methods Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
1999	—	`conf`	Structured Theories and Institutions. CTCS Francisco Durán, José Meseguer
1999	—	`conf`	The Maude System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998	—	`conf`	An extensible module algebra for Maude. WRLA Francisco Durán, José Meseguer
1998	—	`conf`	Maude as a metalanguage. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998	—	`conf`	Metalevel computation in Maude. WRLA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer