Manuel Rodríguez

According to our database, Manuel Rodríguez authored at least 9 papers between 1999 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2004

Empaquetâches de tolérance aux fautes pour les systèmes temps réel.

Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat

Tech. Sci. Informatiques, 2004

2003

Building SWIFI Tools from Temporal Logic Specifications.

Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Dependability of COTS Microkernel-Based Systems.

Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles

IEEE Trans. Computers, 2002

Wrapping Real-Time Systems from Temporal Logic Specifications.

Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat

Proceedings of the Dependable Computing, 2002

MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.

Manuel Rodríguez, Arnaud Albinet, Jean Arlat

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2000

Formal Specification for Building Robust Real-time Microkernels.

Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Building dependable COTS microkernel-based systems using MAFALDA.

Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun

Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

1999

MetaKernels and Fault Containment Wrappers.

Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat

Proceedings of the Digest of Papers: FTCS-29, 1999

MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.

Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat

Proceedings of the Dependable Computing, 1999