Can we rely on COTS microkernels for building fault-tolerant systems? - Frédéric Salles; Jean Arlat; Jean-Charles Fabre (FTDCS, 1997)

MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. - Manuel Rodríguez 001; Frédéric Salles; Jean-Charles Fabre; Jean Arlat (EDCC, 1999)

MetaKernels and Fault Containment Wrappers. - Frédéric Salles; Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (FTCS, 1999)

Dependability of COTS Microkernel-Based Systems. - Jean Arlat; Jean-Charles Fabre; Manuel Rodríguez 001; Frédéric Salles (IEEE Trans. Computers, 2002)