| 2000 | A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. Luping Chen, John H. R. May, Gordon Hughes |
| 2000 | A Dependability-Explicit Model for the Development of Computing Systems. Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
| 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 | A Method of Analysis of Fault Trees with Time Dependencies. Jan Magott, Pawel Skrobanek |
| 2000 | A Safety Licensable PES for SIL 4 Applications. Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric |
| 2000 | A Survey on Safety-Critical Multicast Networking. James S. Pascoe, Roger J. Loader |
| 2000 | An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems. D. Basu, R. Paramasivam |
| 2000 | Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. Bev Littlewood, Peter T. Popov, Lorenzo Strigini |
| 2000 | Causal Reasoning about Aircraft Accidents. Peter B. Ladkin |
| 2000 | Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings Floor Koornneef, Meine van der Meulen |
| 2000 | Controlling Requirements Evolution: An Avionics Case Study. Stuart Anderson, Massimo Felici |
| 2000 | Dependability Evaluation: Model and Method Based on Activity Theory. Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini |
| 2000 | Dependability of Computer Control Systems in Power Plants. Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun |
| 2000 | Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems. Richard Evans, Jonathan D. Moffett |
| 2000 | Deriving Quantified Safety Requirements in Complex Systems. Peter A. Lindsay, John A. McDermid, David J. Tombs |
| 2000 | Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. John Napier, John H. R. May, Gordon Hughes |
| 2000 | Estimating Dependability of Programmable Systems Using BBNs. Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka, Britt J. Ystanes |
| 2000 | Expert Error: The Case of Trouble-Shooting in Electronics. Denis Besnard |
| 2000 | Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. Tadeusz Cichocki, Janusz Górski |
| 2000 | Forensic Software Engineering and the Need for New Approaches to Accident Investigation. Chris Johnson |
| 2000 | Formal Methods Diffusion: Past Lessons and Future Prospects. Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann |
| 2000 | Formal Methods: The Problem Is Education. Thierry Scheurer |
| 2000 | HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. Andrew Hussey |
| 2000 | IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems?? Derek Fowler, Phil Bennett |
| 2000 | Improvements in Process Control Dependability through Internet Security Technology. Ferdinand J. Dafelmair |
| 2000 | Improving Software Development by Using Safe Object Oriented Development: OTCD. Xavier Méhaut, Pierre Morère |
| 2000 | Programmable Electronic System Design & Verification Utilizing DFM. Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas |
| 2000 | Risk Ordering of States in Safecharts. Nimal Nissanke, Hamdan Dammag |
| 2000 | SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller. Andreas Schenk |
| 2000 | Safe Tech: A Control Oriented Viewpoint. Maarten Steinbuch |
| 2000 | Safety and Security Issues in Electric Power Industry. Zdzislaw Zurakowski |
| 2000 | Software Support for Incident Reporting Systems in Safety-Critical Applications. Chris W. Johnson |
| 2000 | Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
| 2000 | Speeding-Up Fault Injection Campaigns in VHDL Models. B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
| 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 | The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems. Thomas Gilb |
| 2000 | Validation of Control System Specifications with Abstract Plant Models. Wenhui Zhang |