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