Abstract is missing.
- Stability of Discrete Sampled SystemsNicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin. 1-11 [doi]
- Issues in the Refinement of Distributed ProgramsYoram Moses. 12-17 [doi]
- Challenges in the Verification of Electronic Control UnitsWerner Damm. 18 [doi]
- Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and AbstractionHenrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou. 19-30 [doi]
- Decidable Model Checking of Probabilistic Hybrid AutomataJeremy Sproston. 31-45 [doi]
- Invariant-Based Synthesis of Fault-Tolerant SystemsKevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan. 46-57 [doi]
- Modeling Faults of Distributed, Reactive SystemsMax Breitling. 58-69 [doi]
- Threshold and Bounded-Delay Voting in Critical Control SystemsPaul Caspi, Rym Salem. 70-81 [doi]
- Automating the Addition of Fault-ToleranceSandeep S. Kulkarni, Anish Arora. 82-93 [doi]
- Reliability Modelling of Time-Critical Distributed SystemsHans Hansson, Christer Norström, Sasikumar Punnekkat. 94-105 [doi]
- A Methodology for the Construction of Scheduled SystemsKarine Altisen, Gregor Gößler, Joseph Sifakis. 106-120 [doi]
- A Dual Interpretation of "Standard Constraints" in Parametric SchedulingK. Subramani, Ashok K. Agrawala. 121-133 [doi]
- Co-simulation of Hybrid Systems: Signal-SimulinkStéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg. 134-151 [doi]
- A System for Object Code ValidationA. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar. 152-169 [doi]
- Real-Time Program Refinement Using Auxiliary VariablesIan J. Hayes. 170-184 [doi]
- On Refinement and Temporal AnnotationsRon van der Meyden, Yoram Moses. 185-201 [doi]
- Generalizing Action Systems to Hybrid SystemsRalph-Johan Back, Luigia Petre, Ivan Porres. 202-213 [doi]
- Compositional Verification of Synchronous NetworksLeszek Holenderski. 214-227 [doi]
- Modelling Coordinated Atomic Actions in Timed CSPSimeon Veloudis, Nimal Nissanke. 228-239 [doi]
- A Logical Characterisation of Event Recording AutomataDeepak D Souza. 240-251 [doi]
- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid AutomataMichaël Adélaïde, Olivier Roux. 252-263 [doi]
- Probabilistic Neighbourhood LogicDimitar P. Guelev. 264-275 [doi]
- An On-the-Fly Tableau Construction for a Real-Time Temporal LogicMarc Geilen, Dennis Dams. 276-290 [doi]
- Verifying Universal Properties of Parameterized NetworksKai Baukus, Yassine Lakhnech, Karsten Stahl. 291-303 [doi]