| 2005 | A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. | Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo |
| 2005 | An Architectural Framework for Detecting Process Hangs/Crashes. | Nithin Nakka, Giacinto Paolo Saggese, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2005 | Efficient Protection of Many-to-One Communications. | Mikls Molnr, Alexandre Guitton, Bernard Cousin, Raymond A. Marie |
| 2005 | The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. | Meine van der Meulen, Miguel A. Revilla |
| 2005 | Regression Test Selection for Testable Classes. | Eliane Martins, Vanessa Gindri Vieira |
| 2005 | Dependability Challenges and Education Perspectives. | Henrique Madeira |
| 2005 | Efficiency of Dynamic Arbitration in TDMA Protocols. | Jens Chr. Lisner |
| 2005 | Adding Fault-Tolerance Using Pre-synthesized Components. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2005 | Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. | Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Grard Le Lann, Eric Bornschlegl |
| 2005 | An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. | Bjarne E. Helvik, Hein Meling, Alberto Montresor |
| 2005 | Fault Links: Exploring the Relationship Between Module and Fault Types. | Jane Huffman Hayes, Inies C. M. Raphael, Vinod Kumar Surisetty, Anneliese Amschler Andrews |
| 2005 | Impact of Faults in Combinational Logic of Commercial Microcontrollers. | Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil |
| 2005 | Building and Using Quorums Despite any Number of Process of Crashes. | Roy Friedman, Achour Mostfaoui, Michel Raynal |
| 2005 | Deterministic Test Vector Compression / Decompression Using an Embedded Processor. | Maciej Bellos, Dimitris Nikolos |
| 2005 | Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. | Tams Bartha, Istvn Varga, Alexandros Soumelidis, Gza Szab |
| 2005 | Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. | Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson |
| 2005 | Total Order Communications: A Practical Analysis. | Roberto Baldoni, Stefano Cimmino, Carlo Marchetti |
| 2005 | Gracefully Degrading Fair Exchange with Security Modules. | Gildas Avoine, Felix C. Grtner, Rachid Guerraoui, Marko Vukolic |
| 2005 | Fast Run-Time Reconfiguration for SEU Injection. | David de Andrs, Jos Albaladejo, Lenin Lemus, Pedro J. Gil |
| 2005 | A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. | Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola |
| 2002 | Biologically Inspired Fault-Tolerant Computer Systems. | Andrew M. Tyrrell |
| 2002 | Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. | Luca Simoncini |
| 2002 | UMLinux - A Versatile SWIFI Tool. | Volkmar Sieh, Kerstin Buchacker |
| 2002 | Wrapping Real-Time Systems from Temporal Logic Specifications. | Manuel Rodrguez, Jean-Charles Fabre, Jean Arlat |
| 2002 | On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. | Stefano Porcarelli, Felicita Di Giandomenico |