WRLA

Keyphrases

Publications

2024

José Meseguer
Equivalence, and Property Internalization and Preservation for Equational Programs. WRLA (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA (2024)
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
Verifying Invariants by Deductive Model Checking. WRLA (2024)
Geunyeol Yu, Kyungmin Bae
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA (2024)
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA (2024)
Canh Minh Do, Kazuhiro Ogata
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude. WRLA (2024)
Duong Dinh Tran, Kazuhiro Ogata
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ. WRLA (2024)
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
Time-Bounded Resilience. WRLA (2024)
Michael Lienhardt
The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly. WRLA (2024)
Carlos Olarte, Peter Csaba Ölveczky
Timed Strategies for Real-Time Rewrite Theories. WRLA (2024)
Peter Csaba Ölveczky
Teaching an Advanced Maude-Based Formal Methods Course in Oslo. WRLA (2024)

volume 14953, 2024

Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers WRLA 14953 (2024)

2016

volume 9942, 2016

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 WRLA 9942 (2016)

2014

volume 8663, 2014

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 WRLA 8663 (2014)

2012

volume 7571, 2012

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 WRLA 7571 (2012)