| 2001 | A Bayesian Belief Network for Reliability Assessment. Bjørn Axel Gran, Atte Helminen |
| 2001 | A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck |
| 2001 | A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. Ioannis Vakalis |
| 2001 | A Fail-Safe Dual Channel Robot Control for Surgery Applications. Ulrich Laible, Thomas Bürger, Günter Pritschow |
| 2001 | About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot |
| 2001 | An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer |
| 2001 | Analysis of Incidents Involving Interactive Systems. Alberto Pasquini, Antonio Rizzo, Luca Save |
| 2001 | Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. Oliver Mäckel, Georg Hoever |
| 2001 | Checking General Safety Criteria on UML Statecharts. Zsigmond Pap, István Majzik, András Pataricza |
| 2001 | Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings Udo Voges |
| 2001 | Dependability Evaluation. Cláudia Betous-Almeida, Karama Kanoun |
| 2001 | Designing Safety into Medical Decisions and Clinical Processes. John Fox |
| 2001 | Experimental Evaluation of Fault Handling Mechanisms. Piotr Gawkowski, Janusz Sosnowski |
| 2001 | Formal Support for Fault Modelling and Analysis. Tadeusz Cichocki, Janusz Górski |
| 2001 | Modeling the Human in Human Factors. John M. Rushby |
| 2001 | Network Security for Substation Automation Systems. Martin Naedele, Dacfey Dzung, Michael Stanimirov |
| 2001 | Presenting a Safety Case - A Case Study. Odd Nordland |
| 2001 | Project Experience with IEC 61508 and Its Consequences. Rainer Faller |
| 2001 | Safety Functions versus Control Functions. Hans R. Fankhauser |
| 2001 | Safety Patterns - The Key to Formal Specification of Safety Requirements. Friedemann Bitsch |
| 2001 | Security Assessments of Safety Critical Systems Using HAZOPs. Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran |
| 2001 | The COTS Debate in Perspective. Felix Redmill |
| 2001 | The Effectiveness of Statistical Testing when Applied to Logic Systems. Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter |
| 2001 | Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli |