24 August, 10h30-12h00: Modeling timed phenomena
- Leonid Dworzanski.
- Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
- Etienne Andre, Didier Lime and Olivier H. Roux.
- On the Expressiveness of Parametric Timed Automata
- Olga Gadyatskaya, Rene Rydhof Hansen, Mads Chr. Olesen, Kim Guldstrand Larsen, Axel Legay and Danny Bogsted Poulsen.
- Modelling Attack-Defense Trees using Timed Automata
24 August, 15h00-22h00: excursion and dinner
25 August, 10h30-12h00: Stochasticity and hybrid control
- Pedro R. D’Argenio, Matias David Lee and Raul E. Monti
- Input/Output Stochastic Automata: Compositionality and Determinism
- Susmit Jha and Vasumathi Raman.
- Towards Automated Synthesis of Stochastic Linear Hybrid Systems Controllers
- Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta and Manuel Mazo Jr.
- Scheduling of Controllers’ Update-rates for Residual Bandwidth Utilization
25 August, 13h30-15h30: Algorithms for real-time verification and synthesis
Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege and Nathalie Sznajder
Real-time Synthesis is Hard!
Masaki Waga, Takumi Akazaki and Ichiro Hasuo
A Boyer-Moore Type Algorithm for Timed Pattern Matching
Raymond Devillers and Hanna Klaudel
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata
Zhengkui Zhang, Brian Nielsen and Kim Guldstrand Larsen
Distributed Algorithms for Time Optimal Reachability Analysis
25 August, 16h00-17h00: panel discussion (title TBA)
26 August, 10h30-12h30: Workload analysis
Gustavo Patino and Wang Jiang Chau
Scenario-Aware Workload Characterization based on a Max-Plus Linear Representation
Michael Mendler, Partha Roop and Bruno Bodin
A Novel WCET semantics of Synchronous Programs
Stefanos Skalistis and Alena Simalatsar
Worst-case execution time analysis for many-core architectures with NoC
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems