Accepted Papers

Alcino Cunha, Joost Visser
Strongly Typed Rewriting For Coupled Software Transformation

Florent Kirchner, Francois-Regis Sinot
Rule-Based Operational Semantics for an Imperative Language

Victor Winter
Model-driven Transformation-based Generation of Java Stress Tests

Emanuel Kitzelmann, Ute Schmid
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities

Fernando Rosa-Velardo
Coding Mobile Synchronizing Petri Nets into Rewriting Logic

Francisco Lopez-Fraguas, Jose Miguel Cleva
Semantic determinism and functional logic program properties

Peter Olveczky, Jose Meseguer
Recent Advances in Real-Time Maude