9th International Workshop on
Rewriting Logic and its Applications, WRLA 2012

Tallinn, Estonia, 24-25 March 2012

Pre-Proceedings

Francisco Durán (Ed.)

The complete volume in a single file


Cover and Title Pages  
Preface and Table of Contents iii
Rigorous Component-Based System Design
Saddek Bensalem, Ananda Basu, Marius Bozga, Paraskevas Bourgos and Joseph Sifakis
1
Narrowing in Rewriting Logic and Applications [Abstract]
Santiago Escobar
7
Analyzing PHP Source Code Using Rascal - A Rewriting Logic Perspective [Abstract]
Mark Hills, Paul Klint and Jurgen Vinju
8
The K Framework Distilled [Abstract]
Dorel Lucanu and Grigore Rosu
9
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude [Abstract]
Martin Wirsing, Jonas Eckhardt, Tobias Muhlbauer and José Meseguer
10
Making Maude Definitions More Interactive
Andrei Arusoaie, Traian Serbanuta, Chucky Ellison and Grigore Rosu
11
Bounded Model Checking of Recursive Programs with Pointers in K
Irina Mariuca Asavoae, Frank de Boer, Marcello M. Bonsangue, Dorel Lucanu and Jurriaan Rot
26
Model Checking LTLR Formulas under Localized Fairness
Kyungmin Bae and José Meseguer
29
Modelling and Analyzing Adaptive Self-Assembling Strategies with Maude
Roberto Bruni, Andrea Corradini, Alberto Lluch Lafuente, Fabio Gadducci, Andrea Vandin
48
Some Like It Very Hot: Formal Modeling and Analysis of Extreme Heat Exposure to the Human Body in HI-Maude [Abstract]
Muhammad Fadlisyah, Peter Csaba Ölveczky and Erika Ábrahám
68
Order-Sorted Equality Enrichments Modulo Axioms
Raúl Gutiérrez, José Meseguer and Camilo Rocha
69
Timed CTL Model Checking in Real-Time Maude
Daniela Lepri, Erika Ábrahám and Peter Csaba Ölveczky
89
State Space c-Reductions of Concurrent Systems in Rewriting Logic
Alberto Lluch Lafuente, José Meseguer and Andrea Vandin
108
Specifying and Analyzing the Kademlia Protocol in Maude
Isabel Pita and Adrian Riesco
128
Using Narrowing to Test Maude Specifications
Adrian Riesco
144
A Rule-Based Framework for Building Superposition-Based Decision Procedures
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen and Olga Kouchnarenko
164
Facilitating the Transformation of State Machines from Equations into Rewrite Rules
Min Zhang and Kazuhiro Ogata
183
Author Index

The final proceedings of WRLA 2012 will appear in Springer's Lecture Notes in Computer Science.

This USB memory stick was produced by the Institute of Cybernetics at Tallinn University of Technology.