Skip to main content
SpringerLink
Log in

Rewriting Logic and Its Applications

14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Kyungmin Bae

    1. Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang, Korea (Republic of)

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13252)

Included in the following conference series:

Conference proceedings info: WRLA 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

      • Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
      Pages 3-21

    3. Rewriting Privacy

      • Sebastian Mödersheim
      Pages 22-41

  3. Invited Tutorials and Experience Report

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method

      • Raúl López-Rueda, Santiago Escobar
      Pages 45-64

    3. An Overview of the Maude Strategy Language and its Applications

      • Rubén Rubio
      Pages 65-84

    4. Teaching Formal Methods to Undergraduate Students Using Maude

      • Peter Csaba Ölveczky
      Pages 85-110

  4. Regular Papers

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic

      • Francisco Durán, Daniela Martínez, Camilo Rocha
      Pages 113-129

    3. Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude

      • Simon Thrane Hansen, Peter Csaba Ölveczky
      Pages 130-150

    4. An Efficient Canonical Narrowing Implementation for Protocol Analysis

      • Raúl López-Rueda, Santiago Escobar, José Meseguer
      Pages 151-170

    5. Checking Sufficient Completeness by Inductive Theorem Proving

      • José Meseguer
      Pages 171-190

    6. On Ground Convergence and Completeness of Conditional Equational Program Hierarchies

      • José Meseguer, Stephen Skeirik
      Pages 191-211

    7. Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT

      • Vivek Nigam, Carolyn Talcott
      Pages 212-229

    8. Executable Semantics and Type Checking for Session-Based Concurrency in Maude

      • Carlos Alberto Ramírez Restrepo, Jorge A. Pérez
      Pages 230-250

  5. Tool Papers

    1. Front Matter

      Pages 251-251
      Download chapter PDF

    2. Parallel Maude-NPA for Cryptographic Protocol Analysis

      • Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
      Pages 253-273

    3. Maude as a Library: An Efficient All-Purpose Programming Interface

      • Rubén Rubio
      Pages 274-294

  6. Back Matter

    Pages 295-295
    Download chapter PDF
Back to top

Other volumes

  1. Rewriting Logic and Its Applications

Keywords

About this book

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.

The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

Editors and Affiliations

  • Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang, Korea (Republic of)

    Kyungmin Bae

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation