Sunday evening
Diner from 7:30pm
Monday 1st
09:30 – Welcoming
09:45 – 10:30 -Session 1.1
10:30 – Break
11:00 – 12:30 – Session 1.2
- Benoit CAILLAUD, Hybrid vs. nonsmooth dynamical systems: Why can it be so difficult to model physics in hybrid modelers?
- Adrien GUATTO, Integer Clocks and Local Time Scales (part I)
12:30 – Lunch
14:00 – 15:30 – Session 1.3
- Mihail ASAVOAE, A Counter-based WCET Analysis
- Pascal RAYMOND, A General Approach of Infeasibility in ILP-based WCET Estimation Methods. .
15:30 – Break
16:00 – 17:30 – Session 1.4
- Nicolas BERTHIER, Reactivity-aware Discrete Controller Synthesis for Logico-numerical Reactive Programs
- Guillaume BAUDART, Time-based protocols for LTTA
19:30 – Diner
Tuesday 2nd
09:00 – 10:30 -Session 2.1
- Albert BENVENISTE, Index Theory for Hybrid DAE Systems
10:30 – Break
11:00 – 12:30 – Session 2.2
- Reinhard VON HANXLEDEN, Sequentially Constructive Esterel
- Markus ARONSSON, Stream Processing for Embedded Domain Specific languages
12:30 – Lunch
14:00 – 15:30 – Session 2.3
- Ulysse BEAUGNON, Destructive updates for arrays in lustre (paper)
- Dan GHICA, High-level synthesis and heterogeneous compilation
15:30 – Break
16:00 – 17:30 – Session 2.4
- Yuliia ROMENSKA, High-level component based models for functional and non-functional properties of Systems-on-chip
- Gérard BERRY, Let’s Synchronize Our Watches
19:30 – Alpine diner « Fondue »
Wednesday 3rd
09:00 – 10:30 -Session 3.1
- Timothy BOURKE, Not quite synchronous enough – Compositional invariant proofs of reactive systems in an interactive theorem prover (Isabelle/HOL)
- Adrien GUATTO, Integer Clocks and Local Time Scales (part II)
10:30 – Break
11:00 – 12:30 – Session 3.2
- Partha ROOP, Incremental timing analysis of synchronous programs
- Hugh WANG, Power aware timing analysis of synchronous programs
12:30 – Lunch
14:00 – Free afternoon. Walk to the Monolithe.
19:30 – Alpine diner « Pierrade »
Thursday 4th
09:00 – 10:30 -Session 4.1
- Dumitru POTOP BUTUCARU, Real time compilation
- Lionel RIEG, Towards a Coq-Verified Compiler from Esterel to Circuits
10:30 – Break
11:00 – 12:30 – Session 4.2
- ARGOSIM, STIMULUS, an innovative solver-based simulation software
- Robert DE SIMONE, CCSL, Conflict-freeness and schedulability for infinite lclocks
12:30 – Lunch
14:00 – 15:30 – Session 4.3
- Florence MARANINCHI, Lustre (or other synchronous languages) for Arduino
- Valentin PERELLE, Programming Synchronous Tasks that can Miss Deadlines
15:30 – Break
16:00 – 17:30 – Session 4.4
- Marc POUZET, A Synchronous-based Code Generator For Explicit Hybrid Systems Languages
- Michael MENDLER, Worst-case Reaction Time for Synchronous Programs – Studying the Tick Alignment Problem (abstract)
19:30 – Diner
Friday 5th
09:00 – 10:30 -Session 5.1
- Ayman ALJARBOUH, On the Regularization of Zeno and Chattering Behaviour of Hybrid Systems.
- Daniel GAFFÉ and Annie RESSOUCHE, Algebraic Framework for Synchronous Languages
10:30 – Break
11:00 – 12:00 – Discussions
12:00 – Lunch