Abstract is missing.
- An Introduction to the StreamQRE LanguageRajeev Alur, Konstantinos Mamouras. 1-24 [doi]
- Reactive Synthesis: Towards Output-Sensitive AlgorithmsBernd Finkbeiner, Felix Klein 0001. 25-43 [doi]
- Computing the Next-State Function of a Requirements ModelConstance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer. 44-59 [doi]
- From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine LearningKim G. Larsen, Uli Fahrenberg, Axel Legay. 60-103 [doi]
- Viper: A Verification Infrastructure for Permission-Based ReasoningPeter Müller 0001, Malte Schwerhoff, Alexander J. Summers. 104-125 [doi]
- Automata Based Validation TechniquesDoron Peled. 126-140 [doi]
- Defect-Based TestingAlexander Pretschner. 141-163 [doi]
- Temporal Logic as FilteringAlena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu. 164-185 [doi]
- Assurance and Assurance CasesJohn Rushby. 207-235 [doi]