Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDFrancisco Durán
Person information
- affiliation: University of Málaga, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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)
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) - [c72]Antonio Brogi, José Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani:
Robust Management of Trans-Cloud Applications. CLOUD 2019: 219-223 - [c71]Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of Resource Allocation of BPMN Processes. ICSOC 2019: 452-457 - [c70]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 - [c69]Francisco Durán, Hubert Garavel:
The Rewrite Engines Competitions: A RECtrospective. TACAS (3) 2019: 93-100 - [c68]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) - [c67]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 - [c66]Francisco Durán, Camilo Rocha, Gwen Salaün:
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops 2018: 320-335 - [c65]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 - [c64]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 - [c63]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) - [c62]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 - [c61]José Carrasco, Francisco Durán, Ernesto Pimentel:
Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER 2017: 259-269 - [c60]José Carrasco, Francisco Durán, Ernesto Pimentel:
Component Migration in a Trans-cloud Environment. CLOSER (Selected Papers) 2017: 286-307 - [c59]Francisco Durán, Gwen Salaün:
Verifying Timed BPMN Processes Using Maude. COORDINATION 2017: 219-236 - [c58]Steffen Zschaler, Francisco Durán:
GTS Families for the Flexible Composition of Graph Transformation Systems. FASE 2017: 208-225 - [c57]José Carrasco, Francisco Durán, Ernesto Pimentel:
Runtime Migration of Applications in a Trans-Cloud Environment. ICSOC Workshops 2017: 55-66 - [c56]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 - [c55]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) - [c54]José Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel:
Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. CLOUD 2016: 951-955 - [c53]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 - [c52]José Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán:
Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) 2016: 170-177 - [c51]José Carrasco, Francisco Durán, Ernesto Pimentel:
Towards a Unified Management of Applications on Heterogeneous Clouds. ESOCC Workshops 2016: 233-246 - [c50]Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo:
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. FASE 2016: 305-322 - [c49]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) - [c48]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
- [c47]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 - [c46]Francisco Durán, Gwen Salaün:
Robust reconfiguration of cloud applications. CBSE 2014: 179-184 - [c45]Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya:
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. ECMFA@STAF 2014: 132-147 - [c44]Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo:
Equational Abstractions in Rewriting Logic and Maude. SBMF 2014: 17-31 - [c43]Antonio Moreno-Delgado, Francisco Durán:
The Movie Database Case: A Solution Using the Maude-based e-Motions Tool. TTC@STAF 2014: 116-124 - [c42]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) - [c41]Francisco Durán, Steffen Zschaler, Javier Troya:
On the Reusable Specification of Non-functional Properties in DSLs. SLE 2012: 332-351 - [c40]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) - [c39]Francisco Durán, Camilo Rocha, José María Álvarez:
Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351 - [c38]Francisco Durán, Camilo Rocha, José María Álvarez:
Tool Interoperability in the Maude Formal Environment. CALCO 2011: 400-406 - [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]Francisco Durán, Alberto Verdejo:
A Conference Reviewing System in Mobile Maude. Electron. Notes Theor. Comput. Sci. 71: 127-143 (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) - 2001
- [c15]Antonio Albarrán, Francisco Durán, Antonio Vallecillo:
From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. JISBD 2001: 419-434 - [c14]Francisco Durán, Antonio Vallecillo:
Writing ODP Enterprise Specifications in Maude. WOODPECKER 2001: 55-68 - 2000
- [c13]Francisco Durán:
The Extensibility of Maude's Module Algebra. AMAST 2000: 422-437 - [c12]