Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDFrancisco Durán 0001
Person information
- affiliation: University of Málaga, Spain
Other persons with the same name
- Francisco Durán 0002 — Ceiba Software & Arts
- Francisco Durán 0003 — University of the Basque Country, Bilbao, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j37]Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
:
Self-healing trans-cloud applications. Computing 104(4): 809-833 (2022)- [j36]Alejandro Rodríguez, Francisco Durán, Lars Michael Kristensen:
Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw. Syst. Model. 21(2): 561-586 (2022) - [c80]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - [c79]Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo:
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS 2022: 3-21 - [c78]Francisco Durán, Daniela Martínez, Camilo Rocha:
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. WRLA@ETAPS 2022: 113-129 - 2021
- [j35]Francisco Durán, Camilo Rocha, Gwen Salaün:
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. J. Log. Algebraic Methods Program. 123: 100711 (2021) - [j34]Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel:
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. Softw. Pract. Exp. 51(6): 1387-1415 (2021) - [c77]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) 2021: 41-44 - [c76]Nicolás Pozas, Francisco Durán:
On the Scalability of Compositions of Service-Oriented Applications. ICSOC 2021: 449-463 - [c75]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE 2021: 142-148 - [p30]Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Introduction. Composing Model-Based Analysis Tools 2021: 1-8 - [p29]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:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p28]Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Overview of Challenges in Composing Model-Based Analysis Tools. Composing Model-Based Analysis Tools 2021: 41-43 - [p27]Francisco Durán, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler:
Exploiting Results of Model-Based Analysis Tools. Composing Model-Based Analysis Tools 2021: 129-158 - [p26]Steffen Zschaler, Francisco Durán:
GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics. Composing Model-Based Analysis Tools 2021: 189-215 - [p25]Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Conclusion. Composing Model-Based Analysis Tools 2021: 301-307 - [e4]Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools. Springer 2021, ISBN 978-3-030-81914-9 [contents] - 2020
- [j33]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Live migration of trans-cloud applications. Comput. Stand. Interfaces 69: 103392 (2020) - [j32]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [j31]Francisco Durán, José Meseguer, Camilo Rocha:
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020) - [c74]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA@ETAPS 2020: 38-56
2010 – 2019
- 2019
- [j30]Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría:
Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. 106: 167-195 (2019) - [j29]Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen:
Executing Multilevel Domain-Specific Models in Maude. J. Object Technol. 18(2): 4:1-21 (2019) - [j28]Francisco Durán, Camilo Rocha, Gwen Salaün:
A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019) - [c73]Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani:
Robust Management of Trans-Cloud Applications. CLOUD 2019: 219-223 - [c72]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of Resource Allocation of BPMN Processes. ICSOC 2019: 452-457 - [c71]Alejandro Rodríguez, Adrian Rutle, Lars Michael Kristensen, Francisco Durán:
A Foundation for the Composition of Multilevel Domain-Specific Languages. MoDELS (Companion) 2019: 88-97 - [c70]Francisco Durán, Hubert Garavel:
The Rewrite Engines Competitions: A RECtrospective. TACAS (3) 2019: 93-100 - [c69]Francisco Durán, Gwen Salaün, Ajay Krishna:
Automated Composition, Analysis and Deployment of IoT Applications. TOOLS 2019: 252-268 - [i3]Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría:
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour. CoRR abs/1901.05754 (2019) - [i2]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - [i1]Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). Dagstuhl Reports 9(11): 97-116 (2019) - 2018
- [j27]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud. Comput. Stand. Interfaces 58: 167-179 (2018) - [j26]Francisco Durán, Camilo Rocha, Gwen Salaün:
Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. 168: 1-17 (2018) - [c68]Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías:
Multilevel modelling of coloured petri nets. MoDELS (Workshops) 2018: 663-672 - [c67]Francisco Durán, Camilo Rocha, Gwen Salaün:
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops 2018: 320-335 - [c66]Francisco Durán, Camilo Rocha, Gwen Salaün:
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA@ETAPS 2018: 76-97 - [c65]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - [c64]Francisco Durán, José Meseguer, Camilo Rocha:
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS 2018: 184-204 - 2017
- [j25]Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler:
Amalgamation of domain specific languages with behaviour. J. Log. Algebraic Methods Program. 86(1): 208-235 (2017) - [c63]Patrícia Araújo de Oliveira, Antonio Moreno-Delgado, Francisco Durán, Ernesto Pimentel:
Towards the Predictive Analysis of Cloud Systems with e-Motions. CIbSE 2017: 169-182 - [c62]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER 2017: 259-269 - [c61]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Component Migration in a Trans-cloud Environment. CLOSER (Selected Papers) 2017: 286-307 - [c60]Francisco Durán, Gwen Salaün:
Verifying Timed BPMN Processes Using Maude. COORDINATION 2017: 219-236 - [c59]Steffen Zschaler, Francisco Durán:
GTS Families for the Flexible Composition of Graph Transformation Systems. FASE 2017: 208-225 - [c58]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Runtime Migration of Applications in a Trans-Cloud Environment. ICSOC Workshops 2017: 55-66 - [c57]Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel:
An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. ICSOC Workshops 2017: 363-368 - [c56]Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel:
Towards the Performance Analysis of Elastic Systems with e-Motions. SEFM Workshops 2017: 475-490 - 2016
- [j24]Francisco Durán, Gwen Salaün:
Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. 122: 524-537 (2016) - [c55]Jose Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel:
Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. CLOUD 2016: 951-955 - [c54]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c53]Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán:
Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) 2016: 170-177 - [c52]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Towards a Unified Management of Applications on Heterogeneous Clouds. ESOCC Workshops 2016: 233-246 - [c51]Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo:
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. FASE 2016: 305-322 - [c50]Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016: 118-133 - 2015
- [j23]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:
Adaptive management of applications across multiple clouds: The SeaClouds Approach. CLEI Electron. J. 18(1) (2015) - [j22]Francisco Durán, Narciso Martí-Oliet:
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. 99: 1-2 (2015) - [c49]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - 2014
- [c48]Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez:
Dynamic Validation of Maude Prototypes of UML Models. Specification, Algebra, and Software 2014: 212-228 - [c47]Francisco Durán, Gwen Salaün:
Robust reconfiguration of cloud applications. CBSE 2014: 179-184 - [c46]Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya:
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. ECMFA 2014: 132-147 - [c45]Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo:
Equational Abstractions in Rewriting Logic and Maude. SBMF 2014: 17-31 - [c44]Antonio Moreno-Delgado, Francisco Durán:
The Movie Database Case: A Solution Using the Maude-based e-Motions Tool. TTC@STAF 2014: 116-124 - [c43]Francisco Durán:
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation. WRLA 2014: 1-20 - 2013
- [j21]Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler:
Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. 55(1): 88-110 (2013) - 2012
- [j20]Francisco Durán, José Meseguer:
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebraic Methods Program. 81(7-8): 816-850 (2012) - [j19]Francisco Durán, Meriem Ouederni, Gwen Salaün:
A generic framework for n-protocol compatibility checking. Sci. Comput. Program. 77(7-8): 870-886 (2012) - [c42]Francisco Durán, Steffen Zschaler, Javier Troya:
On the Reusable Specification of Non-functional Properties in DSLs. SLE 2012: 332-351 - [c41]Francisco Durán, Fernando Orejas, Steffen Zschaler:
Behaviour Protection in Modular Rule-Based System Specifications. WADT 2012: 24-49 - [e3]Francisco Durán:
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. Lecture Notes in Computer Science 7571, Springer 2012, ISBN 978-3-642-34004-8 [contents] - 2011
- [j18]Manuel Roldán, Francisco Durán:
Dynamic Validation of OCL Constraints with mOdCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - [c40]Francisco Durán, Camilo Rocha, José María Álvarez:
Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351 - [c39]Francisco Durán, Camilo Rocha, José María Álvarez:
Tool Interoperability in the Maude Formal Environment. CALCO 2011: 400-406 - [c38]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
On the Formal Analysis of P2P Algorithms with aSMoL and Maude. CIbSE 2011: 225-238 - [c37]Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott:
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40 - [c36]Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera:
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. AMMSE 2011: 49-63 - [c35]Francisco Durán, Martin Gogolla, Manuel Roldán:
Tracing Properties of UML and OCL Models with Maude. AMMSE 2011: 81-97 - [e2]Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011 [contents] - 2010
- [c34]Francisco Durán, José Meseguer:
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010: 69-85 - [c33]Francisco Durán, José Meseguer:
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010: 86-103 - [c32]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. WRLA 2010: 174-190 - [c31]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:
The Third Rewrite Engines Competition. WRLA 2010: 243-261
2000 – 2009
- 2009
- [j17]Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez:
Web Services and Interoperability for the Maude Termination Tool. Electron. Notes Theor. Comput. Sci. 248: 83-92 (2009) - [j16]Francisco Durán, Salvador Lucas, José Meseguer:
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electron. Notes Theor. Comput. Sci. 248: 93-113 (2009) - [j15]Francisco Durán, Meriem Ouederni, Gwen Salaün:
Checking Protocol Compatibility using Maude. Electron. Notes Theor. Comput. Sci. 255: 65-81 (2009) - [j14]Manuel Roldán, Francisco Durán, Antonio Vallecillo:
Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009) - [j13]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
Formal Specification and Analysis of Domain Specific Models Using Maude. Simul. 85(11-12): 778-792 (2009) - [c30]Francisco Durán, Salvador Lucas, José Meseguer:
Termination Modulo Combinations of Equational Theories. FroCoS 2009: 246-262 - [c29]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 - [c28]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
A graphical approach for modeling time-dependent behavior of DSLs. VL/HCC 2009: 51-55 - 2008
- [j12]Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain:
Proving operational termination of membership equational programs. High. Order Symb. Comput. 21(1-2): 59-88 (2008) - [c27]Francisco Durán, Salvador Lucas, José Meseguer:
MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319 - [c26]Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero:
From programming to modeling: our experience with a distributed software engineering course. ICSE 2008: 749-758 - [c25]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
A formalization of the SMEPP model in Maude. MobiQuitous 2008 - [c24]Francisco Durán, Peter Csaba Ölveczky:
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA 2008: 83-102 - [c23]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:
The Second Rewrite Engines Competition. WRLA 2008: 281-291 - 2007
- [j11]José Raúl Romero, Antonio Vallecillo, Francisco Durán:
Writing and executing ODP computational viewpoint specifications using Maude. Comput. Stand. Interfaces 29(4): 481-498 (2007) - [j10]José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
Formal and Tool Support for Model Driven Engineering with Maude. J. Object Technol. 6(9): 187-207 (2007) - [j9]Francisco Durán, José Meseguer:
Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007) - [c22]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. CALCO 2007: 173-178 - [c21]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero:
Maudeling: Herramienta de gestión de modelos usando Maude. JISBD 2007: 409-410 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]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 - [p22]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 - [p21]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 - [p20]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 - [p19]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 - [p18]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 - [p17]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 - [p16]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 - [p15]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 - [p14]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 - [p13]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 - [p12]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 - [p11]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 - [p10]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 - [p9]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 - [p8]