WRLA@ETAPS

Keyphrases

Publications

2022

Simon Thrane Hansen, Peter Csaba Ölveczky
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA@ETAPS (2022)
Francisco Durán, Daniela Martínez, Camilo Rocha
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. WRLA@ETAPS (2022)
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)
Sebastian Mödersheim
Rewriting Privacy. WRLA@ETAPS (2022)
Raúl López-Rueda, Santiago Escobar
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA@ETAPS (2022)
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS (2022)
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. WRLA@ETAPS (2022)
Raúl López-Rueda, Santiago Escobar, José Meseguer
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS (2022)
Rubén Rubio
An Overview of the Maude Strategy Language and its Applications. WRLA@ETAPS (2022)
José Meseguer
Checking Sufficient Completeness by Inductive Theorem Proving. WRLA@ETAPS (2022)
José Meseguer, Stephen Skeirik
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS (2022)
Peter Csaba Ölveczky
Teaching Formal Methods to Undergraduate Students Using Maude. WRLA@ETAPS (2022)
Rubén Rubio
Maude as a Library: An Efficient All-Purpose Programming Interface. WRLA@ETAPS (2022)
Vivek Nigam, Carolyn L. Talcott
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA@ETAPS (2022)

volume 13252, 2022

Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers WRLA@ETAPS 13252 (2022)

2020

volume 12328, 2020

Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers WRLA@ETAPS 12328 (2020)

2018

volume 11152, 2018

Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings WRLA@ETAPS 11152 (2018)