Abstract is missing.
- Why Safety and Security Should and Will MergeAndreas Pfitzmann. 1-2 [doi]
- The Deconstruction of Safety Arguments Through Adversarial Counter-ArgumentJames M. Armstrong, Stephen Paynter. 3-16 [doi]
- Using Fuzzy Self-Organising Maps for Safety Critical SystemsZeshan Kurd, Tim Kelly. 17-30 [doi]
- Using Formal Methods in a Retrospective Safety CaseLars-Henrik Eriksson. 31-44 [doi]
- A Highly Fault Detectable Cache Architecture for Dependable ComputingHamid R. Zarandi, Seyed Ghassem Miremadi. 45-59 [doi]
- An Empirical Exploration of the Difficulty FunctionJ. G. W. Bentley, Peter G. Bishop, Meine van der Meulen. 60-71 [doi]
- Towards the Integration of Fault, Resource, and Power ManagementTitos Saridakis. 72-86 [doi]
- Modeling Concepts for Safety-Related Requirements in Sociotechnical SystemsMichael Cebulla. 87-100 [doi]
- Analysing Mode Confusion: An Approach Using FDR2Bettina Buth. 101-114 [doi]
- Handling Safety Critical Requirements in System Engineering Using the B Formal Method D. Essame. 115 [doi]
- A Hybrid Testing Methodology for Railway Control SystemsGiuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo. 116-129 [doi]
- Actuator Based Hazard Analysis for Safety Critical SystemsPer Johannessen, Fredrik Törner, Jan Torin. 130-141 [doi]
- Performability Measures of the Public Mobile Network of a Tele Control SystemEster Ciancamerla, Michele Minichino. 142-154 [doi]
- PLC-Based Safety Critical Software Development for Nuclear Power PlantsJunbeom Yoo, Sung Deok Cha, Han Seiong Son, Chang Hwoi Kim, Jang-Soo Lee. 155-165 [doi]
- Compositional Hazard Analysis of UML Component and Deployment ModelsHolger Giese, Matthias Tichy, Daniela Schilling. 166-179 [doi]
- Automatic Test Data Generation from Embedded C CodeE. Dillon, Christophe Meudec. 180-194 [doi]
- State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled SystemsBernhard Kaiser, C. Gramlich. 195-209 [doi]
- Safety Requirements and Fault Trees Using RetrenchmentRichard Banach, R. Cross. 210-223 [doi]
- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular AvionicsD. Rehage, U. B. Carl, M. Merkel, A. Vahl. 224-238 [doi]
- Automotive Telematics - Road Safety Versus IT Security?Ralf Guido Herrtwich. 239 [doi]
- Modular Formal Analysis of the Central Guardian in the Time-Triggered ArchitectureHolger Pfeifer, Friedrich W. von Henke. 240-253 [doi]
- Refinement of Fault Tolerant Control Systems in BLinas Laibinis, Elena Troubitsyna. 254-268 [doi]
- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C SystemsM. Vollmer. 269-282 [doi]
- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel BandwidthAlessandro Aldini, Marco Bernardo. 283-296 [doi]
- Dependability Benchmarking of Web-ServersJoão Durães, Marco Vieira, Henrique Madeira. 297-310 [doi]
- An Approach for Model-Based Risk AssessmentBjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem. 311-324 [doi]
- How Explicit Are the Barriers to Failure in Safety Arguments?Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp. 325-338 [doi]