publications: - title: "The Reflective Design of Maude s Module Algebra" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" year: "2000" tags: - " algebra" - "design" researchr: "https://researchr.org/publication/Duran00%3A0" cites: 0 citedby: 0 pages: "128-134" booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000" editor: - name: "María Alpuente" link: "http://www.dsic.upv.es/~alpuente" kind: "inproceedings" key: "Duran00:0" - title: "LTL Model Checking" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_13" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07j" - title: "A Conference Reviewing System in Mobile Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Alberto Verdejo" link: "https://researchr.org/alias/alberto-verdejo" year: "2002" doi: "http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#008" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "71" pages: "127-143" kind: "article" key: "DuranV02" - title: "A Hierarchy of Data Types: From Trees to Sets" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_5" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07d" - title: "Using UML and Maude for Writing and Reasoning about ODP Policies" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Javier Herrador" link: "https://researchr.org/alias/javier-herrador" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2003" doi: "http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390015abs.htm" links: doi: "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: "4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy" publisher: "IEEE Computer Society" isbn: "0-7695-1933-4" kind: "inproceedings" key: "DuranHV03" - title: "Playing with Maude" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" - name: "Miguel Palomino" link: "https://researchr.org/alias/miguel-palomino" - name: "Alberto Verdejo" link: "https://researchr.org/alias/alberto-verdejo" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_7" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMTPV07" - title: "New Evaluation Commands for Maude Within Full Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Santiago Escobar" link: "https://researchr.org/alias/santiago-escobar" - name: "Salvador Lucas" link: "http://users.dsic.upv.es/~slucas/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.014" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.014" researchr: "https://researchr.org/publication/DuranEL05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "117" pages: "263-284" kind: "article" key: "DuranEL05" - title: "Predefined Data Modules" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_9" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07g" - title: "Syntax and Basic Parsing" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_3" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07b" - title: "An extensible module algebra for Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "1998" doi: "https://doi.org/10.1016/S1571-0661(05)80012-X" links: doi: "https://doi.org/10.1016/S1571-0661(05)80012-X" tags: - " algebra" researchr: "https://researchr.org/publication/DuranM98" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "15" pages: "174-195" kind: "article" key: "DuranM98" - title: "Proving operational termination of membership equational programs" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Salvador Lucas" link: "http://users.dsic.upv.es/~slucas/" - name: "Claude Marché" link: "https://researchr.org/alias/claude-march%C3%A9" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Xavier Urbain" link: "https://researchr.org/alias/xavier-urbain" year: "2008" doi: "http://dx.doi.org/10.1007/s10990-008-9028-2" links: doi: "http://dx.doi.org/10.1007/s10990-008-9028-2" tags: - "termination" researchr: "https://researchr.org/publication/DuranLMMU08" cites: 0 citedby: 0 journal: "Higher-Order and Symbolic Computation" volume: "21" number: "1-2" pages: "59-88" kind: "article" key: "DuranLMMU08" - title: "Debugging and Troubleshooting" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_22" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07q" - title: "A Distributed Implementation of Mobile Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Adrián Riesco" link: "https://researchr.org/alias/adri%C3%A1n-riesco" - name: "Alberto Verdejo" link: "https://researchr.org/alias/alberto-verdejo" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.011" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.011" tags: - "mobile" researchr: "https://researchr.org/publication/DuranRV07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "176" number: "4" pages: "113-131" kind: "article" key: "DuranRV07" - title: "Formal Specification and Analysis of Domain Specific Models Using Maude" author: - name: "José Eduardo Rivera" link: "https://researchr.org/alias/jos%C3%A9-eduardo-rivera" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Antonio Vallecillo" link: "https://researchr.org/alias/antonio-vallecillo" year: "2009" doi: "http://dx.doi.org/10.1177/0037549709341635" links: doi: "http://dx.doi.org/10.1177/0037549709341635" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/simulation/RiveraDV09" 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" kind: "article" key: "RiveraDV09-0" - title: "Maude s Internal Strategies" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.022" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.022" researchr: "https://researchr.org/publication/Duran05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "124" number: "2" pages: "11-15" kind: "article" key: "Duran05" - title: "The Third Rewrite Engines Competition" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Jean-Christophe Bach" link: "http://www.loria.fr/~bachjeje" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Luc Engelen" link: "https://researchr.org/alias/luc-engelen" - name: "Maartje de Jonge" link: "https://researchr.org/profile/maartjedejonge/publications" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Lennart C. L. Kats" link: "http://www.lclnet.nl/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16" abstract: "This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it." links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranRBBBCEEJK10" tags: - "graph-rewriting" - "C++" - "rewriting" researchr: "https://researchr.org/publication/DuranRBBBCEEJK10" cites: 0 citedby: 0 pages: "243-261" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "DuranRBBBCEEJK10" - title: "Structured theories and institutions" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2003" doi: "http://dx.doi.org/10.1016/S0304-3975(03)00312-8" links: doi: "http://dx.doi.org/10.1016/S0304-3975(03)00312-8" researchr: "https://researchr.org/publication/DuranM03" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "309" number: "1-3" pages: "357-380" kind: "article" key: "DuranM03" - title: "On the Behavioral Semantics of Real-Time Domain Specific Visual Languages" author: - name: "José Eduardo Rivera" link: "https://researchr.org/alias/jos%C3%A9-eduardo-rivera" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Antonio Vallecillo" link: "https://researchr.org/alias/antonio-vallecillo" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_12" links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_12" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/RiveraDV10" tags: - "semantics" - "domain-specific language" researchr: "https://researchr.org/publication/RiveraDV10" cites: 0 citedby: 0 pages: "174-190" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "RiveraDV10" - title: "Maude s module algebra" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2007" doi: "http://dx.doi.org/10.1016/j.scico.2006.07.002" links: doi: "http://dx.doi.org/10.1016/j.scico.2006.07.002" tags: - " algebra" researchr: "https://researchr.org/publication/DuranM07" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "66" number: "2" pages: "125-153" kind: "article" key: "DuranM07" - title: "Metaprogramming Applications" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_15" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07l" - title: "Writing ODP Enterprise Specifications in Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2001" tags: - "writing" researchr: "https://researchr.org/publication/DuranV01" cites: 0 citedby: 0 pages: "55-68" booktitle: "Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, WOODPECKER 2001, In " editor: - name: "José A. Moinhos Cordeiro" link: "https://researchr.org/alias/jos%C3%A9-a.-moinhos-cordeiro" - name: "Haim Kilov" link: "https://researchr.org/alias/haim-kilov" publisher: "ICEIS Press" isbn: "972-98050-5-9" kind: "inproceedings" key: "DuranV01" - title: "Proving termination of membership equational programs" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Salvador Lucas" link: "https://researchr.org/alias/salvador-lucas" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Claude Marché" link: "https://researchr.org/alias/claude-march%C3%A9" - name: "Xavier Urbain" link: "https://researchr.org/alias/xavier-urbain" year: "2004" doi: "http://doi.acm.org/10.1145/1014007.1014022" links: doi: "http://doi.acm.org/10.1145/1014007.1014022" tags: - "termination" researchr: "https://researchr.org/publication/DuranLMMU04" cites: 0 citedby: 0 pages: "147-158" booktitle: "Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004" editor: - name: "Nevin Heintze" link: "https://researchr.org/alias/nevin-heintze" - name: "Peter Sestoft" link: "https://researchr.org/alias/peter-sestoft" publisher: "ACM" isbn: "1-58113-835-0" kind: "inproceedings" key: "DuranLMMU04" - title: "Invariant-Driven Strategies for Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.018" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.018" researchr: "https://researchr.org/publication/DuranRV05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "124" number: "2" pages: "17-28" kind: "article" key: "DuranRV05" - title: "On the modularity and reusability of the rule-based specification of QoS properties of systems" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" 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 " kind: "inproceedings" key: "DuranZschaler2012" - title: "Polytypic Programming in Maude" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#021" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "36" pages: "339-360" kind: "article" key: "ClavelDM00" - title: "System Modules" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_6" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07e" - title: "Writing and executing ODP computational viewpoint specifications using Maude" author: - name: "José Raúl Romero" link: "https://researchr.org/alias/jos%C3%A9-ra%C3%BAl-romero" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" year: "2007" doi: "http://dx.doi.org/10.1016/j.csi.2006.11.004" links: doi: "http://dx.doi.org/10.1016/j.csi.2006.11.004" tags: - "writing" researchr: "https://researchr.org/publication/RomeroVD07" cites: 0 citedby: 0 journal: "Computer Standards & Interfaces" volume: "29" number: "4" pages: "481-498" kind: "article" key: "RomeroVD07" - title: "Formal and Tool Support for Model Driven Engineering with Maude" author: - name: "José Raúl Romero" link: "https://researchr.org/alias/jos%C3%A9-ra%C3%BAl-romero" - name: "José Eduardo Rivera" link: "https://researchr.org/alias/jos%C3%A9-eduardo-rivera" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2007" doi: "http://www.jot.fm/issues/issue_2007_10/paper10/index.html" links: doi: "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: "Journal of Object Technology" volume: "6" number: "9" pages: "187-207" kind: "article" key: "RomeroRDV07" - title: "Principles of Mobile Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2000" tags: - "principles" - "mobile" researchr: "https://researchr.org/publication/DuranELM00" cites: 0 citedby: 0 pages: "73-85" booktitle: "Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürch, Switzerland, September 13-15, 2000, Proceedings" editor: - name: "David Kotz" link: "https://researchr.org/alias/david-kotz" - name: "Friedemann Mattern" link: "https://researchr.org/alias/friedemann-mattern" volume: "1882" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41052-X" kind: "inproceedings" key: "DuranELM00" - title: "Core Maude Grammar" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_24" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07s" - title: "Introduction" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_1" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07" - title: "Specifying Parameterized Data Structures in Maude" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" - name: "Miguel Palomino" link: "https://researchr.org/alias/miguel-palomino" - name: "Alberto Verdejo" link: "https://researchr.org/alias/alberto-verdejo" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_10" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMTPV07a" - title: "Metalevel computation in Maude" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#003" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "15" pages: "331-352" kind: "article" key: "ClavelDELMM98" - title: "From programming to modeling: our experience with a distributed software engineering course" author: - name: "Jordi Cabot" link: "http://jordicabot.com/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Nathalie Moreno" link: "https://researchr.org/alias/nathalie-moreno" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" - name: "José Raúl Romero" link: "https://researchr.org/alias/jos%C3%A9-ra%C3%BAl-romero" year: "2008" doi: "http://doi.acm.org/10.1145/1368088.1368194" links: doi: "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: "30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008" editor: - name: "Wilhelm Schäfer" link: "https://researchr.org/alias/wilhelm-sch%C3%A4fer" - name: "Matthew B. Dwyer" link: "https://researchr.org/alias/matthew-b.-dwyer" - name: "Volker Gruhn" link: "https://researchr.org/alias/volker-gruhn" publisher: "ACM" isbn: "978-1-60558-079-1" kind: "inproceedings" key: "CabotDMVR08" - title: "The Maude Formal Tool Environment" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Joe Hendrix" link: "https://researchr.org/alias/joe-hendrix" - name: "Salvador Lucas" link: "http://users.dsic.upv.es/~slucas/" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_12" links: doi: "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: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings" editor: - name: "Till Mossakowski" link: "http://www.dfki.de/sks/till" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Magne Haveraaen" link: "http://www.ii.uib.no/~magne/" volume: "4624" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73857-2" kind: "inproceedings" key: "ClavelDHLMO07" - title: "The Maude 2.0 System" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060076.htm" links: doi: "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: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings" editor: - name: "Robert Nieuwenhuis" link: "https://researchr.org/alias/robert-nieuwenhuis" volume: "2706" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40254-3" kind: "inproceedings" key: "ClavelDELMMT03" - title: "Parameterized Theories and Views in Full Maude 2.0" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#020" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "36" pages: "316-338" kind: "article" key: "DuranM00" - title: "A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.014" links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.014" researchr: "https://researchr.org/publication/DuranO09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "238" number: "3" pages: "83-102" kind: "article" key: "DuranO09" - title: "Using Maude" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Jose F. Quesada" link: "https://researchr.org/alias/jose-f.-quesada" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1783/17830371.htm" links: doi: "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: "Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings" editor: - name: "T. S. E. Maibaum" link: "https://researchr.org/alias/t.-s.-e.-maibaum" volume: "1783" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67261-3" kind: "inproceedings" key: "ClavelDELMMQ00" - title: "Functional Modules" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_4" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07c" - title: "User Interfaces and Metalanguage Applications" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_17" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07m" - title: "Module Operations" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_8" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07f" - title: "Using Maude to write and execute ODP information viewpoint specifications" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2005" doi: "http://dx.doi.org/10.1016/j.csi.2004.10.008" links: doi: "http://dx.doi.org/10.1016/j.csi.2004.10.008" researchr: "https://researchr.org/publication/DuranRV05%3A0" cites: 0 citedby: 0 journal: "Computer Standards & Interfaces" volume: "27" number: "6" pages: "597-620" kind: "article" key: "DuranRV05:0" - title: "Object-Oriented Modules" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_19" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07o" - title: "Tool Interoperability in the Maude Formal Environment" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Camilo Rocha" link: "https://researchr.org/alias/camilo-rocha" - name: "José M. Álvarez" link: "https://researchr.org/alias/jos%C3%A9-m.-%C3%A1lvarez" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-22944-2_30" links: doi: "http://dx.doi.org/10.1007/978-3-642-22944-2_30" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/calco/DuranRA11" tags: - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/DuranRA11" cites: 0 citedby: 0 pages: "400-406" booktitle: "Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Bartek Klin" link: "https://researchr.org/alias/bartek-klin" - name: "Corina Cîrstea" link: "https://researchr.org/alias/corina-c%26icirc%3Brstea" volume: "6859" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-22943-5" kind: "inproceedings" key: "DuranRA11" - title: "Full Maude: Extending Core Maude" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_18" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07n" - title: "Structured Theories and Institutions" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "1999" doi: "http://www.elsevier.nl/locate/entcs/volume29.html" links: doi: "http://www.elsevier.nl/locate/entcs/volume29.html" researchr: "https://researchr.org/publication/DuranM99" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "29" pages: "23-41" kind: "article" key: "DuranM99" - title: "Towards Maude 2.0" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Jose F. Quesada" link: "https://researchr.org/alias/jose-f.-quesada" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#019" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "36" pages: "294-315" kind: "article" key: "ClavelDELMMQ00:0" - title: "Complete List of Maude Commands" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_23" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07r" - title: "Reflection, Metalevel Computation, and Strategies" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_14" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07k" - title: "MTT: The Maude Termination Tool (System Description)" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Salvador Lucas" link: "http://users.dsic.upv.es/~slucas/" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-71070-7_27" links: doi: "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: "Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings" editor: - name: "Alessandro Armando" link: "https://researchr.org/alias/alessandro-armando" - name: "Peter Baumgartner" link: "https://researchr.org/alias/peter-baumgartner" - name: "Gilles Dowek" link: "https://researchr.org/alias/gilles-dowek" volume: "5195" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71069-1" kind: "inproceedings" key: "DuranLM08" - title: "A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_7" links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_7" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranM10a" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/DuranM10a" cites: 0 citedby: 0 pages: "86-103" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "DuranM10a" - title: "Mobile Maude" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" - name: "Adrián Riesco" link: "https://researchr.org/alias/adri%C3%A1n-riesco" - name: "Alberto Verdejo" link: "https://researchr.org/alias/alberto-verdejo" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_16" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMTRV07" - title: "Maude as a Formal Meta-tool" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Mark-Oliver Stehr" link: "https://researchr.org/alias/mark-oliver-stehr" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm" links: doi: "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 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II" editor: - name: "Jeannette M. Wing" link: "http://www.cs.cmu.edu/~wing/" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" - name: "Jim Davies" link: "https://researchr.org/alias/jim-davies" volume: "1709" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66588-9" kind: "inproceedings" key: "ClavelDEMS99" - title: "Maude: specification and programming in rewriting logic" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Jose F. Quesada" link: "https://researchr.org/alias/jose-f.-quesada" year: "2002" doi: "http://dx.doi.org/10.1016/S0304-3975(01)00359-0" abstract: "Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude." links: doi: "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: "Theoretical Computer Science" volume: "285" number: "2" pages: "187-243" kind: "article" key: "ClavelDELMMQ02" - title: "Some Tools" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" - name: "Christiano Braga" link: "https://researchr.org/alias/christiano-braga" - name: "Azadeh Farzan" link: "https://researchr.org/alias/azadeh-farzan" - name: "Joe Hendrix" link: "https://researchr.org/alias/joe-hendrix" - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" - name: "Miguel Palomino" link: "https://researchr.org/alias/miguel-palomino" - name: "Ralf Sasse" link: "https://researchr.org/alias/ralf-sasse" - name: "Mark-Oliver Stehr" link: "https://researchr.org/alias/mark-oliver-stehr" - name: "Alberto Verdejo" link: "https://researchr.org/alias/alberto-verdejo" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_21" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMTBFHOPSSV07" - title: "Model-Driven Performance Analysis of Rule-Based Domain Specific Visual Models" author: - name: "Javier Troya" link: "https://researchr.org/alias/javier-troya" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steffen Zschaler" link: "http://www.steffen-zschaler.de/" year: "2012" doi: "http://dx.doi.org/10.1016/j.infsof.2012.07.009" links: doi: "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" kind: "article" key: "TroyaVallecilloDurnZschaler2012" - title: "The Second Rewrite Engines Competition" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Lennart C. L. Kats" link: "http://www.lclnet.nl/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Ruslan Shevchenko" link: "https://researchr.org/alias/ruslan-shevchenko" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025" abstract: "The 2nd Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated ve systems, namely ASF+SDF, Maude, Stratego/XT, Termware, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions." links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "238" number: "3" pages: "281-291" kind: "article" key: "DuranRBBEKKMSV09" - title: "Model Checking Invariants Through Search" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_12" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07i" - title: "Unification and Narrowing in Maude 2.4" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Santiago Escobar" link: "https://researchr.org/alias/santiago-escobar" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_27" links: doi: "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: "Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings" editor: - name: "Ralf Treinen" link: "https://researchr.org/alias/ralf-treinen" volume: "5595" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02347-7" kind: "inproceedings" key: "ClavelDEELMMT09" - title: "Object-Based Programming" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_11" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07h" - title: "Maude as a metalanguage" author: - name: "Manuel Clavel" link: "https://researchr.org/alias/manuel-clavel" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "https://researchr.org/alias/steven-eker" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Jose F. Quesada" link: "https://researchr.org/alias/jose-f.-quesada" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#016" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "15" pages: "147-160" kind: "article" key: "ClavelDELMMQ98" - title: "A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_6" links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_6" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranM10" researchr: "https://researchr.org/publication/DuranM10" cites: 0 citedby: 0 pages: "69-85" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "DuranM10" - title: "From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition" author: - name: "Antonio Albarrán" link: "https://researchr.org/alias/antonio-albarr%C3%A1n" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2001" researchr: "https://researchr.org/publication/AlbarranDV01" cites: 0 citedby: 0 pages: "419-434" booktitle: "VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real)" editor: - name: "Oscar Díaz" link: "https://researchr.org/alias/oscar-d%C3%ADaz" - name: "Arantza Illarramendi" link: "https://researchr.org/alias/arantza-illarramendi" - name: "Mario Piattini" link: "https://researchr.org/alias/mario-piattini" isbn: "84-699-6275-2" kind: "inproceedings" key: "AlbarranDV01" - title: "The Extensibility of Maude s Module Algebra" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160422.htm" links: doi: "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: "Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings" editor: - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" volume: "1816" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67530-2" kind: "inproceedings" key: "Duran00" - title: "Formalizing ODP enterprise specifications in Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Antonio Vallecillo" link: "http://www.lcc.uma.es/~av/" year: "2003" doi: "http://dx.doi.org/10.1016/S0920-5489(02)00121-6" links: doi: "http://dx.doi.org/10.1016/S0920-5489(02)00121-6" researchr: "https://researchr.org/publication/DuranV03" cites: 0 citedby: 0 journal: "Computer Standards & Interfaces" volume: "25" number: "2" pages: "83-102" kind: "article" key: "DuranV03" - title: "A Sampler of Application Areas" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_20" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07p" - title: "The Maude System" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Jose F. Quesada" link: "https://researchr.org/alias/jose-f.-quesada" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1631/16310240.htm" links: doi: "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: "Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings" editor: - name: "Paliath Narendran" link: "https://researchr.org/alias/paliath-narendran" - name: "Michaël Rusinowitch" link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch" volume: "1631" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66201-4" kind: "inproceedings" key: "ClavelDELMMQ99" - title: "On-demand Evaluation for Maude" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Santiago Escobar" link: "https://researchr.org/alias/santiago-escobar" - name: "Salvador Lucas" link: "http://users.dsic.upv.es/~slucas/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.013" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.07.013" researchr: "https://researchr.org/publication/DuranEL05a" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "124" number: "1" pages: "25-39" kind: "article" key: "DuranEL05a" - title: "Using Maude" author: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71999-1_2" links: doi: "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: "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic" editor: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "inproceedings" key: "ClavelDELMMT07a" - 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: - name: "Manuel Clavel" link: "http://maude.sip.ucm.es/~clavel/" - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" volume: "4350" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71940-3" kind: "proceedings" key: "maude:2007"