| 2006 | Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. | Holger Giese, Matthias Tichy |
| 2006 | On Certain Behavior of Scale-Free Networks Under Malicious Attacks. | Tomasz Gierszewski, Wojciech Molisz, Jacek Rak |
| 2006 | Computer System Survivability Modelling by Using Stochastic Activity Network. | Eimantas Garsva |
| 2006 | Towards Filtering and Alerting Rule Rewriting on Single-Component Policies. | Joaqun Garca-Alfaro, Frdric Cuppens, Nora Cuppens-Boulahia |
| 2006 | Through the Description of Attacks: A Multidimensional View. | Igor Nai Fovino, Marcelo Masera |
| 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 | Verifying a Chipcard-Based Biometric Identification Protocol in VSE. | Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann |
| 2006 | Gaining Confidence in the Software Development Process Using Expert Systems. | Mrio Brito, John May |
| 2006 | Development of an Integrated, Risk-Based Platform for Information and E-Services Security. | Andrzej Bialas |
| 2006 | Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. | Kirsten Berkenktter, Ulrich Hannemann |
| 2006 | Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. | Richard Banach, Marco Bozzano |
| 2006 | System of Systems Hazard Analysis Using Simulation and Machine Learning. | Robert Alexander, Dimitar Kazakov, Tim Kelly |
| 2005 | The Application of an Object-Oriented Method in Information System Security Evaluation. | Qiang Yan, Huaying Shu |
| 2005 | End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems. | Lei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu |
| 2005 | Security Research from a Multi-disciplinary and Multi-sectoral Perspective. | Atoosa P.-J. Thunem |
| 2005 | Public-Key Cryptography and Availability. | Tage Stabell-Kul, Simone Lupetti |
| 2005 | A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. | Martin Skambraks |
| 2005 | The TACO Approach for Traceability and Communication of Requirements. | Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Vent, Jan-Ove Andersson |
| 2005 | Automatic Code Generation for PLC Controllers. | Krzysztof Sacha |
| 2005 | Are High-Level Languages Suitable for Robust Telecoms Software?. | Jan Henry Nystrm, Philip W. Trinder, David J. King |
| 2005 | On the Effectiveness of Run-Time Checks. | Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla |
| 2005 | The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems. | Robert Martinez, Torgeir Enkerud |
| 2005 | Functional Apportioning of Safety Requirements on Railway Signalling Systems. | Ola Lkberg, ystein Skogstad |
| 2005 | An IEC 62061 Compliant Safety System Design Method for Machinery. | Bengt Ljungquist, Thomas Thelin |