Conferences in DBLP
M. Thomas Issues in Safety Assurance. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:1-7 [Conf ] D. Wright Elicitation and Validation of Graphical Dependability Models. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:8-21 [Conf ] A. Iqbal , A. K. Bhattacharjee , S. D. Dhodapkar , S. Ramesh Visual Modeling and Verification of Distributed Reactive Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:22-34 [Conf ] Ester Ciancamerla , Michele Minichino , S. Serro , Enrico Tronci Automatic Timeliness Verification of a Public Mobile Network. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:35-48 [Conf ] Marco Bozzano , Adolfo Villafiorita Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:49-62 [Conf ] Peter G. Bishop , Robin E. Bloomfield , Tim Clement , Sofia Guerra , Claire Jones Integrity Static Analysis of COTS/SOUP. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:63-76 [Conf ] Zeshan Kurd , Tim Kelly Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:77-91 [Conf ] Atte Helminen , U. Pulkkinen Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:92-102 [Conf ] Guy Dewsbury , Ian Sommerville , K. Clarke , Mark Rouncefield A Dependability Model for Domestic Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:103-115 [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 ] SAFECOMP, 2003, pp:116-129 [Conf ] Stefano Bistarelli , Simon N. Foley A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:130-143 [Conf ] Hongxia Jin , Gregory F. Sullivan , Gerald M. Masson Software Tamper Resistance Using Program Certificates. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:144-158 [Conf ] Constance L. Heitmeyer Developing High Assurance Systems: On the Role of Software Tools. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:159-164 [Conf ] Magnos Martinello , Mohamed Kaâniche , Karama Kanoun Web Service Availability - Impact of Error Recovery. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:165-178 [Conf ] Stephen Gilmore , Leïla Kloul A Unified Tool for Performance Modelling and Prediction. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:179-192 [Conf ] Janusz Górski , Aleksander Jarzebowicz , Rafal Leszczyna , J. Miler , M. Olszewski An Approach to Trust Case Development. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:193-206 [Conf ] J. Gorman , S. Walderhaug , H. Kvålen Reliable Data Replication in a Wireless Medical Emergency Network. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:207-220 [Conf ] Andrew Rae , Daniel Jackson , Prasad Ramanan , Jay Flanz , Didier Leyman Critical Feature Analysis of a Radiotherapy Machine. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:221-234 [Conf ] K. Driscoll , B. Hall , Håkan Sivencrona , P. Zumsteg Byzantine Fault Tolerance, from Theory to Reality. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:235-248 [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 ] SAFECOMP, 2003, pp:249-262 [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 ] SAFECOMP, 2003, pp:263-274 [Conf ] Nagarajan Kandasamy , John P. Hayes , Brian T. Murray Dependable Communication Synthesis for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:275-288 [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 ] SAFECOMP, 2003, pp:289-302 [Conf ] Paul Mason , Amer Saeed , Steve Riddle On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:303-316 [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 ] SAFECOMP, 2003, pp:317-330 [Conf ] G. Angelis , Stefanos Gritzalis , Costas Lambrinoudakis Security Policy Configuration Issues in Grid Computing Environments. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:331-341 [Conf ] Sandro Bologna , Claudio Balducelli , Giovanni Dipoppa , G. Vicoli Dependability and Survivability of Large Complex Critical Infrastructures. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:342-353 [Conf ] Alberto Pasquini , S. Pozzi Safety Assessment of Experimental Air Traffc Management Procedures. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:354-367 [Conf ] Chris W. Johnson The Application of Causal Analysis Techniques for Computer-Related Mishaps. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:368-381 [Conf ] Shamus P. Smith , Michael D. Harrison Reuse in Hazard Analysis: Identification and Support. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:382-395 [Conf ] N. Storey , A. Faulkner The Characteristics of Data in Data-Intensive Safety-Related Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:396-409 [Conf ] Chris W. Johnson Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2003, pp:410-424 [Conf ]