Tentative programme


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