- 2024
- Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - Canh Minh Do, Kazuhiro Ogata:
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude. WRLA 2024: 84-103 - Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott:
Time-Bounded Resilience. WRLA 2024: 22-44 - Michael Lienhardt:
The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly. WRLA 2024: 165-178 - José Meseguer:
Equivalence, and Property Internalization and Preservation for Equational Programs. WRLA 2024: 62-83 - Carlos Olarte, Peter Csaba Ölveczky:
Timed Strategies for Real-Time Rewrite Theories. WRLA 2024: 124-144 - Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia:
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic. WRLA 2024: 104-123 - Peter Csaba Ölveczky:
Teaching an Advanced Maude-Based Formal Methods Course in Oslo. WRLA 2024: 195-207 - Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA 2024: 145-162 - Duong Dinh Tran, Kazuhiro Ogata:
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ. WRLA 2024: 45-61 - Geunyeol Yu, Kyungmin Bae:
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA 2024: 179-192 - Kazuhiro Ogata, Narciso Martí-Oliet:
Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14953, Springer 2024, ISBN 978-3-031-65940-9 [contents] - 2022
- Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata:
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS 2022: 253-273 - Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo:
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS 2022: 3-21 - Francisco Durán, Daniela Martínez, Camilo Rocha:
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. WRLA@ETAPS 2022: 113-129 - Simon Thrane Hansen, Peter Csaba Ölveczky:
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA@ETAPS 2022: 130-150 - Raúl López-Rueda, Santiago Escobar:
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA@ETAPS 2022: 45-64 - Raúl López-Rueda, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS 2022: 151-170 - José Meseguer:
Checking Sufficient Completeness by Inductive Theorem Proving. WRLA@ETAPS 2022: 171-190 - José Meseguer, Stephen Skeirik:
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS 2022: 191-211 - Sebastian Mödersheim:
Rewriting Privacy. WRLA@ETAPS 2022: 22-41 - Vivek Nigam, Carolyn L. Talcott:
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA@ETAPS 2022: 212-229 - Peter Csaba Ölveczky:
Teaching Formal Methods to Undergraduate Students Using Maude. WRLA@ETAPS 2022: 85-110 - Carlos Alberto Ramírez Restrepo, Jorge A. Pérez:
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. WRLA@ETAPS 2022: 230-250 - Rubén Rubio:
An Overview of the Maude Strategy Language and its Applications. WRLA@ETAPS 2022: 65-84 - Rubén Rubio:
Maude as a Library: An Efficient All-Purpose Programming Interface. WRLA@ETAPS 2022: 274-294 - Kyungmin Bae:
Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13252, Springer 2022, ISBN 978-3-031-12440-2 [contents] - 2020
- Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Connecting Constrained Constructor Patterns and Matching Logic. WRLA@ETAPS 2020: 19-37 - Francisco Durán, Camilo Rocha, Gwen Salaün:
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA@ETAPS 2020: 38-56 - Mircea Marin, Besik Dundua, Temur Kutsia:
A Rule-Based System for Computation and Deduction in Mathematica. WRLA@ETAPS 2020: 57-74