share record
persistent URL:
Thomas Genet : Towards Static Analysis of Functional Programs Using Tree Automata Completion. WRLA 2014 : 147-161 share record
persistent URL:
Si Liu , Peter Csaba Ölveczky , José Meseguer : A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014 : 162-177 share record
persistent URL:
Salvador Lucas , José Meseguer : Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. WRLA 2014 : 178-194 share record
persistent URL:
Salvador Lucas , José Meseguer : 2D Dependency Pairs for Proving Operational Termination of CTRSs. WRLA 2014 : 195-212 share record
persistent URL:
Peter D. Mosses , Ferdinand Vesely : FunKons: Component-Based Semantics in K. WRLA 2014 : 213-229 share record
persistent URL:
Peter Csaba Ölveczky : Real-Time Maude and Its Applications. WRLA 2014 : 42-79 share record
persistent URL:
Adrián Riesco : An Integration of CafeOBJ into Full Maude. WRLA 2014 : 230-246 share record
persistent URL:
Camilo Rocha , José Meseguer , César A. Muñoz : Rewriting Modulo SMT and Open System Analysis. WRLA 2014 : 247-262 share record
persistent URL:
Mu Sun , José Meseguer : Formal Specification of Button-Related Fault-Tolerance Micropatterns. WRLA 2014 : 263-279 share record
persistent URL:
Santiago Escobar : Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8663, Springer 2014 , ISBN 978-3-319-12903-7 [contents] 2012 share record
persistent URL:
Andrei Arusoaie , Traian-Florin Serbanuta , Chucky Ellison , Grigore Rosu : Making Maude Definitions More Interactive. WRLA 2012 : 83-98 share record
persistent URL:
Kyungmin Bae , José Meseguer : Model Checking LTLR Formulas under Localized Fairness. WRLA 2012 : 99-117 share record
persistent URL:
Ananda Basu , Saddek Bensalem , Marius Bozga , Joseph Sifakis : Rigorous Component-Based System Design - (Invited Paper). WRLA 2012 : 1-9 share record
persistent URL:
Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch-Lafuente , Andrea Vandin : Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012 : 118-138 share record
persistent URL:
Muhammad Fadlisyah , Peter Csaba Ölveczky , Erika Ábrahám : Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA 2012 : 139-161 share record
persistent URL:
Raúl Gutiérrez , José Meseguer , Camilo Rocha : Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012 : 162-181 share record
persistent URL:
Mark Hills , Paul Klint , Jurgen J. Vinju : Program Analysis Scenarios in Rascal. WRLA 2012 : 10-30 share record
persistent URL:
Daniela Lepri , Erika Ábrahám , Peter Csaba Ölveczky : Timed CTL Model Checking in Real-Time Maude. WRLA 2012 : 182-200 share record
persistent URL:
Dorel Lucanu , Traian-Florin Serbanuta , Grigore Rosu : K Framework Distilled. WRLA 2012 : 31-53 share record
persistent URL:
Adrián Riesco : Using Narrowing to Test Maude Specifications. WRLA 2012 : 201-220 export record
dblp key:
conf/wrla/TushkanovaGRK12 share record
persistent URL:
Elena Tushkanova , Alain Giorgetti , Christophe Ringeissen , Olga Kouchnarenko : A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA 2012 : 221-239 share record
persistent URL:
Martin Wirsing , Jonas Eckhardt , Tobias Mühlbauer , José Meseguer : Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012 : 54-82 share record
persistent URL:
Francisco Durán : Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7571, Springer 2012 , ISBN 978-3-642-34004-8 [contents] 2010 share record
persistent URL:
Beatriz Alarcón , Salvador Lucas , José Meseguer : A Dependency Pair Framework for A OR C -Termination. WRLA 2010 : 35-51 share record
persistent URL:
Irina Mariuca Asavoae , Mihail Asavoae : Collecting Semantics under Predicate Abstraction in the K Framework. WRLA 2010 : 123-139 share record
persistent URL:
Kyungmin Bae , José Meseguer : The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA 2010 : 208-225 share record
persistent URL:
Francisco Durán , José Meseguer : A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. WRLA 2010 : 69-85 share record
persistent URL:
Francisco Durán , José Meseguer : A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. WRLA 2010 : 86-103 export record
dblp key:
conf/wrla/DuranRBBBCEEJK10 share record
persistent URL:
Francisco Durán , Manuel Roldán , Jean-Christophe Bach , Emilie Balland , Mark van den Brand , James R. Cordy , Steven Eker , Luc Engelen , Maartje de Jonge , Karl Trygve Kalleberg , Lennart C. L. Kats , Pierre-Etienne Moreau , Eelco Visser : The Third Rewrite Engines Competition. WRLA 2010 : 243-261 share record
persistent URL:
Santiago Escobar , Ralf Sasse , José Meseguer : Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010 : 52-68