| 2006 | A Tool for Databus Safety Analysis Using Fault Injection. Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski |
| 2006 | Access Control Coherence of Information Systems Based on Security Constraints. Aneta Poniszewska-Maranda |
| 2006 | Assessment of Hazard Identification Methods for the Automotive Domain. Fredrik Törner, Per Johannessen, Peter Öhman |
| 2006 | Automatic Test Data Generation by Multi-objective Optimisation. Norbert Oster, Francesca Saglietti |
| 2006 | Checking SCADE Models for Correct Usage of Physical Units. Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent |
| 2006 | Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. Holger Giese, Matthias Tichy |
| 2006 | Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings Janusz Górski |
| 2006 | Computer System Survivability Modelling by Using Stochastic Activity Network. Eimantas Garsva |
| 2006 | Demonstration of Safety in Healthcare Organisations. Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon |
| 2006 | Development of an Integrated, Risk-Based Platform for Information and E-Services Security. Andrzej Bialas |
| 2006 | Encapsulating Application Subsystems Using the DECOS Core OS. Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger |
| 2006 | Experiences with the Design of a Run-Time Check. Meine van der Meulen, Miguel A. Revilla |
| 2006 | Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry. Felicjan Rydzak, Lars S. Breistrand, Finn Olav Sveen, Ying Qian, Jose J. Gonzalez |
| 2006 | Gaining Confidence in the Software Development Process Using Expert Systems. Mário Brito, John May |
| 2006 | Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks. Won Jay Song, Moon Kyo Cho, Im Sook Há, Mun Kee Choi |
| 2006 | Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. Kirsten Berkenkötter, Ulrich Hannemann |
| 2006 | New VoIP Traffic Security Scheme with Digital Watermarking. Wojciech Mazurczyk, Zbigniew Kotulski |
| 2006 | On Certain Behavior of Scale-Free Networks Under Malicious Attacks. Tomasz Gierszewski, Wojciech Molisz, Jacek Rak |
| 2006 | Regulatory Software Configuration Management System Design. I-Hsin Chou, Chin-Feng Fan |
| 2006 | Reliability Analysis of Resilient Packet Rings. Piotr Cholda, Jerzy Domzal, Andrzej Jajszczyk, Krzysztof Wajda |
| 2006 | Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. Richard Banach, Marco Bozzano |
| 2006 | Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon |
| 2006 | Stepwise Development of Secure Systems. Thomas Santen |
| 2006 | System of Systems Hazard Analysis Using Simulation and Machine Learning. Robert Alexander, Dimitar Kazakov, Tim Kelly |
| 2006 | The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. Andrzej Wardzinski |
| 2006 | Through the Description of Attacks: A Multidimensional View. Igor Nai Fovino, Marcelo Masera |
| 2006 | Towards Filtering and Alerting Rule Rewriting on Single-Component Policies. Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia |
| 2006 | Towards a Unified Model-Based Safety Assessment. Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn |
| 2006 | Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. Martin Hall-May, Tim Kelly |
| 2006 | Using Group Overlapping to Protect Server from Attack in Grid Computing. Byungryong Kim |
| 2006 | Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán |
| 2006 | Verification of Automatic Train Protection Systems with RTCP-Nets. Marcin Szpyrka, Tomasz Szmuc |
| 2006 | Verifying a Chipcard-Based Biometric Identification Protocol in VSE. Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann |