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