| 0 | -- | 0 | Michael D. Harrison, José Creissac Campos. Analysing Human Aspects of Safety-Critical Software |
| 0 | -- | 0 | Tomás Bures, Petr Hnetynka. Safe Systems with Software Components in SOFA 2 |
| 0 | -- | 0 | Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter. Enhancing Java ME Security Support with Resource Usage Monitoring |
| 0 | -- | 0 | Nicolas Guelfi, Benoît Ries. SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems |
| 0 | -- | 0 | Jeanine Souquières. A Component-Based Approach for the Verification of Safety-Critical Software |
| 0 | -- | 0 | Kostas Pentikousis, Carmen Martinez-Carrillo. Mediated Collaborative Learning |
| 0 | -- | 0 | Raimund Kirner, Susanne Kandl. Test Coverage Analysis and Preservation for Requirements-Based Testing |
| 0 | -- | 0 | Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat. Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE |
| 0 | -- | 0 | Christophe Ponsard, Philippe Massonet, Gautier Dallons. From Rigorous Requirements Engineering to Formal System Design |
| 0 | -- | 0 | Wolfgang Herzner, Martin Schlager, György Csertán, Bernhard Huber, Thierry Le Sergent, Erwin Schoitsch, Rupert Schlick. Model-Based Development of Distributed Embedded Real-Time Systems |
| 0 | -- | 0 | Francesco Flammini, Nicola Mazzocca, Valeria Vittorini. New Paradigms and Tools for High-Assurance Systems Modelling |
| 0 | -- | 0 | Darren D. Cofer, Michael W. Whalen, Steven P. Miller. Model-Checking of Safety-Critical Software for Avionics |
| 0 | -- | 0 | Martin Leucker. Checking and Enforcing Safety: Runtime Verification and Runtime Reflection |
| 0 | -- | 0 | Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi. Experimenting with Diversity in the Formal Development of Railway Signalling Systems |
| 0 | -- | 0 | Andreas Gerstinger, Heinz Kantz, Christoph Scherrer. TAS Control Platform: A Platform for Safety-Critical Railway Applications |
| 0 | -- | 0 | Sjaak Smetsers, Marko C. J. D. van Eekelen. LaQuSo: Using Formal Methods for Analysis of Safety-Cr |
| 0 | -- | 0 | Erwin Schoitsch, Laila Gide. ProSE - Promoting Standardization for Embedded Systems |
| 0 | -- | 0 | J. Francisco Chicano, Enrique Alba. Testing Concurrent Software with Ants |
| 0 | -- | 0 | Chris W. Johnson. Modelling the Role of Software in the Propagation of Failures across Infrastructures |
| 0 | -- | 0 | Alexandre David, Brian Nielsen. Model-Driven Development of Embedded Real-Time Systems |
| 0 | -- | 0 | Jim Dowling, Seif Haridi. Developing a Distributed Electronic Health-Record Store for India |
| 0 | -- | 0 | Sven Söhnlein, Francesca Saglietti. Software Reliability Assessment by Statistical Analysis of Operational Experience |
| 0 | -- | 0 | Pedro Merino, Erwin Schoitsch. Introduction to the Special Theme Safety-Critical Software |
| 0 | -- | 0 | Marco Bakera, Tiziana Margaria. The SHADOWS Story on Implementation of Self-Healing Systems |
| 0 | -- | 0 | Alain Girault, Hamoudi Kalla. Bicriteria Multi-Processor Static Scheduling |
| 0 | -- | 0 | Brian Nielsen. Quasimodo |
| 0 | -- | 0 | Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi. Evaluation of Natural Language Requirements in the MODCONTROL Project |
| 0 | -- | 0 | Gerard J. Holzmann. Software Safety and Rocket Science |
| 0 | -- | 0 | Catherine E. Chronaki. Epidemic Intelligence: Satellite-Enabled Applications for Health Early Warning Systems |
| 0 | -- | 0 | Tamás Bartha, István Varga. Development of Safety Software for the Paks Nuclear Power Plant |
| 0 | -- | 0 | Wolfgang Herzner, Rupert Schlick, Manfred Gruber. A Step towards Generating Efficient Test Cases - the Project MOGENTES |