Accepted papers

Full/Regular Papers:

Luís Cruz-Filipe and Fabrizio Montesi. A Core Model for Choreographic Programming
Pascal Poizat, Gwen Salaün and Ajay Krishna.  Checking Business Process Evolution
Lars Luthmann, Stephan Mennicke and Malte Lochau. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Maria Pittou and Stavros Tripakis. Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
Antonio Iannopollo, Stavros Tripakis and Alberto Sangiovanni Vincentelli. Constrained Synthesis from Component Libraries
Dehui Du, Ping Huang, Frédéric Mallet, Mingrui Yang and Kaiqiang Jiang. MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci and Francesco Santini. A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property
Jalil Boudjadar, Boris Madzar, Juergen Dingel, Thomas Fuhrman and S Ramesh. Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
Xiyue Zhang, Weijiang Hong, Yi Li and Meng Sun. Reasoning about Connectors in Coq
Sung-Shik T.Q. Jongmans. (Context-Sensitivity in) Reo, Revisited
Vanderson Hafemann Fragal, Adenilso Simao and Mohammadreza Mousavi. Validated Test Models for Software Product Lines: Featured Finite State Machines

Tool Papers:

Jean-Francois Weber. Tool support for Fuzz Testing of Component-Based System Adaptation Policies

Applications and Experiences Papers:

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar and Edward A.Lee. Coordinated Actors for Reliable Self-Adaptive Systems
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros and Joseph Sifakis. Architecture-based design: a satellite on-board software case study