| 2002 | A Problem-Oriented Approach to Common Criteria Certification. Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner |
| 2002 | A Rigorous View of Mode Confusion. Jan Bredereke, Axel Lankenau |
| 2002 | A Strategy for Improving the Efficiency of Procedure Verification. Wenhui Zhang |
| 2002 | A Watchdog Processor Architecture with Minimal Performance Overhead. Francisco Rodríguez, José Carlos Campelo, Juan José Serrano |
| 2002 | An Approach to a New Network Security Architecture for Academic Environments. MahdiReza Mohajerani, Ali Moeini |
| 2002 | Analysing the Safety of a Software Development Process. Stephen Paynter, Bob W. Born |
| 2002 | Architectural Considerations in the Certification of Modular Systems. Iain Bate, Tim Kelly |
| 2002 | Assertion Checking Environment (ACE) for Formal Verification of C Programs. Babita Sharma, S. D. Dhodapkar, S. Ramesh |
| 2002 | Assessment of the Benefit of Redundant Systems. Luping Chen, John H. R. May, Gordon Hughes |
| 2002 | Checking Safe Trajectories of Aircraft Using Hybrid Automata. Ítalo Romani de Oliveira, Paulo Sérgio Cugnasca |
| 2002 | Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings Stuart Anderson, Sandro Bologna, Massimo Felici |
| 2002 | Dependability and Configurability: Partners or Competitors in Pervasive Computing? Titos Saridakis |
| 2002 | Dependability as Ordinary Action. Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield |
| 2002 | Dependability in the Information Society: Getting Ready for the FP6. Andrea Servida |
| 2002 | Dependability of Joint Human-Computer Systems. Erik Hollnagel |
| 2002 | Estimating Residual Faults from Code Coverage. Peter G. Bishop |
| 2002 | Human-Computer System Dependability. Sandro Bologna, Erik Hollnagel |
| 2002 | Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale |
| 2002 | Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. Yiannis Papadopoulos |
| 2002 | Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino |
| 2002 | On Diversity, and the Elusiveness of Independence. Bev Littlewood |
| 2002 | Practical Solutions to Key Recovery Based on PKI in IP Security. Yoon-Jung Rhee, Tai-Yun Kim |
| 2002 | Redundant Data Acquisition in a Distributed Security Compound. Thomas Droste |
| 2002 | Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. Peter T. Popov |
| 2002 | Safety Analysis of the Height Control System for the Elbtunnel. Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
| 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 | Software Criticality Analysis of COTS/SOUP. Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra |
| 2002 | Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation. Klaus D. Heidtmann |
| 2002 | Survivability Strategy for a Security Critical Process. Ferdinand J. Dafelmair |
| 2002 | The CORAS Framework for a Model-Based Risk Management Process. Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos |
| 2002 | Towards a Metrics Based Verification and Validation Maturity Model. Jef Jacobs, Jos J. M. Trienekens |
| 2002 | Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |