| 2002 | Survivability Strategy for a Security Critical Process. | Ferdinand J. Dafelmair |
| 2002 | Assessment of the Benefit of Redundant Systems. | Luping Chen, John H. R. May, Gordon Hughes |
| 2002 | A Rigorous View of Mode Confusion. | Jan Bredereke, Axel Lankenau |
| 2002 | Human-Computer System Dependability. | Sandro Bologna, Erik Hollnagel |
| 2002 | Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. | Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale |
| 2002 | Software Criticality Analysis of COTS/SOUP. | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra |
| 2002 | Estimating Residual Faults from Code Coverage. | Peter G. Bishop |
| 2002 | Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2002 | Architectural Considerations in the Certification of Modular Systems. | Iain Bate, Tim Kelly |
| 2001 | A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. | Gnther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck |
| 2001 | Security Assessments of Safety Critical Systems Using HAZOPs. | Rune Winther, Ole-Arnt Johnsen, Bjrn Axel Gran |
| 2001 | A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. | Ioannis Vakalis |
| 2001 | Modeling the Human in Human Factors. | John M. Rushby |
| 2001 | The COTS Debate in Perspective. | Felix Redmill |
| 2001 | Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. | Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli |
| 2001 | Analysis of Incidents Involving Interactive Systems. | Alberto Pasquini, Antonio Rizzo, Luca Save |
| 2001 | Checking General Safety Criteria on UML Statecharts. | Zsigmond Pap, Istvn Majzik, Andrs Pataricza |
| 2001 | Presenting a Safety Case - A Case Study. | Odd Nordland |
| 2001 | Network Security for Substation Automation Systems. | Martin Naedele, Dacfey Dzung, Michael Stanimirov |
| 2001 | Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. | Oliver Mckel, Georg Hoever |
| 2001 | A Fail-Safe Dual Channel Robot Control for Surgery Applications. | Ulrich Laible, Thomas Brger, Gnter Pritschow |
| 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 | An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. | Mohamed Kaniche, Yannick Le Gudart, Jean Arlat, Thierry Boyer |
| 2001 | A Bayesian Belief Network for Reliability Assessment. | Bjrn Axel Gran, Atte Helminen |
| 2001 | Experimental Evaluation of Fault Handling Mechanisms. | Piotr Gawkowski, Janusz Sosnowski |