Abstract is missing.
- Rigorous Component-Based System Design - (Invited Paper)Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis. 1-9 [doi]
- Program Analysis Scenarios in RascalMark Hills, Paul Klint, Jurgen J. Vinju. 10-30 [doi]
- K Framework DistilledDorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu. 31-53 [doi]
- Design and Analysis of Cloud-Based Architectures with KLAIM and MaudeMartin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer. 54-82 [doi]
- Making Maude Definitions More InteractiveAndrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu. 83-98 [doi]
- Model Checking LTLR Formulas under Localized FairnessKyungmin Bae, José Meseguer. 99-117 [doi]
- Modelling and Analyzing Adaptive Self-assembly Strategies with MaudeRoberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. 118-138 [doi]
- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-MaudeMuhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. 139-161 [doi]
- Order-Sorted Equality Enrichments Modulo AxiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. 162-181 [doi]
- Timed CTL Model Checking in Real-Time MaudeDaniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. 182-200 [doi]
- Using Narrowing to Test Maude SpecificationsAdrián Riesco. 201-220 [doi]
- A Rule-Based Framework for Building Superposition-Based Decision ProceduresElena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. 221-239 [doi]