Accepted papers

Stanley Bak, Sergiy Bogomolov and Matthias Althoff. Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
Masaki Waga, Ichiro Hasuo and Kohei Suenaga. Efficient Online Timed Pattern Matching by Automata-Based Skipping
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron and Burkhart Wolff. A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing
Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
Mahmoud Ali Mousa, Sven Schewe and Dominik Wojtczak. Optimal Control for Multi-Mode Systems with Discrete Costs
Tamás Tóth and István Majzik. Lazy Reachability Checking for Timed Automata using Interpolants
Anders Mariegaard and Kim Guldstrand Larsen. Symbolic Dependency Graphs for Probabilistic Model-Checking
Stefan Ratschan. Simulation Based Computation of Barrier Certificates
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li and Naijun Zhan. Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Loig Jezequel and Didier Lime. Let’s Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata
Eugene Asarin, Oded Maler, Dejan Nickovic and Dogan Ulus. Combining the Temporal and Epistemic Dimensions for MTL Monitoring
Patricia Bouyer, Samy Jaziri and Nicolas Markey. On the Determinization of Timed Systems
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux and Charlotte Seidner. Optimal Reachability in Cost Time Petri Nets
Sergio Feo-Arenis, Milan Vujinovic and Bernd Westphal. On Global Scheduling Independency in Networks of Timed Automata
Sergiy Bogomolov, Mirco Giacobbe, Thomas Henzinger and Hui Kong. Conic Abstractions for Hybrid Systems
Pengfei Yang, David N. Jansen and Lijun Zhang. Distribution-based bisimulation for labelled Markov processes
Rehab Massoud, Jannis Stoppe, Daniel Grosse and Rolf Drechsler. Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction
Arvind Adimoolam and Thao Dang. Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems