Scientific Program

Program Overview
Date/TimeOctober 19October 20October 21
8.30-9.00FACS Registration & Welcome  
9.00-10.00Invited talk Holger Giese Invited talk Kung-Kiu LauInvited talk Franck Le Gall
10.00-10h30Coffee BreakCoffee BreakCoffee Break
10.30-12.00Session 1 (3 contributed talks)Session 4 (4 contributed talks)Session 5 (2 contributed talks)
Closing
12.00-13.30LunchLunchLunch
13.30-15.00Session 2 (3 contributed talks)  Steering Committee Meeting (TBC)
15.00-15.30Coffee BreakWine 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 

 

 

Scientific Program

Wednesday, October 19, 2016:

  • 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
  • 12.00 to 13.30 - Lunch break
  • 13:30 to 15:00 - Session 2: Applications and Experiences (chair: Gwen Salaün)
    • 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
  • 15.00 to 15.30 - Coffee Break
  • 15:30 to 16:30 - Session 3:  Reo(-style) components (chair: Simon Bliudze)
    • Sung-Shik T.Q. Jongmans. (Context-Sensitivity in) Reo, Revisited
    • Xiyue Zhang, Weijiang Hong, Yi Li and Meng Sun. Reasoning about Connectors in Coq
  • 16.40 to 18.00 - Steering Committee Meeting (TBC)
  • 18.30 - Visit&Cocktail Reception @ Musée du Temps, Besançon

Thursday, October 20, 2016:

  • 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
  • 12:30 to 14:00 - Lunch break
  • 14:00 to 15:00 - Travelling to a wine cellar near Arbois
  • 15:00 to 16:30 - Tasting wine
  • 16:30 to 17:00 - Travelling to Arc-et-Senans
  • 17:15 to 18:45 - Excusrion Royal Saltworks
  • 19:30 to 22:15 - Conference Dinner
  • 22.15 to 23:15 - Travelling to Besançon

Friday, October 21, 2016:

  • 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
  • 11:30 to 12:00 - Closing 
  • 12.00 to 13.30 - Lunch break