23 August
19:00- Reception at Observatoire de la capitale
24 August
Joint invited talk
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
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