The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Rodríguez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

  13. Dynamic Provisioning of Virtual Clusters for Grid Computing. [Citation Graph (, )][DBLP]


  14. Formal Specification for Building Robust Real-time Microkernels. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002