Abstract is missing.
- From Static to Dynamic Analysis and Allocation of Resources for BPMN ProcessesFrancisco Durán 0001, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo. 3-21 [doi]
- Rewriting PrivacySebastian Mödersheim. 22-41 [doi]
- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis MethodRaúl López-Rueda, Santiago Escobar 0001. 45-64 [doi]
- An Overview of the Maude Strategy Language and its ApplicationsRubén Rubio. 65-84 [doi]
- Teaching Formal Methods to Undergraduate Students Using MaudePeter Csaba Ölveczky. 85-110 [doi]
- Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting LogicFrancisco Durán 0001, Daniela Martínez, Camilo Rocha. 113-129 [doi]
- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in MaudeSimon Thrane Hansen, Peter Csaba Ölveczky. 130-150 [doi]
- An Efficient Canonical Narrowing Implementation for Protocol AnalysisRaúl López-Rueda, Santiago Escobar 0001, José Meseguer. 151-170 [doi]
- Checking Sufficient Completeness by Inductive Theorem ProvingJosé Meseguer. 171-190 [doi]
- On Ground Convergence and Completeness of Conditional Equational Program HierarchiesJosé Meseguer, Stephen Skeirik. 191-211 [doi]
- Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMTVivek Nigam, Carolyn L. Talcott. 212-229 [doi]
- Executable Semantics and Type Checking for Session-Based Concurrency in MaudeCarlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001. 230-250 [doi]
- Parallel Maude-NPA for Cryptographic Protocol AnalysisCanh Minh Do, Adrián Riesco 0001, Santiago Escobar 0001, Kazuhiro Ogata 0001. 253-273 [doi]
- Maude as a Library: An Efficient All-Purpose Programming InterfaceRubén Rubio. 274-294 [doi]