 | 2009 |
| 8 |  | Juan Pardo,
José Carlos Campelo,
Juan José Serrano:
NEXUS Capabilities for Embedded Software and Hardware Validation.
ESA 2009: 190-196 |
| 7 |  | Juan Pardo,
David de Andrés,
Juan Carlos Ruiz,
José Carlos Campelo:
Technologies for the Development of Dependable and Secure Component-based Embedded Systems: TecnoSeC Project.
ESA 2009: 237-242 |
| 6 |  | Juan Pardo,
José Carlos Campelo,
Juan José Serrano:
Non-intrusive Tool for Verifying COTS Components in Embedded Systems.
ESA 2009: 274-279 |
| 5 |  | José Carlos Campelo,
Juan Pardo,
Angel Molina,
Juan José Serrano:
WiSNetCoL: A Wireless Sensors Network based Architecture to Monitor and Control Residential Electrical Loads.
ICWN 2009: 134-140 |
| 2006 |
| 4 |  | Juan Pardo,
José Carlos Campelo,
Juan Carlos Ruiz,
Pedro J. Gil:
Temporal Characterization of Embedded Systems Using Nexus.
EDCC 2006: 47-52 |
| 2005 |
| 3 |  | Juan Carlos Ruiz,
José Carlos Campelo,
Pedro J. Gil,
Juan Pardo:
On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components.
PRDC 2005: 57-64 |
| 2004 |
| 2 |  | Juan Pardo,
José Carlos Campelo,
Juan José Serrano:
Robustness Study of an Embedded Operating System for Industrial Applications.
COMPSAC Workshops 2004: 64-65 |
| 1 |  | Juan Pardo,
José Carlos Campelo,
Juan José Serrano:
Reliability study of an embedded operating system for industrial applications.
GI Jahrestagung (1) 2004: 83-88 |