default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th WRLA 2022: Munich, Germany (Satellite Event of ETAPS 2022)
- 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
Invited Papers
- 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. 3-21 - Sebastian Mödersheim:
Rewriting Privacy. 22-41
Invited Tutorials and Experience Report
- Raúl López-Rueda, Santiago Escobar:
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. 45-64 - Rubén Rubio:
An Overview of the Maude Strategy Language and its Applications. 65-84 - Peter Csaba Ölveczky:
Teaching Formal Methods to Undergraduate Students Using Maude. 85-110
Regular Papers
- Francisco Durán, Daniela Martínez, Camilo Rocha:
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic. 113-129 - Simon Thrane Hansen, Peter Csaba Ölveczky:
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. 130-150 - Raúl López-Rueda, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. 151-170 - José Meseguer:
Checking Sufficient Completeness by Inductive Theorem Proving. 171-190 - José Meseguer, Stephen Skeirik:
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. 191-211 - Vivek Nigam, Carolyn L. Talcott:
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. 212-229 - Carlos Alberto Ramírez Restrepo, Jorge A. Pérez:
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. 230-250
Tool Papers
- Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata:
Parallel Maude-NPA for Cryptographic Protocol Analysis. 253-273 - Rubén Rubio:
Maude as a Library: An Efficient All-Purpose Programming Interface. 274-294
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
