Abstract is missing.
- Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk)Tarek F. Abdelzaher. 1 [doi]
- Safraless Procedures for Timed SpecificationsBarbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder. 2-22 [doi]
- Property-Based Monitoring of Analog and Mixed-Signal SystemsJohn Havlicek, Scott Little, Oded Maler, Dejan Nickovic. 23-24 [doi]
- A Framework for Verification of Software with Time and ProbabilitiesMarta Z. Kwiatkowska, Gethin Norman, David Parker. 25-45 [doi]
- Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited Tutorial)Ulrich Schmid. 46 [doi]
- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional SettingDirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda. 47-61 [doi]
- Computing Equilibria in Two-Player Timed Games ::::via:::: Turn-Based Finite GamesPatricia Bouyer, Romain Brenguier, Nicolas Markey. 62-76 [doi]
- Natural Domain SMT: A Preliminary AssessmentScott Cotton. 77-91 [doi]
- Robust Satisfaction of Temporal Logic over Real-Valued SignalsAlexandre Donzé, Oded Maler. 92-106 [doi]
- Combining Symbolic Representations for Solving Timed GamesRüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter. 107-121 [doi]
- Expected Reachability-Time GamesVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi. 122-136 [doi]
- Diagnosis Using Unfoldings of Parametric Time Petri NetsBartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. 137-151 [doi]
- From Mtl to Deterministic Timed AutomataDejan Nickovic, Nir Piterman. 152-167 [doi]
- Unambiguity in Timed Regular Languages: Automata and LogicsParitosh K. Pandya, Simoni S. Shah. 168-182 [doi]
- A Process Algebraic Framework for Modeling Resource Demand and SupplyAnna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi. 183-197 [doi]
- Memory Event ClocksJames Jerson Ortiz, Axel Legay, Pierre Yves Schobbens. 198-212 [doi]
- Simulation and Bisimulation for Probabilistic Timed AutomataJeremy Sproston, Angelo Troina. 213-227 [doi]
- Layered Composition for Timed AutomataErnst-Rüdiger Olderog, Mani Swaminathan. 228-242 [doi]
- A Conformance Testing Relation for Symbolic Timed AutomataSabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz. 243-255 [doi]