Abstract is missing.
- Tapas: Theory Combinations and Practical ApplicationsNikolaj Bjørner, Leonardo Mendonça de Moura. 1-6 [doi]
- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum GamesStephane Gaubert. 7-11 [doi]
- Approximations of Discrete, Continuous, and Hybrid SystemsGeorge J. Pappas. 12 [doi]
- Volume and Entropy of Regular Timed Languages: Analytic ApproachEugene Asarin, Aldric Degorre. 13-27 [doi]
- Synthesis of Non-Interferent Timed SystemsGilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux. 28-42 [doi]
- Critical Paths in the Partial Order Unfolding of a Stochastic Petri NetAnne Bouillard, Stefan Haar, Sidney Rosario. 43-57 [doi]
- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component AnalysisVÃctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero. 58-72 [doi]
- Efficient on-the-fly Algorithm for Checking Alternating Timed SimulationPeter Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. 73-87 [doi]
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed AutomataAshish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain. 88-102 [doi]
- Safe Runtime Verification of Real-Time PropertiesChristian Colombo, Gordon J. Pace, Gerardo Schneider. 103-117 [doi]
- Removing All Silent Transitions from Timed AutomataCatalin Dima, Ruggero Lanotte. 118-132 [doi]
- Realizability of Real-Time LogicsLaurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert. 133-148 [doi]
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed AutomataMartin Fränzle, Mani Swaminathan. 149-163 [doi]
- Analyzing Real-Time Event-Driven ProgramsPierre Ganty, Rupak Majumdar. 164-178 [doi]
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed AutomataRodolfo Gómez. 179-194 [doi]
- Compositional Abstraction for Stochastic SystemsJoost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. 195-211 [doi]
- Stochastic Games for Verification of Probabilistic Timed AutomataMarta Z. Kwiatkowska, Gethin J. Norman, David Parker. 212-227 [doi]
- Checking Timed Büchi Automata Emptiness Using LU-AbstractionsGuangyuan Li. 228-242 [doi]
- On the Supports of Recognizable Timed SeriesKarin Quaas. 243-257 [doi]
- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order AbstractionShinya Umeno. 258-274 [doi]
- Exploiting Timed Automata for Conformance Testing of Power MeasurementsMatthias Woehrle, Kai Lampka, Lothar Thiele. 275-290 [doi]