@inproceedings{Duran00:0,
  title = {The Reflective Design of Maude s Module Algebra},
  author = {Francisco Durán},
  year = {2000},
  tags = { algebra, design},
  researchr = {https://researchr.org/publication/Duran00%3A0},
  cites = {0},
  citedby = {0},
  pages = {128-134},
  booktitle = {wflp},
}

@inproceedings{ClavelDELMMT07j,
  title = {LTL Model Checking},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_13},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_13},
  tags = {model checking, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDELMMT07j},
  cites = {0},
  citedby = {0},
  pages = {385-418},
  booktitle = {maude},
}

@article{DuranV02,
  title = {A Conference Reviewing System in Mobile Maude},
  author = {Francisco Durán and Alberto Verdejo},
  year = {2002},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#008},
  tags = {reviewing, mobile},
  researchr = {https://researchr.org/publication/DuranV02},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {71},
  pages = {127-143},
}

@inproceedings{ClavelDELMMT07d,
  title = {A Hierarchy of Data Types: From Trees to Sets},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_5},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_5},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ClavelDELMMT07d},
  cites = {0},
  citedby = {0},
  pages = {119-129},
  booktitle = {maude},
}

@inproceedings{DuranHV03,
  title = {Using UML and Maude for Writing and Reasoning about ODP Policies},
  author = {Francisco Durán and Javier Herrador and Antonio Vallecillo},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390015abs.htm},
  tags = {UML, writing},
  researchr = {https://researchr.org/publication/DuranHV03},
  cites = {0},
  citedby = {0},
  pages = {15-25},
  booktitle = {policy},
}

@inproceedings{ClavelDELMMTPV07,
  title = {Playing with Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_7},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_7},
  researchr = {https://researchr.org/publication/ClavelDELMMTPV07},
  cites = {0},
  citedby = {0},
  pages = {159-184},
  booktitle = {maude},
}

@article{DuranEL05,
  title = {New Evaluation Commands for Maude Within Full Maude},
  author = {Francisco Durán and Santiago Escobar and Salvador Lucas},
  year = {2005},
  doi = {10.1016/j.entcs.2004.06.014},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.06.014},
  researchr = {https://researchr.org/publication/DuranEL05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {117},
  pages = {263-284},
}

@inproceedings{ClavelDELMMT07g,
  title = {Predefined Data Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_9},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_9},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ClavelDELMMT07g},
  cites = {0},
  citedby = {0},
  pages = {231-305},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMT07b,
  title = {Syntax and Basic Parsing},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_3},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_3},
  tags = {parsing},
  researchr = {https://researchr.org/publication/ClavelDELMMT07b},
  cites = {0},
  citedby = {0},
  pages = {39-59},
  booktitle = {maude},
}

