Google
Google Scholar
Semantic Scholar
MS Academic
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
- 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)- [c76]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 - [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 - 2020
- [j33]José 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, José 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]José 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]José Carrasco, Francisco Durán, Ernesto Pimentel:
Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER 2017: 259-269 - [c61]José 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]José 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]José 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]José Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán:
Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) 2016: 170-177 - [c52]José 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, José 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]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
- [c20]Francisco Durán, Adrián Riesco, Alberto Verdejo:
A Distributed Implementation of Mobile Maude. WRLA 2006: 113-131 - 2005
- [j8]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) - [j7]Francisco Durán, Santiago Escobar, Salvador Lucas:
On-demand Evaluation for Maude. Electron. Notes Theor. Comput. Sci. 124(1): 25-39 (2005) - [j6]Francisco Durán:
Maude's Internal Strategies. Electron. Notes Theor. Comput. Sci. 124(2): 11-15 (2005) - [j5]Francisco Durán, Manuel Roldán, Antonio Vallecillo:
Invariant-Driven Strategies for Maude. Electron. Notes Theor. Comput. Sci. 124(2): 17-28 (2005) - 2004
- [c19]Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain:
Proving termination of membership equational programs. PEPM 2004: 147-158 - [c18]Francisco Durán, Santiago Escobar, Salvador Lucas:
New Evaluation Commands for Maude Within Full Maude. WRLA 2004: 263-284 - 2003
- [j4]Francisco Durán, Antonio Vallecillo:
Formalizing ODP enterprise specifications in Maude. Comput. Stand. Interfaces 25(2): 83-102 (2003) - [j3]Francisco Durán, José Meseguer:
Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003) - [c17]Francisco Durán, Javier Herrador, Antonio Vallecillo:
Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25 - [c16]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
- [j2]