| 23 August | ||
| 19:00- | Reception at Observatoire de la capitale | |
| 24 August | ||
|
Joint invited talk
(CONCUR+QEST) |
09:00-10:00 | Scott Smolka: V-Formation as Optimal Control |
| 10:00-10:30 | break | |
|
Modeling timed phenomena
chair: Akshay S. |
10:30-11:00 | Leonid Dworzanski: Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency |
| 11:00-11:30 | Étienne André, Didier Lime and Olivier H. Roux: On the Expressiveness of Parametric Timed Automata | |
| 11:30-12:00 | Olga Gadyatskaya, Rene Rydhof Hansen, Mads Chr. Olesen, Kim Guldstrand Larsen, Axel Legay and Danny Bogsted Poulsen: Modelling Attack-Defense Trees using Timed Automata | |
| 12:00-15:00 | Lunch | |
| 15:00- | Excursion and banquet at Hôtel Musée Premières Nations, Wendake | |
| 25 August | ||
|
Joint invited talk
(QEST) |
09:30-10:30 | Ufuk Topcu: Adaptable Yet Provably Correct Autonomous Systems |
| 10:30-11:00 | break | |
|
Stochasticity and hybrid control
chair: Gilles Geeraerts |
11:00-11:30 | Pedro R. D’Argenio, Matias David Lee and Raul E. Monti : Input/Output Stochastic Automata: Compositionality and Determinism |
| 11:30-12:00 | Susmit Jha and Vasumathi Raman: Towards Automated Synthesis of Stochastic Linear Hybrid Systems Controllers | |
| 12:00-12:30 | Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta and Manuel Mazo Jr.: Scheduling of Controllers’ Update-rates for Residual Bandwidth Utilization | |
| 12:30-14:00 | Lunch | |
|
Real-time verification and synthesis
chair: Nicolas Markey |
14:00-14:30 | Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege and Nathalie Sznajder: Real-time Synthesis is Hard! |
| 14:30-15:00 | Masaki Waga, Takumi Akazaki and Ichiro Hasuo: A Boyer-Moore Type Algorithm for Timed Pattern Matching | |
| 15:00-15:30 | Raymond Devillers and Hanna Klaudel: Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata | |
| 15:30-16:00 | Zhengkui Zhang, Brian Nielsen and Kim Guldstrand Larsen: Distributed Algorithms for Time Optimal Reachability Analysis | |
| 16:00-16:30 | break | |
|
Panel discussion:
chair: Martin Fränzle |
16:30-17:30 | Future Directions in Formal Methods for Real-Time Panelists: Gilles Geeraerts, Boudewijn Haverkort (by electronic media), Claude Jard, Oded Maler, Oleg Sokolsky. |
| 26 August | ||
|
Invited talk
chair: Oded Maler |
09:00-10:00 | Oleg Sokolsky: Platform-Specific Code Generation from Platform-Independent Timed Models |
| 10:00-10:30 | break | |
|
Workload analysis
chair: Martin Fränzle |
10:30-11:00 | Gustavo Patino and Wang Jiang Chau: Scenario-Aware Workload Characterization based on a Max-Plus Linear Representation |
| 11:00-11:30 | Michael Mendler, Partha Roop and Bruno Bodin: A Novel WCET semantics of Synchronous Programs | |
| 11:30-12:00 | Stefanos Skalistis and Alena Simalatsar: Worst-case execution time analysis for many-core architectures with NoC | |
| 12:00-12:30 | Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott: Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems | |
| 12:30-14:00 | Lunch | |