@article{DuranM98,
  title = {An extensible module algebra for Maude},
  author = {Francisco Durán and José Meseguer},
  year = {1998},
  doi = {10.1016/S1571-0661(05)80012-X},
  url = {https://doi.org/10.1016/S1571-0661(05)80012-X},
  tags = { algebra},
  researchr = {https://researchr.org/publication/DuranM98},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {15},
  pages = {174-195},
}

@article{DuranLMMU08,
  title = {Proving operational termination of membership equational programs},
  author = {Francisco Durán and Salvador Lucas and Claude Marché and José Meseguer and Xavier Urbain},
  year = {2008},
  doi = {10.1007/s10990-008-9028-2},
  url = {http://dx.doi.org/10.1007/s10990-008-9028-2},
  tags = {termination},
  researchr = {https://researchr.org/publication/DuranLMMU08},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {21},
  number = {1-2},
  pages = {59-88},
}

@inproceedings{ClavelDELMMT07q,
  title = {Debugging and Troubleshooting},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_22},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_22},
  tags = {debugging},
  researchr = {https://researchr.org/publication/ClavelDELMMT07q},
  cites = {0},
  citedby = {0},
  pages = {697-736},
  booktitle = {maude},
}

@article{DuranRV07,
  title = {A Distributed Implementation of Mobile Maude},
  author = {Francisco Durán and Adrián Riesco and Alberto Verdejo},
  year = {2007},
  doi = {10.1016/j.entcs.2007.06.011},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.06.011},
  tags = {mobile},
  researchr = {https://researchr.org/publication/DuranRV07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {176},
  number = {4},
  pages = {113-131},
}

@article{RiveraDV09-0,
  title = {Formal Specification and Analysis of Domain Specific Models Using Maude},
  author = {José Eduardo Rivera and Francisco Durán and Antonio Vallecillo},
  year = {2009},
  doi = {10.1177/0037549709341635},
  url = {http://dx.doi.org/10.1177/0037549709341635},
  tags = {domain analysis, analysis},
  researchr = {https://researchr.org/publication/RiveraDV09-0},
  cites = {0},
  citedby = {0},
  journal = {simulation},
  volume = {85},
  number = {11-12},
  pages = {778-792},
}

@article{Duran05,
  title = {Maude s Internal Strategies},
  author = {Francisco Durán},
  year = {2005},
  doi = {10.1016/j.entcs.2004.11.022},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.11.022},
  researchr = {https://researchr.org/publication/Duran05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {124},
  number = {2},
  pages = {11-15},
}

@inproceedings{DuranRBBBCEEJK10,
  title = {The Third Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Jean-Christophe Bach and Emilie  Balland and Mark G. J. van den Brand and James R.  Cordy and Steven Eker and Luc Engelen and Maartje  de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_16},
  tags = {graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/DuranRBBBCEEJK10},
  cites = {0},
  citedby = {0},
  pages = {243-261},
  booktitle = {WRLA},
}

@article{DuranM03,
  title = {Structured theories and institutions},
  author = {Francisco Durán and José Meseguer},
  year = {2003},
  doi = {10.1016/S0304-3975(03)00312-8},
  url = {http://dx.doi.org/10.1016/S0304-3975(03)00312-8},
  researchr = {https://researchr.org/publication/DuranM03},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {309},
  number = {1-3},
  pages = {357-380},
}

@inproceedings{RiveraDV10,
  title = {On the Behavioral Semantics of Real-Time Domain Specific Visual Languages},
  author = {José Eduardo Rivera and Francisco Durán and Antonio Vallecillo},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_12},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_12},
  tags = {semantics, domain-specific language},
  researchr = {https://researchr.org/publication/RiveraDV10},
  cites = {0},
  citedby = {0},
  pages = {174-190},
  booktitle = {WRLA},
}

@article{DuranM07,
  title = {Maude s module algebra},
  author = {Francisco Durán and José Meseguer},
  year = {2007},
  doi = {10.1016/j.scico.2006.07.002},
  url = {http://dx.doi.org/10.1016/j.scico.2006.07.002},
  tags = { algebra},
  researchr = {https://researchr.org/publication/DuranM07},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {66},
  number = {2},
  pages = {125-153},
}

@inproceedings{ClavelDELMMT07l,
  title = {Metaprogramming Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_15},
  researchr = {https://researchr.org/publication/ClavelDELMMT07l},
  cites = {0},
  citedby = {0},
  pages = {459-483},
  booktitle = {maude},
}

@inproceedings{DuranV01,
  title = {Writing ODP Enterprise Specifications in Maude},
  author = {Francisco Durán and Antonio Vallecillo},
  year = {2001},
  tags = {writing},
  researchr = {https://researchr.org/publication/DuranV01},
  cites = {0},
  citedby = {0},
  pages = {55-68},
  booktitle = {woodpecker},
}

@inproceedings{DuranLMMU04,
  title = {Proving termination of membership equational programs},
  author = {Francisco Durán and Salvador Lucas and José Meseguer and Claude Marché and Xavier Urbain},
  year = {2004},
  doi = {10.1145/1014007.1014022},
  url = {http://doi.acm.org/10.1145/1014007.1014022},
  tags = {termination},
  researchr = {https://researchr.org/publication/DuranLMMU04},
  cites = {0},
  citedby = {0},
  pages = {147-158},
  booktitle = {PEPM},
}

@article{DuranRV05,
  title = {Invariant-Driven Strategies for Maude},
  author = {Francisco Durán and Manuel Roldán and Antonio Vallecillo},
  year = {2005},
  doi = {10.1016/j.entcs.2004.11.018},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.11.018},
  researchr = {https://researchr.org/publication/DuranRV05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {124},
  number = {2},
  pages = {17-28},
}

@inproceedings{DuranZschaler2012,
  title = {On the modularity and reusability of the rule-based specification of QoS properties of systems},
  author = {Francisco Durán and Steffen  Zschaler},
  year = {2012},
  tags = {rule-based, reuse, rules},
  researchr = {https://researchr.org/publication/DuranZschaler2012},
  cites = {0},
  citedby = {0},
  booktitle = {Preliminary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid #TR-08/12 },
}

@article{ClavelDM00,
  title = {Polytypic Programming in Maude},
  author = {Manuel Clavel and Francisco Durán and Narciso Martí-Oliet},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#021},
  tags = {polytypic programming, programming, polytypic},
  researchr = {https://researchr.org/publication/ClavelDM00},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {36},
  pages = {339-360},
}

@inproceedings{ClavelDELMMT07e,
  title = {System Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_6},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_6},
  researchr = {https://researchr.org/publication/ClavelDELMMT07e},
  cites = {0},
  citedby = {0},
  pages = {131-157},
  booktitle = {maude},
}

@article{RomeroVD07,
  title = {Writing and executing ODP computational viewpoint specifications using Maude},
  author = {José Raúl Romero and Antonio Vallecillo and Francisco Durán},
  year = {2007},
  doi = {10.1016/j.csi.2006.11.004},
  url = {http://dx.doi.org/10.1016/j.csi.2006.11.004},
  tags = {writing},
  researchr = {https://researchr.org/publication/RomeroVD07},
  cites = {0},
  citedby = {0},
  journal = {csi},
  volume = {29},
  number = {4},
  pages = {481-498},
}

@article{RomeroRDV07,
  title = {Formal and Tool Support for Model Driven Engineering with Maude},
  author = {José Raúl Romero and José Eduardo Rivera and Francisco Durán and Antonio Vallecillo},
  year = {2007},
  url = {http://www.jot.fm/issues/issue_2007_10/paper10/index.html},
  tags = {meta-model, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/RomeroRDV07},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {6},
  number = {9},
  pages = {187-207},
}

@inproceedings{DuranELM00,
  title = {Principles of Mobile Maude},
  author = {Francisco Durán and Steven Eker and Patrick Lincoln and José Meseguer},
  year = {2000},
  tags = {principles, mobile},
  researchr = {https://researchr.org/publication/DuranELM00},
  cites = {0},
  citedby = {0},
  pages = {73-85},
  booktitle = {ma},
}

@inproceedings{ClavelDELMMT07s,
  title = {Core Maude Grammar},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_24},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_24},
  tags = {grammar},
  researchr = {https://researchr.org/publication/ClavelDELMMT07s},
  cites = {0},
  citedby = {0},
  pages = {751-756},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMT07,
  title = {Introduction},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_1},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_1},
  researchr = {https://researchr.org/publication/ClavelDELMMT07},
  cites = {0},
  citedby = {0},
  pages = {1-28},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMTPV07a,
  title = {Specifying Parameterized Data Structures in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Miguel Palomino and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_10},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_10},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ClavelDELMMTPV07a},
  cites = {0},
  citedby = {0},
  pages = {307-338},
  booktitle = {maude},
}

@article{ClavelDELMM98,
  title = {Metalevel computation in Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003},
  researchr = {https://researchr.org/publication/ClavelDELMM98},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {15},
  pages = {331-352},
}

@inproceedings{CabotDMVR08,
  title = {From programming to modeling: our experience with a distributed software engineering course},
  author = {Jordi  Cabot and Francisco Durán and Nathalie Moreno and Antonio Vallecillo and José Raúl Romero},
  year = {2008},
  doi = {10.1145/1368088.1368194},
  url = {http://doi.acm.org/10.1145/1368088.1368194},
  tags = {meta programming, meta-model, modeling, software engineering, model-driven engineering, programming, Meta-Environment},
  researchr = {https://researchr.org/publication/CabotDMVR08},
  cites = {0},
  citedby = {0},
  pages = {749-758},
  booktitle = {ICSE},
}

@inproceedings{ClavelDHLMO07,
  title = {The Maude Formal Tool Environment},
  author = {Manuel Clavel and Francisco Durán and Joe Hendrix and Salvador Lucas and José Meseguer and Peter Csaba Ölveczky},
  year = {2007},
  doi = {10.1007/978-3-540-73859-6_12},
  url = {http://dx.doi.org/10.1007/978-3-540-73859-6_12},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDHLMO07},
  cites = {0},
  citedby = {0},
  pages = {173-178},
  booktitle = {calco},
}

@inproceedings{ClavelDELMMT03,
  title = {The Maude 2.0 System},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2706/27060076.htm},
  researchr = {https://researchr.org/publication/ClavelDELMMT03},
  cites = {0},
  citedby = {0},
  pages = {76-87},
  booktitle = {RTA},
}

@article{DuranM00,
  title = {Parameterized Theories and Views in Full Maude 2.0},
  author = {Francisco Durán and José Meseguer},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#020},
  researchr = {https://researchr.org/publication/DuranM00},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {36},
  pages = {316-338},
}

@article{DuranO09,
  title = {A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude},
  author = {Francisco Durán and Peter Csaba Ölveczky},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.014},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.05.014},
  researchr = {https://researchr.org/publication/DuranO09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {238},
  number = {3},
  pages = {83-102},
}

@inproceedings{ClavelDELMMQ00,
  title = {Using Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1783/17830371.htm},
  researchr = {https://researchr.org/publication/ClavelDELMMQ00},
  cites = {0},
  citedby = {0},
  pages = {371-374},
  booktitle = {FASE},
}

@inproceedings{ClavelDELMMT07c,
  title = {Functional Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_4},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_4},
  researchr = {https://researchr.org/publication/ClavelDELMMT07c},
  cites = {0},
  citedby = {0},
  pages = {61-118},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMT07m,
  title = {User Interfaces and Metalanguage Applications},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_17},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_17},
  researchr = {https://researchr.org/publication/ClavelDELMMT07m},
  cites = {0},
  citedby = {0},
  pages = {523-555},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMT07f,
  title = {Module Operations},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_8},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_8},
  researchr = {https://researchr.org/publication/ClavelDELMMT07f},
  cites = {0},
  citedby = {0},
  pages = {185-230},
  booktitle = {maude},
}

@article{DuranRV05:0,
  title = {Using Maude to write and execute ODP information viewpoint specifications},
  author = {Francisco Durán and Manuel Roldán and Antonio Vallecillo},
  year = {2005},
  doi = {10.1016/j.csi.2004.10.008},
  url = {http://dx.doi.org/10.1016/j.csi.2004.10.008},
  researchr = {https://researchr.org/publication/DuranRV05%3A0},
  cites = {0},
  citedby = {0},
  journal = {csi},
  volume = {27},
  number = {6},
  pages = {597-620},
}

@inproceedings{ClavelDELMMT07o,
  title = {Object-Oriented Modules},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_19},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_19},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDELMMT07o},
  cites = {0},
  citedby = {0},
  pages = {599-642},
  booktitle = {maude},
}

@inproceedings{DuranRA11,
  title = {Tool Interoperability in the Maude Formal Environment},
  author = {Francisco Durán and Camilo Rocha and José M. Álvarez},
  year = {2011},
  doi = {10.1007/978-3-642-22944-2_30},
  url = {http://dx.doi.org/10.1007/978-3-642-22944-2_30},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DuranRA11},
  cites = {0},
  citedby = {0},
  pages = {400-406},
  booktitle = {calco},
}

@inproceedings{ClavelDELMMT07n,
  title = {Full Maude: Extending Core Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_18},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_18},
  researchr = {https://researchr.org/publication/ClavelDELMMT07n},
  cites = {0},
  citedby = {0},
  pages = {559-597},
  booktitle = {maude},
}

@article{DuranM99,
  title = {Structured Theories and Institutions},
  author = {Francisco Durán and José Meseguer},
  year = {1999},
  url = {http://www.elsevier.nl/locate/entcs/volume29.html},
  researchr = {https://researchr.org/publication/DuranM99},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {29},
  pages = {23-41},
}

@article{ClavelDELMMQ00:0,
  title = {Towards Maude 2.0},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019},
  researchr = {https://researchr.org/publication/ClavelDELMMQ00%3A0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {36},
  pages = {294-315},
}

@inproceedings{ClavelDELMMT07r,
  title = {Complete List of Maude Commands},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_23},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_23},
  tags = {completeness},
  researchr = {https://researchr.org/publication/ClavelDELMMT07r},
  cites = {0},
  citedby = {0},
  pages = {737-749},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMT07k,
  title = {Reflection, Metalevel Computation, and Strategies},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_14},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_14},
  tags = {computational reflection, reflection},
  researchr = {https://researchr.org/publication/ClavelDELMMT07k},
  cites = {0},
  citedby = {0},
  pages = {419-458},
  booktitle = {maude},
}

@inproceedings{DuranLM08,
  title = {MTT: The Maude Termination Tool (System Description)},
  author = {Francisco Durán and Salvador Lucas and José Meseguer},
  year = {2008},
  doi = {10.1007/978-3-540-71070-7_27},
  url = {http://dx.doi.org/10.1007/978-3-540-71070-7_27},
  tags = {termination},
  researchr = {https://researchr.org/publication/DuranLM08},
  cites = {0},
  citedby = {0},
  pages = {313-319},
  booktitle = {cade},
}

@inproceedings{DuranM10a,
  title = {A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories},
  author = {Francisco Durán and José Meseguer},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_7},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_7},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/DuranM10a},
  cites = {0},
  citedby = {0},
  pages = {86-103},
  booktitle = {WRLA},
}

@inproceedings{ClavelDELMMTRV07,
  title = {Mobile Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Adrián Riesco and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_16},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_16},
  tags = {mobile},
  researchr = {https://researchr.org/publication/ClavelDELMMTRV07},
  cites = {0},
  citedby = {0},
  pages = {485-522},
  booktitle = {maude},
}

@inproceedings{ClavelDEMS99,
  title = {Maude as a Formal Meta-tool},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and José Meseguer and Mark-Oliver Stehr},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDEMS99},
  cites = {0},
  citedby = {0},
  pages = {1684-1703},
  booktitle = {FM},
}

@article{ClavelDELMMQ02,
  title = {Maude: specification and programming in rewriting logic},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {2002},
  doi = {10.1016/S0304-3975(01)00359-0},
  url = {http://dx.doi.org/10.1016/S0304-3975(01)00359-0},
  tags = {graph-rewriting, logic programming, programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/ClavelDELMMQ02},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {285},
  number = {2},
  pages = {187-243},
}

@inproceedings{ClavelDELMMTBFHOPSSV07,
  title = {Some Tools},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Christiano Braga and Azadeh Farzan and Joe Hendrix and Peter Csaba Ölveczky and Miguel Palomino and Ralf Sasse and Mark-Oliver Stehr and Alberto Verdejo},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_21},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_21},
  researchr = {https://researchr.org/publication/ClavelDELMMTBFHOPSSV07},
  cites = {0},
  citedby = {0},
  pages = {667-693},
  booktitle = {maude},
}

@article{TroyaVallecilloDurnZschaler2012,
  title = {Model-Driven Performance Analysis of Rule-Based Domain Specific Visual Models},
  author = {Javier Troya and Antonio Vallecillo and Francisco Durán and Steffen  Zschaler},
  year = {2012},
  doi = {10.1016/j.infsof.2012.07.009},
  url = {http://dx.doi.org/10.1016/j.infsof.2012.07.009},
  tags = {rule-based, meta-model, domain analysis, analysis, rules, Meta-Environment},
  researchr = {https://researchr.org/publication/TroyaVallecilloDurnZschaler2012},
  cites = {0},
  citedby = {0},
  journal = {Information and Software Technology},
}

@article{DuranRBBEKKMSV09,
  title = {The Second Rewrite Engines Competition},
  author = {Francisco Durán and Manuel Roldán and Emilie  Balland and Mark G. J. van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Shevchenko and Eelco Visser},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.025},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.05.025},
  tags = {rewrite engine, SDF, term rewriting, graph-rewriting, C++, logic, rewriting logic, rewriting, rewriting strategies, ASF+SDF, Stratego},
  researchr = {https://researchr.org/publication/DuranRBBEKKMSV09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {238},
  number = {3},
  pages = {281-291},
}

@inproceedings{ClavelDELMMT07i,
  title = {Model Checking Invariants Through Search},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_12},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_12},
  tags = {model checking, meta-model, Meta-Environment, search},
  researchr = {https://researchr.org/publication/ClavelDELMMT07i},
  cites = {0},
  citedby = {0},
  pages = {373-384},
  booktitle = {maude},
}

@inproceedings{ClavelDEELMMT09,
  title = {Unification and Narrowing in Maude 2.4},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Santiago Escobar and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2009},
  doi = {10.1007/978-3-642-02348-4_27},
  url = {http://dx.doi.org/10.1007/978-3-642-02348-4_27},
  researchr = {https://researchr.org/publication/ClavelDEELMMT09},
  cites = {0},
  citedby = {0},
  pages = {380-390},
  booktitle = {RTA},
}

@inproceedings{ClavelDELMMT07h,
  title = {Object-Based Programming},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_11},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_11},
  tags = {object-oriented programming, rule-based, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/ClavelDELMMT07h},
  cites = {0},
  citedby = {0},
  pages = {339-372},
  booktitle = {maude},
}

@article{ClavelDELMMQ98,
  title = {Maude as a metalanguage},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#016},
  researchr = {https://researchr.org/publication/ClavelDELMMQ98},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {15},
  pages = {147-160},
}

@inproceedings{DuranM10,
  title = {A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications},
  author = {Francisco Durán and José Meseguer},
  year = {2010},
  doi = {10.1007/978-3-642-16310-4_6},
  url = {http://dx.doi.org/10.1007/978-3-642-16310-4_6},
  researchr = {https://researchr.org/publication/DuranM10},
  cites = {0},
  citedby = {0},
  pages = {69-85},
  booktitle = {WRLA},
}

@inproceedings{AlbarranDV01,
  title = {From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition},
  author = {Antonio Albarrán and Francisco Durán and Antonio Vallecillo},
  year = {2001},
  researchr = {https://researchr.org/publication/AlbarranDV01},
  cites = {0},
  citedby = {0},
  pages = {419-434},
  booktitle = {jisbd},
}

@inproceedings{Duran00,
  title = {The Extensibility of Maude s Module Algebra},
  author = {Francisco Durán},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1816/18160422.htm},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Duran00},
  cites = {0},
  citedby = {0},
  pages = {422-437},
  booktitle = {amast},
}

@article{DuranV03,
  title = {Formalizing ODP enterprise specifications in Maude},
  author = {Francisco Durán and Antonio Vallecillo},
  year = {2003},
  doi = {10.1016/S0920-5489(02)00121-6},
  url = {http://dx.doi.org/10.1016/S0920-5489(02)00121-6},
  researchr = {https://researchr.org/publication/DuranV03},
  cites = {0},
  citedby = {0},
  journal = {csi},
  volume = {25},
  number = {2},
  pages = {83-102},
}

@inproceedings{ClavelDELMMT07p,
  title = {A Sampler of Application Areas},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_20},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_20},
  researchr = {https://researchr.org/publication/ClavelDELMMT07p},
  cites = {0},
  citedby = {0},
  pages = {645-665},
  booktitle = {maude},
}

@inproceedings{ClavelDELMMQ99,
  title = {The Maude System},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Jose F. Quesada},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm},
  researchr = {https://researchr.org/publication/ClavelDELMMQ99},
  cites = {0},
  citedby = {0},
  pages = {240-243},
  booktitle = {RTA},
}

@article{DuranEL05a,
  title = {On-demand Evaluation for Maude},
  author = {Francisco Durán and Santiago Escobar and Salvador Lucas},
  year = {2005},
  doi = {10.1016/j.entcs.2004.07.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.07.013},
  researchr = {https://researchr.org/publication/DuranEL05a},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {124},
  number = {1},
  pages = {25-39},
}

@inproceedings{ClavelDELMMT07a,
  title = {Using Maude},
  author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  year = {2007},
  doi = {10.1007/978-3-540-71999-1_2},
  url = {http://dx.doi.org/10.1007/978-3-540-71999-1_2},
  researchr = {https://researchr.org/publication/ClavelDELMMT07a},
  cites = {0},
  citedby = {0},
  pages = {31-37},
  booktitle = {maude},
}
@proceedings{maude:2007,
  title = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  year = {2007},
  tags = {program verification, graph-rewriting, logic programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/maude%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic},
  conference = {maude},
  editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
  volume = {4350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71940-3},
}