| 2009 | Analysing Dependability Case Arguments Using Quality Models. | Michaela Huhn, Axel Zechner |
| 2009 | Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB. | Zaijun Hu, Carlos G. Bilich |
| 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 | 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 | Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. | Thomas Gruber, Egbert Althammer, Erwin Schoitsch |
| 2009 | Probabilistic Failure Propagation and Transformation Analysis. | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
| 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 | AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. | Christof Fetzer, Ute Schiffel, Martin Skraut |
| 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 | Component-Based Abstraction in Fault Tree Analysis. | Dominik Domis, Mario Trapp |
| 2009 | Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. | Brian Butka, Janusz Zalewski, Andrew J. Kornecki |
| 2009 | Probability of Failure on Demand - The Why and the How. | Jens Braband, Rdiger vom Hvel, Hendrik Schbe |
| 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 | Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. | Friedemann Bitsch, Ulrich Feucht, Huw Gough |
| 2009 | Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508. | Carlos G. Bilich, Zaijun Hu |
| 2009 | Model-Based Development of Medical Devices. | Uwe Becker |
| 2009 | Formal Verification of a Microkernel Used in Dependable Software Systems. | Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer |
| 2009 | Why Are People's Decisions Sometimes Worse with Computer Support?. | Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton |
| 2009 | Exploring Network Security in PROFIsafe. | Johan kerberg, Mats Bjrkman |
| 2009 | CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. | Andreas Lumbe Aas, Stig Ole Johnsen, Torbjrn Skramstad |
| 2008 | Modeling and Analyzing Disaster Recovery Plans as Business Processes. | Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski |
| 2008 | Formal Verification by Reverse Synthesis. | Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
| 2008 | Secure Interaction Models for the HealthAgents System. | Liang Xiao, Paul H. Lewis, Srinandan Dasmahapatra |
| 2008 | Safety Assurance Strategies for Autonomous Vehicles. | Andrzej Wardzinski |