| 2008 | A Context-Aware Mandatory Access Control Model for Multilevel Security Environments. Jafar Haadi Jafarian, Morteza Amini, Rasool Jalili |
| 2008 | A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. David Navarre, Philippe A. Palanque, Sandra Basnyat |
| 2008 | An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest. Abdullah M. S. Alaraj, Malcolm Munro |
| 2008 | Analysis of Nested CRC with Additional Net Data in Communication. Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold |
| 2008 | Analyzing Fault Susceptibility of ABS Microcontroller. Dawid Trawczynski, Janusz Sosnowski, Piotr Gawkowski |
| 2008 | Applying Safety Goals to a New Intensive Care Workstation System. Uwe Becker |
| 2008 | Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. Ayman K. Gendy, Michael J. Pont |
| 2008 | Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings Michael D. Harrison, Mark-Alexander Sujan |
| 2008 | Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2008 | Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles. Dennis K. Nilsson, Ulf Larson, Erland Jonsson |
| 2008 | Critical Information Infrastructures: Should Models Represent Structures or Functions? Erik Hollnagel |
| 2008 | Deriving Safety Software Requirements from an AltaRica System Model. Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc |
| 2008 | Early Prototyping of Wireless Sensor Network Algorithms in PVS. Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2008 | Expert Assessment of Arguments: A Method and Its Experimental Evaluation. Lukasz Cyra, Janusz Górski |
| 2008 | Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data. Danielle Chrun, Michel Cukier, Gerry Sneeringer |
| 2008 | Formal Security Analysis of Electronic Software Distribution Systems. Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
| 2008 | Formal Verification by Reverse Synthesis. Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
| 2008 | Integrating Safety Analyses and Component-Based Design. Dominik Domis, Mario Trapp |
| 2008 | Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers. Yasser Sedaghat, Seyed Ghassem Miremadi |
| 2008 | Model-Based Implementation of Real-Time Systems. Krzysztof Sacha |
| 2008 | Modeling and Analyzing Disaster Recovery Plans as Business Processes. Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski |
| 2008 | Modelling Support for Design of Safety-Critical Automotive Embedded Systems. De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren |
| 2008 | Panel: Complexity and Resilience. Aad P. A. van Moorsel |
| 2008 | Resilience Markers for Safer Systems and Organisations. Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford |
| 2008 | Resilience in the Aviation System. Antonio Chialastri, Simone Pozzi |
| 2008 | SafeSpection - A Systematic Customization Approach for Software Hazard Identification. Christian Denger, Mario Trapp, Peter Liggesmeyer |
| 2008 | Safety Assurance Strategies for Autonomous Vehicles. Andrzej Wardzinski |
| 2008 | Secure Interaction Models for the HealthAgents System. Liang Xiao, Paul H. Lewis, Srinandan Dasmahapatra |
| 2008 | Security Challenges in Adaptive e-Health Processes. Michael Predeschly, Peter Dadam, Hilmar Acker |
| 2008 | Security Threats to Automotive CAN Networks - Practical Examples and Selected Short-Term Countermeasures. Tobias Hoppe, Stefan Kiltz, Jana Dittmann |
| 2008 | Security and Interoperability for MANETs and a Fixed Core. Colin O'Halloran, Andy Bates |
| 2008 | Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
| 2008 | Technology, Society and Risk. Roger Rivett |
| 2008 | The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2008 | The Effectiveness of T-Way Test Data Generation. Michael Ellims, Darrel C. Ince, Marian Petre |
| 2008 | The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. Alberto Pasquini, Simone Pozzi, Luca Save |
| 2008 | Towards Agile Engineering of High-Integrity Systems. Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |