| 2009 | A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. Anne E. Haxthausen |
| 2009 | A Foundation for Requirements Analysis of Dependable Software. Denis Hatebur, Maritta Heisel |
| 2009 | AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. Christof Fetzer, Ute Schiffel, Martin Süßkraut |
| 2009 | Analysing Dependability Case Arguments Using Quality Models. Michaela Huhn, Axel Zechner |
| 2009 | Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats. Tobias Hoppe, Stefan Kiltz, Jana Dittmann |
| 2009 | CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad |
| 2009 | Component-Based Abstraction in Fault Tree Analysis. Dominik Domis, Mario Trapp |
| 2009 | Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings Bettina Buth, Gerd Rabe, Till Seyfarth |
| 2009 | Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. Geraldine Vache |
| 2009 | Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. John Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl |
| 2009 | Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB. Zaijun Hu, Carlos G. Bilich |
| 2009 | Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508. Carlos G. Bilich, Zaijun Hu |
| 2009 | Exploring Network Security in PROFIsafe. Johan Åkerberg, Mats Björkman |
| 2009 | Formal Verification of a Microkernel Used in Dependable Software Systems. Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
| 2009 | Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel. Thomas Steffen, Frank Schiller, Michael Blum, Roger Dixon |
| 2009 | Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. Brian Butka, Janusz Zalewski, Andrew J. Kornecki |
| 2009 | Model-Based Development of Medical Devices. Uwe Becker |
| 2009 | Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms. Vincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, Antonio Di Pietro, Alberto Tofani |
| 2009 | Probabilistic Failure Propagation and Transformation Analysis. Xiaocheng Ge, Richard F. Paige, John A. McDermid |
| 2009 | Probability of Failure on Demand - The Why and the How. Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe |
| 2009 | Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2009 | Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. Thomas Gruber, Egbert Althammer, Erwin Schoitsch |
| 2009 | Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. Friedemann Bitsch, Ulrich Feucht, Huw Gough |
| 2009 | The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | Towards Model-Based Automatic Testing of Attack Scenarios. Mohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin |
| 2009 | Why Are People's Decisions Sometimes Worse with Computer Support?. Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton |