| 1999 | A First Step Towards the Integration of Accident Reports and Constructive Design Documents. Chris W. Johnson |
| 1999 | A Graphical Environment for the Specification and Verification of Reactive Systems. A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
| 1999 | A Holistic Design Concept to Improve Safety Related Control Systems. Maria Wimmer, Antonio Rizzo, Mark-Alexander Sujan |
| 1999 | A Method for Operator Error Detection Based on Plan Recognition. Jin Mo, Yves Crouzet |
| 1999 | A Systematic Approach to Safety Case Maintenance. Tim P. Kelly, John A. McDermid |
| 1999 | Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. Gerald Sonneck, Erwin Schoitsch |
| 1999 | Automated Black-Box Testing with Abstract VDM Oracles. Bernhard K. Aichernig |
| 1999 | Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky |
| 1999 | Comparing Fault Trees and Bayesian Networks for Dependability Analysis. Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla |
| 1999 | Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings Massimo Felici, Karama Kanoun, Alberto Pasquini |
| 1999 | Dependability Requirements and Security Architectures for the Healthcare/Medical Sector. Gilles Trouessin |
| 1999 | Evaluating the Contribution of DesktopVR for Safety-Critical Applications. Chris W. Johnson |
| 1999 | Extendable Ground-to-Air Communication Architecture for CoDySa. Algirdas Pakstas, Igor Shagaev |
| 1999 | FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda |
| 1999 | Formal Design of Distributed Control Systems with Lustre. Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber |
| 1999 | Formal Specification and Development of a Safety-Critical Train Management System. Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
| 1999 | Formal Validation of the GUARDS Inter-Consistency Mechanism. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1999 | Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. Heinrich Krebs, Swapan Mitra |
| 1999 | Hazard Analysis in Formal Specification. Kaisa Sere, Elena Troubitsyna |
| 1999 | Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems. José Carlos Campelo, Pedro Yuste, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano |
| 1999 | Hierarchically Performed Hazard Origin and Propagation Studies. Yiannis Papadopoulos, John A. McDermid |
| 1999 | Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces. Lucia Vilela Leite Filgueiras |
| 1999 | Impact of Communication on Systems Dependability: Human Factors Perspectives. Laurence Rognin, Jean-Paul Blanquart |
| 1999 | Modeling Safety-Critical Systems with Z and Petri Nets. Monika Heiner, Maritta Heisel |
| 1999 | On Formal Languages for Sequences of Authorization Transformations. Yun Bai, Vijay Varadharajan |
| 1999 | Patterns for Safer Human-Computer Interfaces. Andrew Hussey |
| 1999 | Programming Rule Static Verification for Reliable Software. Philippe Robert |
| 1999 | SQUALE Dependability Assessment Criteria. Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson |
| 1999 | Safety Analysis Techniques for Validating Formal Models During Verification. Rogério de Lemos, Amer Saeed |
| 1999 | Safety Evaluation of a Train Leader Telephone System. Gustav Dahll |
| 1999 | Safety Markup Language: Concept and Application. Chin-Feng Fan, Swu Yih |
| 1999 | Safety Verification of Ada95 Programs Using Software Fault Trees. Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae |
| 1999 | Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability. Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak |
| 1999 | Software Reliability Engineering in Industry. John D. Musa |
| 1999 | Structural Software Reliability Estimation. Silke Kuball, John H. R. May, Gordon Hughes |
| 1999 | System and Software Safety Analysis for the ERA Control Computer. P. G. Beerthuizen, W. Kruidhof |
| 1999 | The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERT Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones |
| 1999 | The Impact of Different Media on Safety and Usability of Interactive ATC Applications. Fabio Paternò, Carmen Santoro, Sophie Tahmassebi |
| 1999 | The Integration of Safety and Security Requirements. David Peter Eames, Jonathan D. Moffett |
| 1999 | Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature. Sung-Min Lee, Tai-Yun Kim |
| 1999 | Towards Statistical Control of an Industrial Test Process. Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti |