Conferences in DBLP
Jose Antonio Fonseca , Jorge Rady de Almeida Jr. CMMI RAMS Extension Based on CENELEC Railway Standard. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:1-12 [Conf ] Robert Martinez , Torgeir Enkerud The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:13-23 [Conf ] Nawal Addouche , Christian Antoine , Jacky Montmain Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:24-36 [Conf ] Martin Hall-May , Tim Kelly Defining and Decomposing Safety Policy for Systems of Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:37-51 [Conf ] George Bearfield , William Marsh Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:52-66 [Conf ] Eunkyoung Jee , Junbeom Yoo , Sung Deok Cha Control and Data Flow Testing on Function Block Diagrams. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:67-80 [Conf ] Wolfgang Herzner , Stephan Ramberger , Thomas Länger , Christian Reumann , Thomas Gruber , Christian Sejkora Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:81-93 [Conf ] Edoardo Campagnano , Ester Ciancamerla , Michele Minichino , Enrico Tronci Automatic Analysis of a Safety Critical Tele Control System. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:94-107 [Conf ] Brahim Hamid , Mohamed Mosbah A Formal Model for Fault-Tolerance in Distributed Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:108-121 [Conf ] Anjali Joshi , Mats Per Erik Heimdahl Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:122-135 [Conf ] Zeshan Kurd , Tim P. Kelly Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:136-150 [Conf ] Meine van der Meulen , Lorenzo Strigini , Miguel A. Revilla On the Effectiveness of Run-Time Checks. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:151-164 [Conf ] Ruben Alexandersson , D. Krishna Chaitanya , Peter Öhman , Yasir Siraj A Technique for Fault Tolerance Assessment of COTS Based Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:165-178 [Conf ] Monica Kristiansen Finding Upper Bounds for Software Failure Probabilities - Experiments and Results. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:179-193 [Conf ] Peter G. Bishop , Robin E. Bloomfield , Sofia Guerra , Konstantinos Tourlas Justification of Smart Sensors for Nuclear Applications. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:194-207 [Conf ] Massimo Felici Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:208-221 [Conf ] Tage Stabell-Kulø , Simone Lupetti Public-Key Cryptography and Availability. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:222-232 [Conf ] Lei Wang , Mingde Zhao , Zengwei Zheng , Zhaohui Wu End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:233-245 [Conf ] Jonas Elmqvist , Simin Nadjm-Tehrani , Marius Minea Safety Interfaces for Component-Based Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:246-260 [Conf ] Martin Skambraks A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:261-274 [Conf ] J. H. Nyström , Philip W. Trinder , David J. King Are High-Level Languages Suitable for Robust Telecoms Software?. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:275-288 [Conf ] Ola Løkberg , Øystein Skogstad Functional Apportioning of Safety Requirements on Railway Signalling Systems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:289-302 [Conf ] Krzysztof Sacha Automatic Code Generation for PLC Controllers. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:303-316 [Conf ] Terje Sivertsen , Rune Fredriksen , Atoosa P.-J. Thunem , Jan-Erik Holmberg , Janne Valkonen , Olli Ventä , Jan-Ove Andersson The TACO Approach for Traceability and Communication of Requirements. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:317-329 [Conf ] Bengt Ljungquist , Thomas Thelin An IEC 62061 Compliant Safety System Design Method for Machinery. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:330-343 [Conf ] Tom Gilb Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:344-356 [Conf ] Qiang Yan , Hua-ying Shu The Application of an Object-Oriented Method in Information System Security Evaluation. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:357-367 [Conf ] Jose J. Gonzalez Towards a Cyber Security Reporting System - A Quality Improvement Process. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:368-380 [Conf ] Atoosa P.-J. Thunem Security Research from a Multi-disciplinary and Multi-sectoral Perspective. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:381-389 [Conf ] Denis Hatebur , Maritta Heisel Problem Frames and Architectures for Security Problems. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:390-404 [Conf ]