Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Francisco Durán
2010 – today
- 2013
[j32]Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler: Model-driven performance analysis of rule-based domain specific visual models. Information & Software Technology 55(1): 88-110 (2013)- 2012
- [j31]Francisco Durán, José Meseguer: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebr. Program. 81(7-8): 816-850 (2012)
- [j30]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)
- [c54]Francisco Durán, Steffen Zschaler, Javier Troya: On the Reusable Specification of Non-functional Properties in DSLs. SLE 2012: 332-351
- [c53]Francisco Durán, Fernando Orejas, Steffen Zschaler: Behaviour Protection in Modular Rule-Based System Specifications. WADT 2012: 24-49
- 2011
- [j29]
- [c52]Francisco Durán, Camilo Rocha, José M. Álvarez: Towards a Maude Formal Environment. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351
- [c51]Francisco Durán, Camilo Rocha, José M. Álvarez: Tool Interoperability in the Maude Formal Environment. CALCO 2011: 400-406
- [c50]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
- [c49]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
- [c48]Francisco Durán, Martin Gogolla, Manuel Roldán: Tracing Properties of UML and OCL Models with Maude. AMMSE 2011: 81-97
- [e2]
- 2010
- [c47]Francisco Durán, José Meseguer: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010: 69-85
- [c46]Francisco Durán, José Meseguer: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010: 86-103
- [c45]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. WRLA 2010: 174-190
- [c44]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: The Third Rewrite Engines Competition. WRLA 2010: 243-261
2000 – 2009
- 2009
- [j28]Francisco Durán, Peter Csaba Ölveczky: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. Electr. Notes Theor. Comput. Sci. 238(3): 83-102 (2009)
- [j27]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. Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009)
- [j26]Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez: Web Services and Interoperability for the Maude Termination Tool. Electr. Notes Theor. Comput. Sci. 248: 83-92 (2009)
- [j25]Francisco Durán, Salvador Lucas, José Meseguer: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electr. Notes Theor. Comput. Sci. 248: 93-113 (2009)
- [j24]Francisco Durán, Meriem Ouederni, Gwen Salaün: Checking Protocol Compatibility using Maude. Electr. Notes Theor. Comput. Sci. 255: 65-81 (2009)
- [j23]Manuel Roldán, Francisco Durán, Antonio Vallecillo: Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009)
- [j22]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: Formal Specification and Analysis of Domain Specific Models Using Maude. Simulation 85(11-12): 778-792 (2009)
- [c43]Francisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCoS 2009: 246-262
- [c42]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
- [c41]José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: A graphical approach for modeling time-dependent behavior of DSLs. VL/HCC 2009: 51-55
- 2008
- [j21]Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation 21(1-2): 59-88 (2008)
- [c40]Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
- [c39]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
- [c38]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008
- 2007
- [j20]José Raúl Romero, Antonio Vallecillo, Francisco Durán: Writing and executing ODP computational viewpoint specifications using Maude. Computer Standards & Interfaces 29(4): 481-498 (2007)
- [j19]Francisco Durán, Adrián Riesco, Alberto Verdejo: A Distributed Implementation of Mobile Maude. Electr. Notes Theor. Comput. Sci. 176(4): 113-131 (2007)
- [j18]José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9): 187-207 (2007)
- [j17]
- [c37]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
- [c36]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
- [c35]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
- [c34]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
- [c33]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
- [c32]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
- [c31]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
- [c30]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
- [c29]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
- [c28]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
- [c27]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
- [c26]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
- [c25]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
- [c24]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
- [c23]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
- [c22]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
- [c21]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
- [c20]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
- [c19]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
- [c18]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
- [c17]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
- [c16]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
- [c15]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
- [c14]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
- [c13]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
- [c12]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 (Eds.): 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
- 2005
- [j16]Francisco Durán, Manuel Roldán, Antonio Vallecillo: Using Maude to write and execute ODP information viewpoint specifications. Computer Standards & Interfaces 27(6): 597-620 (2005)
- [j15]Francisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
- [j14]Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
- [j13]Francisco Durán: Maude's Internal Strategies. Electr. Notes Theor. Comput. Sci. 124(2): 11-15 (2005)
- [j12]Francisco Durán, Manuel Roldán, Antonio Vallecillo: Invariant-Driven Strategies for Maude. Electr. Notes Theor. Comput. Sci. 124(2): 17-28 (2005)
- 2004
- [c11]Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
- 2003
- [j11]Francisco Durán, Antonio Vallecillo: Formalizing ODP enterprise specifications in Maude. Computer Standards & Interfaces 25(2): 83-102 (2003)
- [j10]Francisco Durán, José Meseguer: Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003)
- [c10]Francisco Durán, Javier Herrador, Antonio Vallecillo: Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25
- [c9]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
- [j9]Francisco Durán, Alberto Verdejo: A Conference Reviewing System in Mobile Maude. Electr. Notes Theor. Comput. Sci. 71: 127-143 (2002)
- [j8]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
- [c8]Antonio Albarrán, Francisco Durán, Antonio Vallecillo: From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. JISBD 2001: 419-434
- [c7]Francisco Durán, Antonio Vallecillo: Writing ODP Enterprise Specifications in Maude. WOODPECKER 2001: 55-68
- 2000
- [j7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 294-315 (2000)
- [j6]Francisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 316-338 (2000)
- [j5]Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: 339-360 (2000)
- [c6]
- [c5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
- [c4]Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
- [c3]
1990 – 1999
- 1999
- [j4]Francisco Durán, José Meseguer: Structured Theories and Institutions. Electr. Notes Theor. Comput. Sci. 29: 23-41 (1999)
- [c2]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
- [c1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
- 1998
- [j3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: 147-160 (1998)
- [j2]Francisco Durán, José Meseguer: An extensible module algebra for Maude. Electr. Notes Theor. Comput. Sci. 15: 174-195 (1998)
- [j1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: 331-352 (1998)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:21 CEST by the dblp team