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)

Building dependable COTS microkernel-based systems using MAFALDA. - Jean-Charles Fabre; Manuel Rodríguez 001; Jean Arlat; J.-M. Sizun (PRDC, 2000)

Formal Specification for Building Robust Real-time Microkernels. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (RTSS, 2000)

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

Wrapping Real-Time Systems from Temporal Logic Specifications. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (EDCC, 2002)

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

Building SWIFI Tools from Temporal Logic Specifications. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (DSN, 2003)

Empaquetâches de tolérance aux fautes pour les systèmes temps réel. - Manuel Rodríguez 001; Jean-Charles Fabre; Jean Arlat (Tech. Sci. Informatiques, 2004)