Manuel Rodríguez

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

Publications

Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Empaquetâches de tolérance aux fautes pour les systèmes temps réel. Tech. Sci. Informatiques 23 (4) (2004)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Building SWIFI Tools from Temporal Logic Specifications. DSN (2003)
Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles
Dependability of COTS Microkernel-Based Systems. IEEE Trans. Computers 51 (2) (2002)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Wrapping Real-Time Systems from Temporal Logic Specifications. EDCC (2002)
Manuel Rodríguez, Arnaud Albinet, Jean Arlat
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. DSN (2002)
Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun
Building dependable COTS microkernel-based systems using MAFALDA. PRDC (2000)
Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Formal Specification for Building Robust Real-time Microkernels. RTSS (2000)
Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
MetaKernels and Fault Containment Wrappers. FTCS (1999)
Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. EDCC (1999)