15th International Conference on Formal Modelling and Analysis of Timed Systems
15th International Conference on Formal Modelling and Analysis of Timed Systems

Programme

This is a tentative program for the conference:

Tuesday, Sep 5

8:30-9:30Registration
9:30-10:00CONCUR opening
10:00-11:00Invited Talk: Hongseok Yang
11:00-11:30Break
Session: Timed models. Chair: David N. Jansen.
11:30-12:00On the Determinization of Timed Systems
Patricia Bouyer, Samy Jaziri and Nicolas Markey
12:00-12:30On Global Scheduling Independency in Networks of Timed Automata
Sergio Feo-Arenis, Milan Vujinovic and Bernd Westphal
12:30-13:00Optimal Reachability in Cost Time Petri Nets
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux and Charlotte Seidner
13:00-14:30Lunch time
14:30-16:00Invited talk (CONCUR): Azadeh Farzan
16:00-16:30Break
Session: Hybrid Systems. Chair: Martin Fränzle.
16:30-17:00Optimal Control for Multi-Mode Systems with Discrete Costs
Mahmoud Ali Mousa, Sven Schewe and Dominik Wojtczak
17:00-17:30Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems
Arvind Adimoolam and Thao Dang
17:30-18:00Conic Abstractions for Hybrid Systems
Sergiy Bogomolov, Mirco Giacobbe, Thomas Henzinger and Hui Kong
18:00-18:30Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
Stanley Bak, Sergiy Bogomolov and Matthias Althoff
From 19:00Reception

Wednesday, Sep 6

9:00-10:00Invited Talk: Euler’s method applied to the control of switched systems
Laurent Fribourg
Session: Probabilistic models. Chair: Jane Hillston.
10:00-10:30Symbolic Dependency Graphs for PCTL Model-Checking
Anders Mariegaard and Kim Guldstrand Larsen
10:30-11:00Distribution-based bisimulation for labelled Markov processes
Pengfei Yang, David N. Jansen and Lijun Zhang
11:00-11:30Break
Session: Quantitative Logics and Monitoring. Chair: Ana Sokolova.
11:30-12:00On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus
12:00-12:30Combining the Temporal and Epistemic Dimensions for MTL Monitoring
Eugene Asarin, Oded Maler, Dejan Nickovic and Dogan Ulus
12:30-13:00Efficient Online Timed Pattern Matching by Automata-Based Skipping
Masaki Waga, Ichiro Hasuo and Kohei Suenaga
13:00-14:30Lunch time
14:30-16:00Invited talk (QEST): Romualdo Pastor-Satorras
16:00-16:30Break
Session: Reachability Analysis. Chair: Gilles Geeraerts.
16:30-17:00Let’s Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata
Loïg Jezequel and Didier Lime
17:00-17:30Lazy Reachability Checking for Timed Automata using Interpolants
Tamás Tóth and István Majzik
17:30-18:00Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li and Naijun Zhan

From 19:00Dinner

Thursday, Sep 7

10:00-11:00Invited Talk (QEST/FORMATS/EPEW): Morten Bisgaard
11:00-11:30Break
Session: Testing and simulation. Chair: Jan Křetínský.
11:30-12:00Simulation Based Computation of Certificates for Safety of Dynamical Systems
Stefan Ratschan
12:00-12:30A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron and Burkhart Wolff
12:30-13:00Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction
Rehab Massoud, Jannis Stoppe, Daniel Grosse and Rolf Drechsler
13:00-14:30Lunch time
14:30-16:00Invited talk (EPEW): William Knottenbelt