- José Meseguer:
Variants in the Infinitary Unification Wonderland. WRLA@ETAPS 2020: 75-95 - José Meseguer:
Variant Satisfiability of Parameterized Strings. WRLA@ETAPS 2020: 96-113 - José Meseguer, Stephen Skeirik:
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification. WRLA@ETAPS 2020: 114-135 - Vivek Nigam, Carolyn L. Talcott:
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA@ETAPS 2020: 197-215 - Mitsuhiro Okada, Yuta Takahashi:
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. WRLA@ETAPS 2020: 136-155 - Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS 2020: 156-175 - Stephen Skeirik, José Meseguer, Camilo Rocha:
Verification of the IBOS Browser Security Properties in Reachability Logic. WRLA@ETAPS 2020: 176-196 - Thierry Boy de la Tour, Rachid Echahed:
Combining Parallel Graph Rewriting and Quotient Graphs. WRLA@ETAPS 2020: 1-18 - Santiago Escobar, Narciso Martí-Oliet:
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents] - 2018
- Yohan Boichut, Vivien Pelletier, Pierre Réty:
Approximating Any Logic Program by a CS-Program. WRLA@ETAPS 2018: 245-260 - Paul Downen, Philip Johnson-Freyd, Zena M. Ariola:
Uniform Strong Normalization for Multi-discipline Calculi. WRLA@ETAPS 2018: 205-225 - Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - Francisco Durán, José Meseguer, Camilo Rocha:
Proving Ground Confluence of Equational Specifications Modulo Axioms. WRLA@ETAPS 2018: 184-204 - 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 - Santiago Escobar:
Multi-paradigm Programming in Maude. WRLA@ETAPS 2018: 26-44 - 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 - Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong:
Extending Timbuk to Verify Functional Programs. WRLA@ETAPS 2018: 153-163 - Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018: 136-152 - Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Parameterized Programming for Compositional System Specification. WRLA@ETAPS 2018: 59-75 - José Meseguer:
Generalized Rewrite Theories and Coherence Completion. WRLA@ETAPS 2018: 164-183 - Carlos Olarte, Elaine Pimentel, Camilo Rocha:
Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA@ETAPS 2018: 115-135 - Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia:
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS 2018: 226-244 - Adrián Riesco:
MUnit: A Unit Framework for Maude. WRLA@ETAPS 2018: 45-58 - 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
- Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016: 47-63 - Yohan Boichut, Vivien Pelletier, Pierre Réty:
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. WRLA 2016: 64-81 - 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 - Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
Labelled Graph Rewriting Meets Social Networks. WRLA 2016: 1-25 - Salvador Lucas:
Use of Logical Models for Proving Operational Termination in General Logics. WRLA 2016: 26-46 - Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Egalitarian State-Transition Systems. WRLA 2016: 98-117