|
Search the dblp DataBase
Manuel Rodríguez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Building SWIFI Tools from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP] DSN, 2003, pp:95-104 [Conf]
- Manuel Rodríguez, Arnaud Albinet, Jean Arlat
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. [Citation Graph (0, 0)][DBLP] DSN, 2002, pp:267-272 [Conf]
- Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Wrapping Real-Time Systems from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP] EDCC, 2002, pp:253-270 [Conf]
- Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. [Citation Graph (0, 0)][DBLP] EDCC, 1999, pp:143-160 [Conf]
- Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
MetaKernels and Fault Containment Wrappers. [Citation Graph (0, 0)][DBLP] FTCS, 1999, pp:22-29 [Conf]
- Manuel Rodríguez, João Gabriel Silva, Patricia Rodríguez-Dapena, Han van Loon, Fernando Aldea-Montero
Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards. [Citation Graph (0, 0)][DBLP] ICCBSS, 2005, pp:258-267 [Conf]
- Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun
Building dependable COTS microkernel-based systems using MAFALDA. [Citation Graph (0, 0)][DBLP] PRDC, 2000, pp:85-94 [Conf]
- Margarita de Cabo, Manuel Rodríguez
Applying eODL and SDL-Patterns for Developing TMN Managed Systems. [Citation Graph (0, 0)][DBLP] SAM, 2004, pp:33-49 [Conf]
- Manuel Rodríguez, Nuno Silva, João Esteves, Luis Henriques, Diamantino Costa, Niklas Holsti, Kjeld Hjortnaes
Challenges in Calculating the WCET of a Complex On-board Satellite Application. [Citation Graph (0, 0)][DBLP] WCET, 2003, pp:11-15 [Conf]
- Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles
Dependability of COTS Microkernel-Based Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2002, v:51, n:2, pp:138-163 [Journal]
- Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
Empaquetâches de tolérance aux fautes pour les systèmes temps réel. [Citation Graph (0, 0)][DBLP] Technique et Science Informatiques, 2004, v:23, n:4, pp:479-514 [Journal]
- Manuel Rodríguez, José María Parra
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator. [Citation Graph (0, 0)][DBLP] SDL Forum, 2007, pp:186-202 [Conf]
Dynamic Provisioning of Virtual Clusters for Grid Computing. [Citation Graph (, )][DBLP]
Formal Specification for Building Robust Real-time Microkernels. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
|