| 1999 | The Impact of Different Media on Safety and Usability of Interactive ATC Applications. | Fabio Patern, Carmen Santoro, Sophie Tahmassebi |
| 1999 | Hierarchically Performed Hazard Origin and Propagation Studies. | Yiannis Papadopoulos, John A. McDermid |
| 1999 | Extendable Ground-to-Air Communication Architecture for CoDySa. | Algirdas Pakstas, Igor Shagaev |
| 1999 | Software Reliability Engineering in Industry. | John D. Musa |
| 1999 | A Method for Operator Error Detection Based on Plan Recognition. | Jin Mo, Yves Crouzet |
| 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 | Towards Statistical Control of an Industrial Test Process. | Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti |
| 1999 | Safety Analysis Techniques for Validating Formal Models During Verification. | Rogrio de Lemos, Amer Saeed |
| 1999 | Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature. | Sung-Min Lee, Tai-Yun Kim |
| 1999 | Structural Software Reliability Estimation. | Silke Kuball, John H. R. May, Gordon Hughes |
| 1999 | Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. | Heinrich Krebs, Swapan Mitra |
| 1999 | A Systematic Approach to Safety Case Maintenance. | Tim P. Kelly, John A. McDermid |
| 1999 | A First Step Towards the Integration of Accident Reports and Constructive Design Documents. | Chris W. Johnson |
| 1999 | Evaluating the Contribution of DesktopVR for Safety-Critical Applications. | Chris W. Johnson |
| 1999 | Patterns for Safer Human-Computer Interfaces. | Andrew Hussey |
| 1999 | Modeling Safety-Critical Systems with Z and Petri Nets. | Monika Heiner, Maritta Heisel |
| 1999 | Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces. | Lucia Vilela Leite Filgueiras |
| 1999 | Safety Markup Language: Concept and Application. | Chin-Feng Fan, Swu Yih |
| 1999 | The Integration of Safety and Security Requirements. | David Peter Eames, Jonathan D. Moffett |
| 1999 | SQUALE Dependability Assessment Criteria. | Yves Deswarte, Mohamed Kaniche, Pierre Corneillie, John Goodson |
| 1999 | Safety Evaluation of a Train Leader Telephone System. | Gustav Dahll |
| 1999 | Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability. | Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak |
| 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 | 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 Design of Distributed Control Systems with Lustre. | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber |