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