| 2003 | Integrity Static Analysis of COTS/SOUP. | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones |
| 2003 | Security Policy Configuration Issues in Grid Computing Environments. | George Angelis, Stefanos Gritzalis, Costas Lambrinoudakis |
| 2002 | A Strategy for Improving the Efficiency of Procedure Verification. | Wenhui Zhang |
| 2002 | Dependability as Ordinary Action. | Alexander Vo, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield |
| 2002 | Assertion Checking Environment (ACE) for Formal Verification of C Programs. | Babita Sharma, S. D. Dhodapkar, S. Ramesh |
| 2002 | Dependability in the Information Society: Getting Ready for the FP6. | Andrea Servida |
| 2002 | Dependability and Configurability: Partners or Competitors in Pervasive Computing? | Titos Saridakis |
| 2002 | A Problem-Oriented Approach to Common Criteria Certification. | Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner |
| 2002 | A Watchdog Processor Architecture with Minimal Performance Overhead. | Francisco Rodrguez, Jos Carlos Campelo, Juan Jos Serrano |
| 2002 | Practical Solutions to Key Recovery Based on PKI in IP Security. | Yoon-Jung Rhee, Tai-Yun Kim |
| 2002 | Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. | Peter T. Popov |
| 2002 | Analysing the Safety of a Software Development Process. | Stephen Paynter, Bob W. Born |
| 2002 | Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. | Yiannis Papadopoulos |
| 2002 | Safety Analysis of the Height Control System for the Elbtunnel. | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
| 2002 | Checking Safe Trajectories of Aircraft Using Hybrid Automata. | talo Romani de Oliveira, Paulo Srgio Cugnasca |
| 2002 | An Approach to a New Network Security Architecture for Academic Environments. | MahdiReza Mohajerani, Ali Moeini |
| 2002 | On Diversity, and the Elusiveness of Independence. | Bev Littlewood |
| 2002 | Safety and Security Analysis of Object-Oriented Models. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2002 | Software Challenges in Aviation Systems. | John C. Knight |
| 2002 | Towards a Metrics Based Verification and Validation Maturity Model. | Jef Jacobs, Jos J. M. Trienekens |
| 2002 | Dependability of Joint Human-Computer Systems. | Erik Hollnagel |
| 2002 | Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation. | Klaus D. Heidtmann |
| 2002 | Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. | Marco Gribaudo, Andrs Horvth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino |
| 2002 | The CORAS Framework for a Model-Based Risk Management Process. | Rune Fredriksen, Monica Kristiansen, Bjrn Axel Gran, Ketil Stlen, Tom Arthur Opperud, Theodosis Dimitrakos |
| 2002 | Redundant Data Acquisition in a Distributed Security Compound. | Thomas Droste |