Conferences in DBLP
M. Thomas Issues in Safety Assurance. [Citation Graph (0, 0)][DBLP ] Conf ] D. Wright Elicitation and Validation of Graphical Dependability Models. [Citation Graph (0, 0)][DBLP ] Conf ] A. Iqbal , A. K. Bhattacharjee , S. D. Dhodapkar , S. Ramesh Visual Modeling and Verification of Distributed Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ester Ciancamerla , Michele Minichino , S. Serro , Enrico Tronci Automatic Timeliness Verification of a Public Mobile Network. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bozzano , Adolfo Villafiorita Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP ] Conf ] Peter G. Bishop , Robin E. Bloomfield , Tim Clement , Sofia Guerra , Claire Jones Integrity Static Analysis of COTS/SOUP. [Citation Graph (0, 0)][DBLP ] Conf ] Zeshan Kurd , Tim Kelly Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Atte Helminen , U. Pulkkinen Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Dewsbury , Ian Sommerville , K. Clarke , Mark Rouncefield A Dependability Model for Domestic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Grünbauer , H. Hollmann , Jan Jürjens , Guido Wimmel Modelling and Verification of Layered Security Protocols: A Bank Application. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Bistarelli , Simon N. Foley A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. [Citation Graph (0, 0)][DBLP ] Conf ] Hongxia Jin , Gregory F. Sullivan , Gerald M. Masson Software Tamper Resistance Using Program Certificates. [Citation Graph (0, 0)][DBLP ] Conf ] Constance L. Heitmeyer Developing High Assurance Systems: On the Role of Software Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Magnos Martinello , Mohamed Kaâniche , Karama Kanoun Web Service Availability - Impact of Error Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Gilmore , Leïla Kloul A Unified Tool for Performance Modelling and Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Górski , Aleksander Jarzebowicz , Rafal Leszczyna , J. Miler , M. Olszewski An Approach to Trust Case Development. [Citation Graph (0, 0)][DBLP ] Conf ] J. Gorman , S. Walderhaug , H. Kvålen Reliable Data Replication in a Wireless Medical Emergency Network. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Rae , Daniel Jackson , Prasad Ramanan , Jay Flanz , Didier Leyman Critical Feature Analysis of a Radiotherapy Machine. [Citation Graph (0, 0)][DBLP ] Conf ] K. Driscoll , B. Hall , Håkan Sivencrona , P. Zumsteg Byzantine Fault Tolerance, from Theory to Reality. [Citation Graph (0, 0)][DBLP ] Conf ] O. Rooks , M. Armbruster , S. Büchli , A. Sulzmann , G. Spiegelberg , U. Kiencke Redundancy Management for Drive-by-Wire Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] C. Mataix , P. Martín , F. J. Rodríguez , M. J. Manzano , J. Pozo Fault-Tolerant Communication System to Improve Safety in Railway Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Nagarajan Kandasamy , John P. Hayes , Brian T. Murray Dependable Communication Synthesis for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] W. Weber , H. Tondok , M. Bachmayer Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Mason , Amer Saeed , Steve Riddle On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. [Citation Graph (0, 0)][DBLP ] Conf ] Kimberly S. Wasson , John C. Knight , Elisabeth A. Strunk , Sean R. Travis Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. [Citation Graph (0, 0)][DBLP ] Conf ] G. Angelis , Stefanos Gritzalis , Costas Lambrinoudakis Security Policy Configuration Issues in Grid Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Bologna , Claudio Balducelli , Giovanni Dipoppa , G. Vicoli Dependability and Survivability of Large Complex Critical Infrastructures. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Pasquini , S. Pozzi Safety Assessment of Experimental Air Traffc Management Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Chris W. Johnson The Application of Causal Analysis Techniques for Computer-Related Mishaps. [Citation Graph (0, 0)][DBLP ] Conf ] Shamus P. Smith , Michael D. Harrison Reuse in Hazard Analysis: Identification and Support. [Citation Graph (0, 0)][DBLP ] Conf ] N. Storey , A. Faulkner The Characteristics of Data in Data-Intensive Safety-Related Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chris W. Johnson Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. [Citation Graph (0, 0)][DBLP ] Conf ] 