| 2007 | Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
| 2007 | A Tool for Network Reliability Analysis. | Andrea Bobbio, Roberta Terruggia, A. Boellis, Ester Ciancamerla, Michele Minichino |
| 2007 | A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. | Jesper Berthing, Thomas Maier |
| 2007 | Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. | Fevzi Belli, Axel Hollmann, Nimal Nissanke |
| 2007 | Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
| 2007 | Management of Groups and Group Keys in Multi-level Security Environments. | Mohammad Alhammouri, Sead Muftic |
| 2006 | The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. | Andrzej Wardzinski |
| 2006 | A Tool for Databus Safety Analysis Using Fault Injection. | Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski |
| 2006 | Assessment of Hazard Identification Methods for the Automotive Domain. | Fredrik Trner, Per Johannessen, Peter hman |
| 2006 | Verification of Automatic Train Protection Systems with RTCP-Nets. | Marcin Szpyrka, Tomasz Szmuc |
| 2006 | Demonstration of Safety in Healthcare Organisations. | Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon |
| 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 | Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. | Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, Lszl Gnczy, Andrs Pataricza, Gyrgy Csertn |
| 2006 | Checking SCADE Models for Correct Usage of Physical Units. | Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent |
| 2006 | Encapsulating Application Subsystems Using the DECOS Core OS. | Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Grndonner, Maximilian Rosenblattl, Erwin Erkinger |
| 2006 | Stepwise Development of Secure Systems. | Thomas Santen |
| 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 | Access Control Coherence of Information Systems Based on Security Constraints. | Aneta Poniszewska-Maranda |
| 2006 | Towards a Unified Model-Based Safety Assessment. | Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Bde, Matthias Pretzer, Ernst Moritz Hahn |
| 2006 | Automatic Test Data Generation by Multi-objective Optimisation. | Norbert Oster, Francesca Saglietti |
| 2006 | Experiences with the Design of a Run-Time Check. | Meine van der Meulen, Miguel A. Revilla |
| 2006 | New VoIP Traffic Security Scheme with Digital Watermarking. | Wojciech Mazurczyk, Zbigniew Kotulski |
| 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 | Using Group Overlapping to Protect Server from Attack in Grid Computing. | Byungryong Kim |
| 2006 | Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. | Martin Hall-May, Tim Kelly |