Accepted Papers


  • Rubén Rubio: Maude as a library: an efficient all-purpose programming interface
  • Simon Thrane Hansen and Peter Csaba Ölveczky: A Formal Framework for Co-simulation
  • Canh Minh Do, Adrián Riesco, Santiago Escobar and Kazuhiro Ogata: Parallel Maude-NPA for Cryptographic Protocol Analysis
  • Carlos Alberto Ramírez Restrepo and Jorge Pérez: Executable Semantics and Type Checking for Session-Based Concurrency in Maude
  • Francisco Durán, Daniela Martínez and Camilo Rocha: Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic
  • Vivek Nigam and Carolyn Talcott: Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT
  • Raúl López-Rueda, Santiago Escobar and José Meseguer: An Efficient Canonical Narrowing Implementation for Protocol Analysis
  • Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek and Ayoub Otmani: Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude
  • Jose Meseguer and Stephen Skeirik: On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
  • Jose Meseguer: Checking Sufficient Completeness by Inductive Theorem Proving
  • Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira and Brandon Rozek: CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms