Abstract is missing.
- Issues in Safety AssuranceM. Thomas. 1-7 [doi]
- Elicitation and Validation of Graphical Dependability ModelsD. Wright. 8-21 [doi]
- Visual Modeling and Verification of Distributed Reactive SystemsA. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh. 22-34 [doi]
- Automatic Timeliness Verification of a Public Mobile NetworkEster Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci. 35-48 [doi]
- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis PlatformMarco Bozzano, Adolfo Villafiorita. 49-62 [doi]
- Integrity Static Analysis of COTS/SOUPPeter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones. 63-76 [doi]
- Safety Lifecycle for Developing Safety Critical Artificial Neural NetworksZeshan Kurd, Tim Kelly. 77-91 [doi]
- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian NetworksAtte Helminen, U. Pulkkinen. 92-102 [doi]
- A Dependability Model for Domestic SystemsGuy Dewsbury, Ian Sommerville, K. Clarke, Mark Rouncefield. 103-115 [doi]
- Modelling and Verification of Layered Security Protocols: A Bank ApplicationJohannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel. 116-129 [doi]
- A Constraint Framework for the Qualitative Analysis of Dependability Goals: IntegrityStefano Bistarelli, Simon N. Foley. 130-143 [doi]
- Software Tamper Resistance Using Program CertificatesHongxia Jin, Gregory F. Sullivan, Gerald M. Masson. 144-158 [doi]
- Developing High Assurance Systems: On the Role of Software ToolsConstance L. Heitmeyer. 159-164 [doi]
- Web Service Availability - Impact of Error RecoveryMagnos Martinello, Mohamed Kaâniche, Karama Kanoun. 165-178 [doi]
- A Unified Tool for Performance Modelling and PredictionStephen Gilmore, Leïla Kloul. 179-192 [doi]
- An Approach to Trust Case DevelopmentJanusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, J. Miler, M. Olszewski. 193-206 [doi]
- Reliable Data Replication in a Wireless Medical Emergency NetworkJ. Gorman, Ståle Walderhaug, H. Kvålen. 207-220 [doi]
- Critical Feature Analysis of a Radiotherapy MachineAndrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman. 221-234 [doi]
- Byzantine Fault Tolerance, from Theory to RealityK. Driscoll, B. Hall, Håkan Sivencrona, P. Zumsteg. 235-248 [doi]
- Redundancy Management for Drive-by-Wire Computer SystemsO. Rooks, Michael Armbruster, S. Büchli, Armin Sulzmann, Gernot Spiegelberg, U. Kiencke. 249-262 [doi]
- Fault-Tolerant Communication System to Improve Safety in Railway EnvironmentsC. Mataix, P. Martín, F. J. Rodríguez, M. J. Manzano, J. Pozo. 263-274 [doi]
- Dependable Communication Synthesis for Distributed Embedded SystemsNagarajan Kandasamy, John P. Hayes, Brian T. Murray. 275-288 [doi]
- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SWW. Weber, H. Tondok, M. Bachmayer. 289-302 [doi]
- On the Role of Traceability for Standards Compliance: Tracking Requirements to CodePaul Mason, Amer Saeed, Steve Riddle. 303-316 [doi]
- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems DevelopmentKimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis. 317-330 [doi]
- Security Policy Configuration Issues in Grid Computing EnvironmentsG. Angelis, Stefanos Gritzalis, Costas Lambrinoudakis. 331-341 [doi]
- Dependability and Survivability of Large Complex Critical InfrastructuresSandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli. 342-353 [doi]
- Safety Assessment of Experimental Air Traffc Management ProceduresAlberto Pasquini, Simone Pozzi. 354-367 [doi]
- The Application of Causal Analysis Techniques for Computer-Related MishapsChris W. Johnson. 368-381 [doi]
- Reuse in Hazard Analysis: Identification and SupportShamus P. Smith, Michael D. Harrison. 382-395 [doi]
- The Characteristics of Data in Data-Intensive Safety-Related SystemsN. Storey, A. Faulkner. 396-409 [doi]
- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and AccidentsChris W. Johnson. 410-424 [doi]