Rewriting Logic and Its Applications

1. Front Matter

   PDF

2. Rigorous Component-Based System Design

   • Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis

   Pages 1-9

3. Program Analysis Scenarios in Rascal

   • Mark Hills, Paul Klint, Jurgen J. Vinju

   Pages 10-30

4. \(\mathbb{K}\) Framework Distilled

   • Dorel Lucanu, Traian Florin Şerbănuţă, Grigore Roşu

   Pages 31-53

5. Design and Analysis of Cloud-Based Architectures with KLAIM and Maude

   • Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer

   Pages 54-82

6. Making Maude Definitions More Interactive

   • Andrei Arusoaie, Traian Florin Şerbănuţă, Chucky Ellison, Grigore Roşu

   Pages 83-98

7. Model Checking LTLR Formulas under Localized Fairness

   • Kyungmin Bae, José Meseguer

   Pages 99-117

8. Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

   • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

   Pages 118-138

9. Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude

   • Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám

   Pages 139-161

10. Order-Sorted Equality Enrichments Modulo Axioms

    • Raúl Gutiérrez, José Meseguer, Camilo Rocha

    Pages 162-181

11. Timed CTL Model Checking in Real-Time Maude

    • Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky

    Pages 182-200

12. Using Narrowing to Test Maude Specifications

    • Adrián Riesco

    Pages 201-220

13. A Rule-Based Framework for Building Superposition-Based Decision Procedures

    • Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

    Pages 221-239

14. Back Matter

    PDF

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

• cloud computing
• distributed systems
• formal analysis
• model checking
• swarms

• Departamento de Lenguajes y Ciencias de la Computacíon, E.T.S.I Informática, Universidad de Málaga, Málaga, Spain

  Franciso Durán

Policies and ethics