| 2008 | Resilience in the Aviation System. | Antonio Chialastri, Simone Pozzi |
| 2008 | Modelling Support for Design of Safety-Critical Automotive Embedded Systems. | De-Jiu Chen, Rolf Johansson, Henrik Lnn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Trner, Martin Trngren |
| 2008 | Early Prototyping of Wireless Sensor Network Algorithms in PVS. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2008 | Applying Safety Goals to a New Intensive Care Workstation System. | Uwe Becker |
| 2008 | Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. | Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2008 | Resilience Markers for Safer Systems and Organisations. | Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford |
| 2008 | An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest. | Abdullah M. S. Alaraj, Malcolm Munro |
| 2007 | Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. | Weihang Wu, Tim Kelly |
| 2007 | Software Encoded Processing: Building Dependable Systems with Commodity Hardware. | Ute Wappler, Christof Fetzer |
| 2007 | Compositional Temporal Fault Tree Analysis. | Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos |
| 2007 | Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. | Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager |
| 2007 | Handling Malicious Code on Control Systems. | Wan-Hui Tseng, Chin-Feng Fan |
| 2007 | Formal Specification and Analysis of AFDX Redundancy Management Algorithms. | Jan Tubrich, Reinhard von Hanxleden |
| 2007 | Learning from Your Elders: A Shortcut to Information Security Management Success. | Finn Olav Sveen, Jos Manuel Torres, Jose Mara Sarriegi |
| 2007 | Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. | Mark-Alexander Sujan, Floor Koornneef, Udo Voges |
| 2007 | Experimental Assessment of Astre on Safety-Critical Avionics Software. | Jean Souyris, David Delmas |
| 2007 | RAMSS Analysis for a Co-operative Integrated Traffic Management System. | Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck |
| 2007 | Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. | Falk Salewski, Stefan Kowalewski |
| 2007 | Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. | Kizito Salako |
| 2007 | Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation. | Hans Russo, Andreas Turk |
| 2007 | A Reliability Evaluation of a Group Membership Protocol. | Valrio Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques |
| 2007 | Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Buer, Jorge Cullar |
| 2007 | Establishing Evidence for Safety Cases in Automotive Systems - A Case Study. | Willem Ridderhof, Hans-Gerhard Gro, Heiko Drr |
| 2007 | Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
| 2007 | How to Secure Bluetooth-Based Pico Networks. | Dennis K. Nilsson, Phillip A. Porras, Erland Jonsson |