| 1 | -- | 2 | Ralf Reussner, Iman Poernomo, Juliana Küster Filipe Bowles. Preface |
| 3 | -- | 13 | Samir Chouali, Hassan Mountassir, Sebti Mouelhi. An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car |
| 15 | -- | 40 | Peter Collingbourne, Paul H. J. Kelly. Inference of Session Types From Control Flow |
| 41 | -- | 62 | Dimitar P. Guelev, Dang Van Hung. Reasoning about QoS Contracts in the Probabilistic Duration Calculus |
| 63 | -- | 79 | Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause. Transaction Scripts: Making Implicit Scenarios Explicit |
| 81 | -- | 95 | Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen. Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata |