2008 |
15 | EE | Manuel Rodríguez,
Daniel Tapiador,
Javier Fontán,
Eduardo Huedo,
Rubén S. Montero,
Ignacio Martín Llorente:
Dynamic Provisioning of Virtual Clusters for Grid Computing.
Euro-Par Workshops 2008: 23-32 |
2007 |
14 | EE | Manuel Rodríguez,
José María Parra:
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator.
SDL Forum 2007: 186-202 |
13 | EE | Ricardo Sanz,
Ignacio López,
Manuel Rodríguez,
Carlos Hernández:
Principles for consciousness in integrated cognitive control.
Neural Networks 20(9): 938-946 (2007) |
2005 |
12 | EE | 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.
ICCBSS 2005: 258-267 |
2004 |
11 | | Manuel Rodríguez,
Luis E. Anido-Rifón,
Martín Llamas Nistal:
Towards IMS-LD Extensions to Actually Support Heterogeneous Learning Designs. A Pattern-based Approach.
ICALT 2004 |
10 | EE | Margarita de Cabo,
Manuel Rodríguez:
Applying eODL and SDL-Patterns for Developing TMN Managed Systems.
SAM 2004: 33-49 |
9 | | Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
Empaquetâches de tolérance aux fautes pour les systèmes temps réel.
Technique et Science Informatiques 23(4): 479-514 (2004) |
2003 |
8 | EE | Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
Building SWIFI Tools from Temporal Logic Specifications.
DSN 2003: 95-104 |
7 | | 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.
WCET 2003: 11-15 |
2002 |
6 | EE | Manuel Rodríguez,
Arnaud Albinet,
Jean Arlat:
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.
DSN 2002: 267-272 |
5 | EE | Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
Wrapping Real-Time Systems from Temporal Logic Specifications.
EDCC 2002: 253-270 |
4 | EE | Jean Arlat,
Jean-Charles Fabre,
Manuel Rodríguez,
Frédéric Salles:
Dependability of COTS Microkernel-Based Systems.
IEEE Trans. Computers 51(2): 138-163 (2002) |
2000 |
3 | EE | Jean-Charles Fabre,
Manuel Rodríguez,
Jean Arlat,
J.-M. Sizun:
Building dependable COTS microkernel-based systems using MAFALDA.
PRDC 2000: 85-94 |
1999 |
2 | EE | Manuel Rodríguez,
Frédéric Salles,
Jean-Charles Fabre,
Jean Arlat:
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.
EDCC 1999: 143-160 |
1 | EE | Frédéric Salles,
Manuel Rodríguez,
Jean-Charles Fabre,
Jean Arlat:
MetaKernels and Fault Containment Wrappers.
FTCS 1999: 22-29 |