Programme:

Tuesday, September, 9th
18:30-20:30 Visit of the Rocca and welcome cocktail
Wednesday, September, 10th
8:30-9:15 Registration
9.15-9:30 FACS Welcome
9:30-10:30 Invited talk - Fresco Room:

Helmut Veith. Shape and Content: A database-theoretic perspective on the analysis of data structures

10:30-11:00 Coffee break
11:00-12:30 Session 1: Compositional approaches - Museum Room

Sven Walther and Heike Wehrheim. Verified Service Compositions by Template-Based Construction.

Jan Martijn Van Der Werf. Compositional Verification of Asynchonously Communicating Systems.

Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen and Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation.

12:30-14:00 Lunch
14:00-15:30 Session 2: Adaptation and Evolution - Museum Room

Javier Cámara Moreno, Antónia Lopes, David Garlan and Bradley Schmerl. Impact Models for Architecture-Based Self-Adaptive Systems.

Olga Kouchnarenko and Jean-Francois Weber. Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime.

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier and Huaxi Yulin Zhang. Specifying rules for reliable software architecture evolution.

15:30-16:00 Coffee break
16:00-17:00 Session 3: Applications & Experience - Museum Room

Antonio Di Stasio, Aniello Murano, Vincenzo Prignano and Loredana Sorrentino. Solving Parity Games in Scala.

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems. An Experience Report.

18:30-23:00 Visit of "Fattoria Paradiso" and social dinner
Thursday, September, 11th
9:30-10:30 Invited talk - Fresco Room:

Rocco De Nicola. A formal approach to autonomic systems programming: The SCEL Language

10:30-11:00 Coffee break
11:00-12:30 Session 1: Tools - Fresco Room

Annabelle Klarl, Lucia Cichella and Rolf Hennicker. From Helena Ensemble Specifications to Executable Code.

Guillaume Verdier and Jean-Baptiste Raclet. MAccS: a Tool for Reachability by Design.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Subham Modi, Othmane Rezine and Gaurav Saini. MPass: An Efficient Tool for the Analysis of Message-Passing Programs.

12:30-13:45 Lunch
13:45-14:00 EASST best paper award ceremony and next FACS presentation - Fresco Room
14:00-15:30 Session 2: Scheduling, Time, and Hybrid systems - Fresco Room

A.Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikučionis, Ulrik Nyman and Arne Skou. Widening the Schedulability of Hierarchical Scheduling Systems.

Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan and Liang Zou. Adding Formal Meanings to AADL with Hybrid Annex.

Marc Sango, Laurence Duchien and Christophe Gransart. Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications.

15:30-16:00 Coffee break
16:00-17:30 Session 3: Other Verification approaches - Fresco Room

Paolo Baldan, Francesco Burato and Alberto Carraro. Intransitive Non Interference by Unfolding.

Mohamad Noureddine, Mohamad Jaber, Simon Bliudze and Fadi A. Zaraket. Reduction and Abstraction Techniques for BIP.

Uli Fahrenberg, Jan Kretinsky, Axel Legay and Louis-Marie Traonouez. Compositionality for Quantitative Specifications.

18:00-20:00 Steering Committee business meeting - Red Room
Friday, September, 12th
9:30-10:30 Invited talk - Fresco Room:

Jean-Bernard Stefani. A process calculus framework for dynamic component structures with sharing

10:30-11:00 Coffee break
11:00-12:30 Session 1: Safety & Liveness of composition - Fresco Room

Siavash Soleimanifard and Dilian Gurov. Algorithmic Verification of Procedural Programs in the Presence of Code Variability.

Abderrahim Ait Wakrime, Sébastien Limet and Sophie Robert. Place-liveness of ComSA applications.

Graeme Smith, John Derrick and Brijesh Dongol. Admit your weakness: Verifying correctness on TSO architectures.

12:30-14:00 Lunch