| 2000 | Software Support for Incident Reporting Systems in Safety-Critical Applications. | Chris W. Johnson |
| 2000 | HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. | Andrew Hussey |
| 2000 | Programmable Electronic System Design & Verification Utilizing DFM. | Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas |
| 2000 | A Safety Licensable PES for SIL 4 Applications. | Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric |
| 2000 | Estimating Dependability of Programmable Systems Using BBNs. | Bjrn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrm, Peter Strocka, Britt J. Ystanes |
| 2000 | The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems. | Thomas Gilb |
| 2000 | IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems?? | Derek Fowler, Phil Bennett |
| 2000 | The Safety Management of Data-Driven Safety-Related Systems. | A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey |
| 2000 | Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems. | Richard Evans, Jonathan D. Moffett |
| 2000 | A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. | Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald |
| 2000 | Improvements in Process Control Dependability through Internet Security Technology. | Ferdinand J. Dafelmair |
| 2000 | Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. | Tadeusz Cichocki, Janusz Grski |
| 2000 | A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. | Luping Chen, John H. R. May, Gordon Hughes |
| 2000 | Formal Methods Diffusion: Past Lessons and Future Prospects. | Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann |
| 2000 | Expert Error: The Case of Trouble-Shooting in Electronics. | Denis Besnard |
| 2000 | An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems. | D. Basu, R. Paramasivam |
| 2000 | Controlling Requirements Evolution: An Avionics Case Study. | Stuart Anderson, Massimo Felici |
| 2000 | Dependability of Computer Control Systems in Power Plants. | Cludia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun |
| 1999 | A Holistic Design Concept to Improve Safety Related Control Systems. | Maria Wimmer, Antonio Rizzo, Mark-Alexander Sujan |
| 1999 | Dependability Requirements and Security Architectures for the Healthcare/Medical Sector. | Gilles Trouessin |
| 1999 | Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. | Gerald Sonneck, Erwin Schoitsch |
| 1999 | Hazard Analysis in Formal Specification. | Kaisa Sere, Elena Troubitsyna |
| 1999 | Impact of Communication on Systems Dependability: Human Factors Perspectives. | Laurence Rognin, Jean-Paul Blanquart |
| 1999 | Programming Rule Static Verification for Reliable Software. | Philippe Robert |
| 1999 | Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. | Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky |