@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 = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000}, editor = {María Alpuente}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {Higher-Order and Symbolic Computation}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {Electronic Notes in Theoretical Computer Science}, 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 = {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 = {Peter Csaba Ölveczky}, volume = {6381}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16309-8}, } @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 = {Theoretical Computer Science}, 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 = {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 = {Peter Csaba Ölveczky}, volume = {6381}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16309-8}, } @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 = {Science of Computer Programming}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {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 = {José A. Moinhos Cordeiro and Haim Kilov}, publisher = {ICEIS Press}, isbn = {972-98050-5-9}, } @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 = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004}, editor = {Nevin Heintze and Peter Sestoft}, publisher = {ACM}, isbn = {1-58113-835-0}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {Electronic Notes in Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Computer Standards & Interfaces}, 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 = {Journal of Object Technology}, 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 = {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 = {David Kotz and Friedemann Mattern}, volume = {1882}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41052-X}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008}, editor = {Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn}, publisher = {ACM}, isbn = {978-1-60558-079-1}, } @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 = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, volume = {4624}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-73857-2}, } @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 = {Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings}, editor = {Robert Nieuwenhuis}, volume = {2706}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40254-3}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {Electronic Notes in Theoretical Computer Science}, 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 = {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 = {T. S. E. Maibaum}, volume = {1783}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67261-3}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Computer Standards & Interfaces}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings}, editor = {Andrea Corradini and Bartek Klin and Corina Cîrstea}, volume = {6859}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-22943-5}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Theoretical Computer Science}, 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 = {Electronic Notes in Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, volume = {5195}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-71069-1}, } @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 = {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 = {Peter Csaba Ölveczky}, volume = {6381}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16309-8}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, volume = {1709}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66588-9}, } @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 = {Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings}, editor = {Ralf Treinen}, volume = {5595}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-02347-7}, } @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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {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 = {Peter Csaba Ölveczky}, volume = {6381}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16309-8}, } @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 = {VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real)}, editor = {Oscar Díaz and Arantza Illarramendi and Mario Piattini}, isbn = {84-699-6275-2}, } @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 = {Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, editor = {Teodor Rus}, volume = {1816}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67530-2}, } @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 = {Computer Standards & Interfaces}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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 = {Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings}, editor = {Paliath Narendran and Michaël Rusinowitch}, volume = {1631}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66201-4}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, 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}, } @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}, }