Abstract is missing.
- Software Reliability Engineering in IndustryJohn D. Musa. 1-12 [doi]
- A Systematic Approach to Safety Case MaintenanceTim P. Kelly, John A. McDermid. 13-26 [doi]
- SQUALE Dependability Assessment CriteriaYves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson. 27-38 [doi]
- Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA ProjectGerald Sonneck, Erwin Schoitsch. 39-45 [doi]
- Safety Evaluation of a Train Leader Telephone SystemGustav Dahll. 46-57 [doi]
- Safety Analysis Techniques for Validating Formal Models During VerificationRogério de Lemos, Amer Saeed. 58-66 [doi]
- Evaluating the Contribution of DesktopVR for Safety-Critical ApplicationsChris Johnson. 67-78 [doi]
- Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer InterfacesLucia Vilela Leite Filgueiras. 79-88 [doi]
- The Impact of Different Media on Safety and Usability of Interactive ATC ApplicationsFabio Paternò, Carmen Santoro, Sophie Tahmassebi. 89-102 [doi]
- Patterns for Safer Human-Computer InterfacesAndrew Hussey. 103-112 [doi]
- Impact of Communication on Systems Dependability: Human Factors PerspectivesLaurence Rognin, Jean-Paul Blanquart. 113-124 [doi]
- A Method for Operator Error Detection Based on Plan RecognitionJin Mo, Yves Crouzet. 125-138 [doi]
- Hierarchically Performed Hazard Origin and Propagation StudiesYiannis Papadopoulos, John A. McDermid. 139-152 [doi]
- Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current StandardsHeinrich Krebs, Swapan Mitra. 153-162 [doi]
- System and Software Safety Analysis for the ERA Control ComputerP. G. Beerthuizen, W. Kruidhof. 163-176 [doi]
- Safety Markup Language: Concept and ApplicationChin-Feng Fan, Swu Yih. 177-186 [doi]
- Extendable Ground-to-Air Communication Architecture for CoDySaAlgirdas Pakstas, Igor Shagaev. 187-201 [doi]
- Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control SystemsJosé Carlos Campelo, Pedro Yuste, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano. 202-215 [doi]
- The Development of a Commercial Shrink-Wrapped Application to Safety Integrity Level 2: The DUST-EXPERT:::TM::: StoryTim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones. 216-225 [doi]
- Safety Verification of Ada95 Programs Using Software Fault TreesSang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae. 226-238 [doi]
- Programming Rule Static Verification for Reliable SoftwarePhilippe Robert. 239-249 [doi]
- Automated Black-Box Testing with Abstract VDM OraclesBernhard K. Aichernig. 250-259 [doi]
- Towards Statistical Control of an Industrial Test ProcessGaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti. 260-271 [doi]
- Choosing Effective Methods for Design Diversity - How to Progress from Intuition to SciencePeter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky. 272-285 [doi]
- A First Step Towards the Integration of Accident Reports and Constructive Design DocumentsChris Johnson. 286-296 [doi]
- A Holistic Design Concept to Improve Safety Related Control SystemsMaria Wimmer, Antonio Rizzo, Mark-Alexander Sujan. 297-309 [doi]
- Comparing Fault Trees and Bayesian Networks for Dependability AnalysisAndrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla. 310-322 [doi]
- FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based SystemsAlfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda. 323-335 [doi]
- Structural Software Reliability EstimationSilke Kuball, John H. R. May, Gordon Hughes. 336-349 [doi]
- Hazard Analysis in Formal SpecificationKaisa Sere, Elena Troubitsyna. 350-360 [doi]
- Modeling Safety-Critical Systems with Z and Petri NetsMonika Heiner, Maritta Heisel. 361-374 [doi]
- On Formal Languages for Sequences of Authorization TransformationsYun Bai, Vijay Varadharajan. 375-384 [doi]
- Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule ReliabilityIreneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak. 385-395 [doi]
- Formal Design of Distributed Control Systems with LustrePaul Caspi, Christine Mazuet, Rym Salem, Daniel Weber. 396-409 [doi]
- Formal Specification and Development of a Safety-Critical Train Management SystemA. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita. 410-419 [doi]
- Formal Validation of the GUARDS Inter-Consistency MechanismCinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi. 420-430 [doi]
- A Graphical Environment for the Specification and Verification of Reactive SystemsA. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar. 431-444 [doi]
- Dependability Requirements and Security Architectures for the Healthcare/Medical SectorGilles Trouessin. 445-458 [doi]
- Three-Pass Hybrid Key Establishment Protocol Based on ESIGN SignatureSung-Min Lee, Tai-Yun Kim. 459-467 [doi]
- The Integration of Safety and Security RequirementsDavid Peter Eames, Jonathan D. Moffett. 468-480 [doi]