Travelled to:1 × Australia
1 × Brazil
1 × Cyprus
1 × Serbia
1 × Spain
1 × United Kingdom
2 × Italy
3 × France
3 × Germany
Collaborated with:J.Meseguer S.Eker M.Clavel N.Martí-Oliet P.Lincoln S.Zschaler S.Lucas A.Verdejo S.Escobar A.Vallecillo J.F.Quesada C.L.Talcott A.Moreno-Delgado J.Troya J.E.Rivera G.Salaün ∅ P.C.Ölveczky J.R.Romero A.Riesco J.M.Álvarez-Palomo J.Cabot N.Moreno C.Marché X.Urbain M.Stehr M.Roldán E.Balland M.v.d.Brand K.T.Kalleberg L.C.L.Kats P.Moreau E.Visser R.Schevchenko J.Bach J.R.Cordy L.Engelen M.d.Jonge
Talks about:maud (24) specif (5) rewrit (5) tool (5) program (4) system (4) model (4) engin (4) theori (3) condit (3)
Person: Francisco Durán
DBLP: Dur=aacute=n:Francisco
Facilitated 1 volumes:
EdContributed to:
2014
20142014
2012
2011201020122009
2008
20082009
20072007
2004200520032002
20002000
1999199919982002201620172016Wrote 34 papers:
- CBSE-2014-DuranS #configuration management #robust
- Robust reconfiguration of cloud applications (FD, GS), pp. 179–184.
- ECMFA-2014-Moreno-DelgadoDZT #analysis #composition #domain-specific language #flexibility
- Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio (AMD, FD, SZ, JT), pp. 132–147.
- WRLA-2014-Duran #composition #domain-specific language
- Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.
- SLE-2012-DuranZT #domain-specific language #non-functional #on the #reuse #specification
- On the Reusable Specification of Non-functional Properties in DSLs (FD, SZ, JT), pp. 332–351.
- RTA-2011-DuranEEMT #maude #reachability #unification
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
- WRLA-2010-DuranM #equation #maude #order #specification
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.
- WRLA-2010-DuranM10a #maude #order
- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.
- WRLA-2010-DuranRBBBCEEJK #contest
- The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
- WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation
- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
- WRLA-J-2010-DuranM12 #on the #order
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.
- RTA-2009-ClavelDEELMMT #maude #unification
- Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
- ICSE-2008-CabotDMVR #distributed #experience #modelling #programming #re-engineering
- From programming to modeling: our experience with a distributed software engineering course (JC, FD, NM, AV, JRR), pp. 749–758.
- IJCAR-2008-DuranLM #maude #named #termination
- MTT: The Maude Termination Tool (FD, SL, JM), pp. 313–319.
- WRLA-2008-DuranO09 #implementation #maude #realtime
- A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.
- WRLA-2008-DuranRBBEKKMSV09 #contest
- The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
- TOOLS-EUROPE-2007-RomeroRDV #maude #modelling #tool support
- Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
- WRLA-2006-DuranRV07 #distributed #implementation #maude #mobile
- A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.
- PEPM-2004-DuranLMMU #equation #proving #source code #termination
- Proving termination of membership equational programs (FD, SL, JM, CM, XU), pp. 147–158.
- WRLA-2004-DuranEL05 #evaluation #maude
- New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.
- RTA-2003-ClavelDELMMT #maude
- The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.
- WRLA-2002-DuranV #maude #mobile
- A Conference Reviewing System in Mobile Maude (FD, AV), pp. 127–143.
- FASE-2000-ClavelDELMMQ #maude #using
- Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.
- WRLA-2000-ClavelDELMMQ #maude #towards
- Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.
- WRLA-2000-ClavelDM #maude #programming
- Polytypic Programming in Maude (MC, FD, NMO), pp. 339–360.
- WRLA-2000-DuranM #maude
- Parameterized Theories and Views in Full Maude 2.0 (FD, JM), pp. 316–338.
- FM-v2-1999-ClavelDEMS #maude
- Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.
- RTA-1999-ClavelDELMMQ #maude
- The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.
- WRLA-1998-ClavelDELMM #maude
- Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
- WRLA-1998-ClavelDELMMQ #maude #metalanguage
- Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
- WRLA-1998-DuranM #algebra #maude
- An extensible module algebra for Maude (FD, JM), pp. 174–195.
- WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification
- Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.
- FASE-2016-DuranMA #domain-specific language #model checking #modelling #statistics
- Statistical Model Checking of e-Motions Domain-Specific Modeling Languages (FD, AMD, JMÁP), pp. 305–322.
- FASE-2017-ZschalerD #composition #flexibility #graph transformation #product line
- GTS Families for the Flexible Composition of Graph Transformation Systems (SZ, FD), pp. 208–225.
- IJCAR-2016-DuranEEMMT #generative #maude #unification
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.