Abstract is missing.
- Performance Evaluation of Schedulers in a Probabilistic SettingJean-Francois Kempf, Marius Bozga, Oded Maler. 1-17 [doi]
- Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?Boudewijn R. Haverkort. 18-24 [doi]
- Interfaces for Control ComponentsRajeev Alur. 25 [doi]
- Time-Bounded Verification of CTMCs against Real-Time SpecificationsTaolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre. 26-42 [doi]
- Performance Model Checking Scenario-Aware DataflowBart D. Theelen, Marc Geilen, Jeroen Voeten. 43-59 [doi]
- Probabilistic Real-Time Rewrite Theories and Their Expressive PowerLucian Bentea, Peter Csaba Ölveczky. 60-79 [doi]
- Statistical Model Checking for Networks of Priced Timed AutomataAlexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang. 80-96 [doi]
- Robust Model-Checking of Timed Automata via Pumping in Channel MachinesPatricia Bouyer, Nicolas Markey, Ocan Sankur. 97-112 [doi]
- Thin and Thick Timed Regular LanguagesNicolas Basset, Eugene Asarin. 113-128 [doi]
- Robust Specification of Real Time ComponentsKim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. 129-144 [doi]
- Minimum Attention Controller Synthesis for Omega-Regular ObjectivesKrishnendu Chatterjee, Rupak Majumdar. 145-159 [doi]
- Crossing the Bridge between Similar GamesJan-David Quesel, Martin Fränzle, Werner Damm. 160-176 [doi]
- Exact Incremental Analysis of Timed Automata with an SMT-SolverBahareh Badban, Martin Lange. 177-192 [doi]
- Segmented State Space Traversal for Conformance Testing of Cyber-Physical SystemsMatthias Woehrle, Kai Lampka, Lothar Thiele. 193-208 [doi]
- Event Clock Automata: From Theory to PracticeGilles Geeraerts, Jean-François Raskin, Nathalie Sznajder. 209-224 [doi]
- On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal ProjectionsDileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya. 225-239 [doi]
- Craig Interpolation in the Presence of Non-linear ConstraintsStefan Kupferschmid, Bernd Becker. 240-255 [doi]
- On the Verification of Timed Ad Hoc NetworksParosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso. 256-270 [doi]
- Incremental Computation of Succinct Abstractions for Hybrid SystemsTomás Dzetkulic, Stefan Ratschan. 271-285 [doi]
- Composing Stability Proofs for Hybrid SystemsCorina Mitrohin, Andreas Podelski. 286-300 [doi]
- Rigorous Discretization of Hybrid Systems Using Process CalculiSven Schneider, Uwe Nestmann. 301-316 [doi]
- Model-Based Dependability Analysis of Programmable Drug Infusion PumpsSriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis. 317-334 [doi]
- A Design-for-Verification Framework for a Configurable Performance-Critical Communication InterfaceSuleiman Abu Kharmeh, Kerstin Eder, David May. 335-351 [doi]