share record
persistent URL:
Francisco Durán , José Meseguer , Camilo Rocha : Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS 2018 : 184-204 share record
persistent URL:
Francisco Durán , Camilo Rocha , Gwen Salaün : Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA@ETAPS 2018 : 76-97 share record
persistent URL:
Santiago Escobar : Multi-paradigm Programming in Maude. WRLA@ETAPS 2018 : 26-44 share record
persistent URL:
Hubert Garavel , Mohammad-Ali Tabikh , Imad-Seddik Arrada : Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. WRLA@ETAPS 2018 : 1-25 share record
persistent URL:
Thomas Genet , Tristan Gillard , Timothée Haudebourg , Sébastien Lê Cong : Extending Timbuk to Verify Functional Programs. WRLA@ETAPS 2018 : 153-163 share record
persistent URL:
Si Liu , Peter Csaba Ölveczky , Qi Wang , José Meseguer : Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018 : 136-152 share record
persistent URL:
Óscar Martín , Alberto Verdejo , Narciso Martí-Oliet : Parameterized Programming for Compositional System Specification. WRLA@ETAPS 2018 : 59-75 share record
persistent URL:
José Meseguer : Generalized Rewrite Theories and Coherence Completion. WRLA@ETAPS 2018 : 164-183 share record
persistent URL:
Carlos Olarte , Elaine Pimentel , Camilo Rocha : Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS 2018 : 115-135 share record
persistent URL:
Sergio Ramírez , Miguel Romero , Camilo Rocha , Frank Valencia : Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS 2018 : 226-244 share record
persistent URL:
Adrián Riesco : MUnit: A Unit Framework for Maude. WRLA@ETAPS 2018 : 45-58 share record
persistent URL:
Vlad Rusu : Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science 11152, Springer 2018 , ISBN 978-3-319-99839-8 [contents] 2016 share record
persistent URL:
Shiji Bijo , Einar Broch Johnsen , Ka I Pun , Silvia Lizeth Tapia Tarifa : A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016 : 47-63 share record
persistent URL:
Yohan Boichut , Vivien Pelletier , Pierre Réty : Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. WRLA 2016 : 64-81 share record
persistent URL:
Yuri Gil Dantas , Marcilio O. O. Lemos , Iguatemi E. Fonseca , Vivek Nigam : Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA 2016 : 82-97 share record
persistent URL:
Maribel Fernández , Hélène Kirchner , Bruno Pinaud , Jason Vallet : Labelled Graph Rewriting Meets Social Networks. WRLA 2016 : 1-25 share record
persistent URL:
Salvador Lucas : Use of Logical Models for Proving Operational Termination in General Logics. WRLA 2016 : 26-46 share record
persistent URL:
Óscar Martín , Alberto Verdejo , Narciso Martí-Oliet : Egalitarian State-Transition Systems. WRLA 2016 : 98-117 export record
dblp key:
conf/wrla/Moreno-DelgadoD16 share record
persistent URL:
Antonio Moreno-Delgado , Francisco Durán , José Meseguer : Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. WRLA 2016 : 118-133 share record
persistent URL:
Vlad Rusu , Andrei Arusoaie : Proving Reachability-Logic Formulas Incrementally. WRLA 2016 : 134-151 share record
persistent URL:
Traian-Florin Serbanuta , Liviu P. Dinu : Maximally Parallel Contextual String Rewriting. WRLA 2016 : 152-166 share record
persistent URL:
Stephen Skeirik , José Meseguer : Metalevel Algorithms for Variant Satisfiability. WRLA 2016 : 167-184 share record
persistent URL:
Dorel Lucanu : Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9942, Springer 2016 , ISBN 978-3-319-44801-5 [contents] 2014 share record
persistent URL:
Min Zhang , Yunja Choi , Kazuhiro Ogata : A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. WRLA 2014 : 280-296 share record
persistent URL:
Luis Aguirre , Narciso Martí-Oliet , Miguel Palomino , Isabel Pita : Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA 2014 : 80-96 share record
persistent URL:
Yehia Abd Alrahman , Marina Andric , Alessandro Beggiato , Alberto Lluch-Lafuente : Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA 2014 : 21-41 share record
persistent URL:
Kyungmin Bae , José Meseguer : Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA 2014 : 113-129 export record
dblp key:
conf/wrla/BartolettiMSZ14 share record
persistent URL:
Massimo Bartoletti , Maurizio Murgia , Alceste Scalas , Roberto Zunino : Modelling and Verifying Contract-Oriented Systems in Maude. WRLA 2014 : 130-146 share record
persistent URL:
Francisco Durán : Composition of Graph-Transformation-Based DSL Definitions by Amalgamation. WRLA 2014 : 1-20