Wednesday, September 8th:

Invited Tutorial

09:00-10:30 Ulrich Schmid. Synchrony and Time in Fault-tolerant Distributed Algorithms [slides]

10:30-11:00 Coffee Break

11:00-12:30 Dejan Nickovic. Property-based Monitoring of Analog and Mixed-signal Systems [slides]

12:30-14:00 Lunch break

Invited talk:

14:00-15:00 Tarek Abdelzaher. Interdisciplinary Foundations for Open Cyber-physical Systems

15:00-15:30 Coffee Break

Regular talks:

15:30-16:00 Bert Van Beek, Pieter Cuijpers, Jasen Markovski, Damian Nadales Agut and Koos Rooda. Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting

16:00-16:30 Anna Philippou, Insup Lee, Oleg Sokolsky and Jin-Young Choi. A Process Algebraic Framework for Modeling Resource Demand and Supply

16:30-17:00 Scott Cotton. Natural Domain SMT: A Preliminary Assessment

17:00-17:30 Alexandre Donze and Oded Maler. Robust Satisfaction of Temporal Logic over Real-Valued Signals


Thursday, September 9th

Invited talk:

09:00-10:00 Marta Kwiatkoska. A Framework for Verification of Software with Time and Probabilities

10:00-10:30 Coffee Break

Regular talks:

10:30-11:00 Rudiger Ehlers, Robert Mattmuller and Hans-Jorg Peter. Combining Symbolic Representations for Solving Timed Games

11:00-11:30 Jeremy Sproston and Angelo Troina. Simulation and Bisimulation for Probabilistic Timed Automata

11:30-12:00 Patricia Bouyer, Romain Brenguier and Nicolas Markey. Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games

12:00-12:30 Vojtech Forejt, Marta Kwiatkowska, Gethin Norman and Ashutosh Trivedi. Expected Reachability-Time Games

12:30-14:00 Lunch break

Regular talks:

14:00-14:30 Pierre Yves Schobbens, James Jerson Ortiz and Axel Legay. Memory Event Clocks

14:30-15:00 Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime and Olivier H. Roux. Diagnosis using Unfoldings of Parametric Time Petri Nets

15:00 onwards: Social event: Excursion and Conference Banquet


Friday, September 10th

Invited talk:

09:00-10:00 Jean-Francois Raskin. Safraless Procedures for Timed Specifications

10:00-10:30 Coffee Break

Regular talks

10:30-11:00 Mani Swaminathan and Ernst-Ruediger Olderog. Layered Composition for Timed Automata

11:00-11:30 Sabrina von Styp, Henrik Bohnenkamp and Julien Schmaltz. A Conformance Testing Relation for Symbolic Timed Automata

11:30-12:00 Paritosh Pandya and Simoni Shah. Unambiguity in Timed Regular Languages: Automata and Logics

12:00-12:30 Dejan Nickovic and Nir Piterman. From MTL to Deterministic Timed Automata