MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. - Manuel Rodríguez 001; Arnaud Albinet; Jean Arlat (DSN, 2002)

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. - Arnaud Albinet; Jean Arlat; Jean-Charles Fabre (DSN, 2004)

Caractérisation de systèmes d'exploitation en présence de pilotes défaillants. - Arnaud Albinet (2005)

Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes. - Arnaud Albinet; Jean Arlat; J. Fabre (Tech. Sci. Informatiques, 2008)

Requirement traceability in safety critical systems. - Marie-Agnès Peraldi-Frati; Arnaud Albinet (EDCC-CARS, 2010)

Requirements and Solutions for Timing Analysis of Automotive Systems. - Saoussen Anssi; Sébastien Gérard; Arnaud Albinet; François Terrier (SAM, 2010)