Scientific Program

**Program Overview**
Date/Time	October 19	October 20	October 21
8.30-9.00	FACS Registration & Welcome
9.00-10.00	Invited talk Holger Giese	Invited talk Kung-Kiu Lau	Invited talk Franck Le Gall
10.00-10h30	Coffee Break	Coffee Break	Coffee Break
10.30-12.00	Session 1 (3 contributed talks)	Session 4 (4 contributed talks)	Session 5 (2 contributed talks) Closing
12.00-13.30	Lunch	Lunch	Lunch
13.30-15.00	Session 2 (3 contributed talks)		Steering Committee Meeting (TBC)
15.00-15.30	Coffee Break	Wine cellar
15.30-16.30 16.40-18.00	Session 3 (2 contributed talks) Steering Committee Meeting (TBC)	Excursion Royal Saltworks
18.30-19.00 19.00-	Musée du Temps Conference Cocktail@Besançon	Conference Dinner@Arc-et-Senans

08:30 to 08:55 - Registration
08:55 to 09:00 - Welcome/opening
09:00 to 10:00 - Invited talk (chair: Olga Kouchnarenko)
Holger Giese: Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems
10:00 to 10:30 - Coffee Break
10:30 to 12:00 - Session 1: Formal analysis (chair: Farhad Arbab)

Jalil Boudjadar, Boris Madzar, Juergen Dingel, Thomas Fuhrman and S Ramesh. Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
Pascal Poizat, Gwen Salaün and Ajay Krishna. Checking Business Process Evolution
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

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
Jean-Francois Weber. Tool support for Fuzz Testing of Component-Based System Adaptation Policies

Sung-Shik T.Q. Jongmans. (Context-Sensitivity in) Reo, Revisited
Xiyue Zhang, Weijiang Hong, Yi Li and Meng Sun. Reasoning about Connectors in Coq

09:00 to 10:00 - Invited talk (chair: Francesco Santini)
Kung-Kiu Lau: From Formal Methods to Components: Back to the Future?
10:00 to 10:30 - Coffee Break
10:30 to 12:30 - Session 4: Composition and refinement (chair: Eric Madelaine)

Maria Pittou and Stavros Tripakis. Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
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
Lars Luthmann, Stephan Mennicke and Malte Lochau. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Antonio Iannopollo, Stavros Tripakis and Alberto Sangiovanni Vincentelli. Constrained Synthesis from Component Libraries

09:00 to 10:00 - Invited talk (chair: Frédéric Dadeau)
Franck Le Gall: From Devices to Data: Testing the IoT
10:00 to 10:30 - Coffee Break
10:30 to 11:30 - Session 5: Featured models (chair: Samir Chouali)

Vanderson Hafemann Fragal, Adenilso Simao and Mohammadreza Mousavi. Validated Test Models for Software Product Lines: Featured Finite State Machines
Luís Cruz-Filipe and Fabrizio Montesi. A Core Model for Choreographic Programming