Abstract is missing.
- From Software to Hardware and BackPaul Feautrier. 1-2 [doi]
- Of Elections and ElectronsPeter Y. A. Ryan. 3-4 [doi]
- Formal Verification of an Avionics Sensor Voter Using SCADESamar Dajani-Brown, Darren D. Cofer, Amar Bouali. 5-20 [doi]
- Mixed Delay and Threshold Voters in Critical Real-Time SystemsChiheb Kossentini, Paul Caspi. 21-35 [doi]
- Towards a Methodological Approach to Specification and Analysis of Dependable Automation SystemsSimona Bernardi, Susanna Donatelli, Giovanna Dondossola. 36-51 [doi]
- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite TopologiesJennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode. 52-67 [doi]
- On Timed Automata with Input-Determined GuardsDeepak D Souza, Nicolas Tabareau. 68-83 [doi]
- Decomposing Verification of Timed I/O AutomataDilsun Kirli Kaynar, Nancy A. Lynch. 84-101 [doi]
- Symbolic Model Checking for Simply-Timed SystemsNicolas Markey, Ph. Schnoebelen. 102-117 [doi]
- Robustness and Implementability of Timed AutomataMartin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin. 118-133 [doi]
- Real-Time Testing with Timed Automata Testers and Coverage CriteriaMoez Krichen, Stavros Tripakis. 134-151 [doi]
- Monitoring Temporal Properties of Continuous SignalsOded Maler, Dejan Nickovic. 152-166 [doi]
- A Unified Fault-Tolerance ProtocolPaul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon. 167-182 [doi]
- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed SpecificationsFelix C. Gärtner, Arshad Jhumka. 183-198 [doi]
- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar AutomataBruno Dutertre, Maria Sorea. 199-214 [doi]
- Static Fault-Tolerant Real-Time Scheduling with Pseudo-topological OrdersCatalin Dima, Alain Girault, Yves Sorel. 215-230 [doi]
- The Influence of Durational Actions on Time EquivalencesHarald Fecher. 231-245 [doi]
- Bounded Model Checking for Region AutomataFang Yu, Bow-Yaw Wang, Yao-Wen Huang. 246-262 [doi]
- Some Progress in Satisfiability Checking for Difference LogicScott Cotton, Eugene Asarin, Oded Maler, Peter Niebert. 263-276 [doi]
- Model-Checking for Weighted Timed AutomataThomas Brihaye, Véronique Bruyère, Jean-François Raskin. 277-292 [doi]
- Symbolic Model Checking for Probabilistic Timed AutomataMarta Z. Kwiatkowska, Gethin J. Norman, Jeremy Sproston, Fuzhi Wang. 293-308 [doi]
- Structured Modeling of Concurrent Stochastic Hybrid SystemsMikhail Bernadsky, Raman Sharykin, Rajeev Alur. 309-324 [doi]
- Computing Schedules for Multithreaded Real-Time Programs Using GeometryPhilippe Gerner, Thao Dang. 325-342 [doi]
- Forward Reachability Analysis of Timed Petri NetsParosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén. 343-362 [doi]
- Lazy Approximation for Dense Real-Time SystemsMaria Sorea. 363-378 [doi]
- Learning of Event-Recording AutomataOlga Grinchtein, Bengt Jonsson, Martin Leucker. 379-396 [doi]