Abstract is missing.
- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)Twan Basten, Martijn Hendriks, Lou J. Somers, Nikola Trcka. 1-6 [doi]
- Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid SystemsKim G. Larsen. 7-10 [doi]
- Robustness of Time Petri Nets under Architectural ConstraintsS. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux. 11-26 [doi]
- Toward a Timed Theory of Channel CodingEugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin. 27-42 [doi]
- Playing Optimally on Timed Automata with Random DelaysNathalie Bertrand, Sven Schewe. 43-58 [doi]
- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous SystemsRebekah Carter, Eva M. Navarro-López. 59-74 [doi]
- Revisiting Timed Specification Theories: A Linear-Time PerspectiveChris Chilton, Marta Z. Kwiatkowska, Xu Wang. 75-90 [doi]
- Multi-core Reachability for Timed AutomataAndreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol. 91-106 [doi]
- Counterexample-Guided Synthesis of Observation PredicatesRayna Dimitrova, Bernd Finkbeiner. 107-122 [doi]
- Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid SystemsChristian Ellen, Sebastian Gerwinn, Martin Fränzle. 123-138 [doi]
- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot TransitionHamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo. 139-154 [doi]
- Reducing Quasi-Equal Clocks in Networks of Timed AutomataChristian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski. 155-170 [doi]
- SMT-Based Induction Methods for Timed SystemsRoland Kindermann, Tommi A. Junttila, Ilkka Niemelä. 171-187 [doi]
- Timed Automata with Disjoint ActivityMarco Muñiz, Bernd Westphal, Andreas Podelski. 188-203 [doi]
- The Complexity of Bounded Synthesis for Timed Control with Partial ObservabilityHans-Jörg Peter, Bernd Finkbeiner. 204-219 [doi]
- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable HeuristicsJonas Rinast, Sibylle Schupp. 220-235 [doi]
- Frequencies in Forgetful Timed AutomataAmélie Stainer. 236-251 [doi]
- Mcta: Heuristics and Search for Timed SystemsMartin Wehrle, Sebastian Kupferschmid. 252-266 [doi]