default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancisco Durán 0001
Francisco J. Durán
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
- Francisco Durán 0004 — Universitat Politècnica de Catalunya, Barcelona, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j36]Francisco Durán
, Carlos Ramírez, Camilo Rocha, Nicolás Pozas:
A rewriting logic semantics for the analysis of P programs. J. Log. Algebraic Methods Program. 144: 101048 (2025)- 2024
- [j35]Francisco Durán, Nicolás Pozas, Camilo Rocha:
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. J. Log. Algebraic Methods Program. 136: 100928 (2024) - [c93]Francisco J. Durán, Santiago Escobar, José Meseguer, Julia Sapiña:
NuITP: An Inductive Theorem Prover for Equational Program Verification. PPDP 2024: 6:1-6:11 - [c92]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming Open Distributed Systems in Maude. PPDP 2024: 7:1-7:12 - 2023
- [j34]Alejandro Rodríguez, Fernando Macías, Francisco Durán, Adrian Rutle, Uwe Wolter:
Composition of multilevel domain-specific modelling languages. J. Log. Algebraic Methods Program. 130: 100831 (2023) - [j33]Nicolás Pozas, Francisco Durán, Katia Moreno Berrocal, Ernesto Pimentel:
Location-aware scalable service composition. Softw. Pract. Exp. 53(12): 2408-2429 (2023) - [c91]Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha:
Statistical Model Checking for sf P. FMICS 2023: 40-56 - 2022
- [j32]Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani:
Self-healing trans-cloud applications. Computing 104(4): 809-833 (2022) - [j31]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things 19: 100515 (2022) - [j30]Francisco Durán:
Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. J. Object Technol. 21(4): 4:1-12 (2022) - [j29]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) - [c90]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 - [c89]Francisco Durán, Gwen Salaün:
Optimization of BPMN Processes via Automated Refactoring. ICSOC 2022: 3-18 - [c88]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 - [c87]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
- [j28]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) - [j27]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) - [c86]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 - [c85]Nicolás Pozas, Francisco Durán:
On the Scalability of Compositions of Service-Oriented Applications. ICSOC 2021: 449-463 - [c84]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
- [j26]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Live migration of trans-cloud applications. Comput. Stand. Interfaces 69: 103392 (2020) - [j25]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) - [j24]Francisco Durán, José Meseguer, Camilo Rocha:
Ground confluence of order-sorted conditional specifications modulo axioms. J. Log. Algebraic Methods Program. 111: 100513 (2020) - [c83]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
- [j23]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) - [j22]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) - [j21]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) - [c82]Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani:
Robust Management of Trans-Cloud Applications. CLOUD 2019: 219-223 - [c81]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of Resource Allocation of BPMN Processes. ICSOC 2019: 452-457 - [c80]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 - [c79]Francisco Durán, Hubert Garavel:
The Rewrite Engines Competitions: A RECtrospective. TACAS (3) 2019: 93-100 - [c78]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
- [j20]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud. Comput. Stand. Interfaces 58: 167-179 (2018) - [j19]Francisco Durán, Camilo Rocha, Gwen Salaün:
Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. 168: 1-17 (2018) - [c77]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 - [c76]Francisco Durán, Camilo Rocha, Gwen Salaün:
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops 2018: 320-335 - [c75]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 - [c74]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 - [c73]Francisco Durán, José Meseguer, Camilo Rocha:
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS 2018: 184-204 - 2017
- [j18]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) - [c72]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 - [c71]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER 2017: 259-269 - [c70]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Component Migration in a Trans-cloud Environment. CLOSER (Selected Papers) 2017: 286-307 - [c69]Francisco Durán, Gwen Salaün:
Verifying Timed BPMN Processes Using Maude. COORDINATION 2017: 219-236 - [c68]Steffen Zschaler, Francisco Durán:
GTS Families for the Flexible Composition of Graph Transformation Systems. FASE 2017: 208-225 - [c67]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Runtime Migration of Applications in a Trans-Cloud Environment. ICSOC Workshops 2017: 55-66 - [c66]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 - [c65]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
- [j17]Francisco Durán, Gwen Salaün:
Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. 122: 524-537 (2016) - [c64]Jose Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel:
Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. CLOUD 2016: 951-955 - [c63]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 - [c62]Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán:
Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) 2016: 170-177 - [c61]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Towards a Unified Management of Applications on Heterogeneous Clouds. ESOCC Workshops 2016: 233-246 - [c60]Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo:
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. FASE 2016: 305-322 - [c59]Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016: 118-133 - 2015
- [j16]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) - [j15]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) - [c58]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
- [c57]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 - [c56]Francisco Durán, Gwen Salaün:
Robust reconfiguration of cloud applications. CBSE 2014: 179-184 - [c55]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 - [c54]Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo:
Equational Abstractions in Rewriting Logic and Maude. SBMF 2014: 17-31 - [c53]Antonio Moreno-Delgado, Francisco Durán:
The Movie Database Case: A Solution Using the Maude-based e-Motions Tool. TTC@STAF 2014: 116-124 - [c52]Francisco Durán:
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation. WRLA 2014: 1-20 - 2013
- [j14]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
- [j13]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) - [j12]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) - [c51]Francisco Durán, Steffen Zschaler, Javier Troya:
On the Reusable Specification of Non-functional Properties in DSLs. SLE 2012: 332-351 - [c50]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
- [j11]Manuel Roldán, Francisco Durán:
Dynamic Validation of OCL Constraints with mOdCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - [c49]Francisco Durán, Camilo Rocha, José María Álvarez:
Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351 - [c48]Francisco Durán, Camilo Rocha, José María Álvarez:
Tool Interoperability in the Maude Formal Environment. CALCO 2011: 400-406 - [c47]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 - [c46]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 - [c45]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 - [c44]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
- [c43]Francisco Durán, José Meseguer:
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010: 69-85 - [c42]Francisco Durán, José Meseguer:
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010: 86-103 - [c41]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. WRLA 2010: 174-190 - [c40]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
- [j10]Manuel Roldán, Francisco Durán, Antonio Vallecillo:
Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009) - [j9]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) - [c39]Francisco Durán, Salvador Lucas, José Meseguer:
Termination Modulo Combinations of Equational Theories. FroCoS 2009: 246-262 - [c38]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 - [c37]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo:
A graphical approach for modeling time-dependent behavior of DSLs. VL/HCC 2009: 51-55 - [c36]Francisco Durán, Meriem Ouederni, Gwen Salaün:
Checking Protocol Compatibility using Maude. FOCLASA 2009: 65-81 - 2008
- [j8]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) - [c35]Francisco Durán, Salvador Lucas, José Meseguer:
MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319 - [c34]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 - [c33]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
A formalization of the SMEPP model in Maude. MobiQuitous 2008 - [c32]Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez:
Web Services and Interoperability for the Maude Termination Tool. PROLE 2008: 83-92 - [c31]Francisco Durán, Peter Csaba Ölveczky:
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA 2008: 83-102 - [c30]Francisco Durán, Salvador Lucas, José Meseguer:
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. PROLE 2008: 93-113 - [c29]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
- [j7]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) - [j6]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) - [j5]Francisco Durán, José Meseguer:
Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007) - [c28]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. CALCO 2007: 173-178 - [c27]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]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 - [p7]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 - [p6]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 - [p5]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 - [p4]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 - [p3]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 - [p2]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 - [p1]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 - [e1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
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 [contents] - 2006
- [c26]Francisco Durán, Adrián Riesco, Alberto Verdejo:
A Distributed Implementation of Mobile Maude. WRLA 2006: 113-131 - 2005
- [j4]Francisco Durán, Manuel Roldán, Antonio Vallecillo:
Using Maude to write and execute ODP information viewpoint specifications. Comput. Stand. Interfaces 27(6): 597-620 (2005) - 2004
- [c25]Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain:
Proving termination of membership equational programs. PEPM 2004: 147-158 - [c24]Francisco Durán:
Maude's Internal Strategies. WRS 2004: 11-15 - [c23]Francisco Durán, Manuel Roldán, Antonio Vallecillo:
Invariant-Driven Strategies for Maude. WRS 2004: 17-28 - [c22]Francisco Durán, Santiago Escobar, Salvador Lucas:
On-demand Evaluation for Maude. RULE@RDP 2004: 25-39 - [c21]Francisco Durán, Santiago Escobar, Salvador Lucas:
New Evaluation Commands for Maude Within Full Maude. WRLA 2004: 263-284 - 2003
- [j3]Francisco Durán, Antonio Vallecillo:
Formalizing ODP enterprise specifications in Maude. Comput. Stand. Interfaces 25(2): 83-102 (2003) - [j2]Francisco Durán, José Meseguer:
Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003) - [c20]Francisco Durán, Javier Herrador, Antonio Vallecillo:
Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25 - [c19]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 - 2002
- [j1]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) - [c18]Francisco Durán, Alberto Verdejo:
A Conference Reviewing System in Mobile Maude. WRLA 2002: 127-143 - 2001
- [c17]Antonio Albarrán, Francisco Durán, Antonio Vallecillo:
From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. JISBD 2001: 419-434 - [c16]Francisco Durán, Antonio Vallecillo:
Writing ODP Enterprise Specifications in Maude. WOODPECKER 2001: 55-68 - 2000
- [c15]Francisco Durán:
The Extensibility of Maude's Module Algebra. AMAST 2000: 422-437 - [c14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c13]Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Mobile Maude. ASA/MA 2000: 73-85 - [c12]Francisco Durán:
The Reflective Design of Maude's Module Algebra. WFLP 2000: 128-134 - [c11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315 - [c10]Francisco Durán, José Meseguer:
Parameterized Theories and Views in Full Maude 2.0. WRLA 2000: 316-338 - [c9]Manuel Clavel, Francisco Durán, Narciso Martí-Oliet:
Polytypic Programming in Maude. WRLA 2000: 339-360
1990 – 1999
- 1999
- [c8]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 - [c7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243 - [c6]Francisco Durán, José Meseguer:
Structured Theories and Institutions. CTCS 1999: 23-41 - 1998
- [c5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. WRLA 1998: 147-160 - [c4]Francisco Durán, José Meseguer:
An extensible module algebra for Maude. WRLA 1998: 174-195 - [c3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Metalevel computation in Maude. WRLA 1998: 331-352 - 1995
- [c2]Francisco J. Durán, Ernesto Pimentel:
Objects communication by extending the unification. UNIF 1995: 18-21 - 1994
- [c1]Francisco J. Durán, Ernesto Pimentel, José M. Troya:
Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160
Coauthor Index
[c93] [c92] [c90] [j25] [j24] [i2] [c74] [c73] [c63] [c59] [j13] [c46] [c43] [c42] [c39] [c38] [j8] [c35] [c32] [c30] [j5] [c28] [p24] [p23] [p22] [p21] [p20] [p19] [p18] [p17] [p16] [p15] [p14] [p13] [p12] [p11] [p10] [p9] [p8] [p7] [p6] [p5] [p4] [p3] [p2] [p1] [e1] [c25] [j2] [c19] [j1] [c14] [c13] [c11] [c10] [c8] [c7] [c6] [c5] [c4] [c3]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 00:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
