| 2008 |
|---|
| 30 | EE | Santiago Urueña,
José Antonio Pulido,
Jorge López,
Juan Zamorano,
Juan Antonio de la Puente:
A New Approach to Memory Partitioning in On-Board Spacecraft Software.
Ada-Europe 2008: 1-14 |
| 29 | EE | Santiago Urueña,
Juan Zamorano,
José Antonio Pulido,
Juan Antonio de la Puente:
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.
DIPES 2008: 151-160 |
| 2007 |
|---|
| 28 | EE | José Antonio Pulido,
Santiago Urueña,
Juan Zamorano,
Juan Antonio de la Puente:
Handling Temporal Faults in Ada 2005.
Ada-Europe 2007: 15-28 |
| 2006 |
|---|
| 27 | EE | José Antonio Pulido,
Santiago Urueña,
Juan Zamorano,
Tullio Vardanega,
Juan Antonio de la Puente:
Hierarchical Scheduling with Ada 2005.
Ada-Europe 2006: 1-12 |
| 26 | EE | Santiago Urueña,
Juan Zamorano,
Daniel Berjón,
José Antonio Pulido,
Juan Antonio de la Puente:
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.
Ada-Europe 2006: 215-226 |
| 25 | EE | Santiago Urueña,
Juan Zamorano,
Daniel Berjón,
José Antonio Pulido,
Juan Antonio de la Puente:
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.
IPDPS 2006 |
| 2005 |
|---|
| 24 | EE | Paul Caspi,
Alberto L. Sangiovanni-Vincentelli,
Luís Almeida,
Albert Benveniste,
Bruno Bouyssounouse,
Giorgio C. Buttazzo,
Ivica Crnkovic,
Werner Damm,
Jakob Engblom,
Gerhard Fohler,
Marisol García-Valls,
Hermann Kopetz,
Yassine Lakhnech,
François Laroussinie,
Luciano Lavagno,
Giuseppe Lipari,
Florence Maraninchi,
Philipp Peti,
Juan Antonio de la Puente,
Norman Scaife,
Joseph Sifakis,
Robert de Simone,
Martin Törngren,
Paulo Veríssimo,
Andy J. Wellings,
Reinhard Wilhelm,
Tim A. C. Willemse,
Wang Yi:
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005) |
| 23 | EE | Tullio Vardanega,
Juan Zamorano,
Juan Antonio de la Puente:
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.
Real-Time Systems 29(1): 59-89 (2005) |
| 2004 |
|---|
| 22 | EE | Juan Zamorano,
Alejandro Alonso,
José Antonio Pulido,
Juan Antonio de la Puente:
Implementing Execution-Time Clocks for the Ada Ravenscar Profile.
Ada-Europe 2004: 132-143 |
| 2003 |
|---|
| 21 | EE | Alejandro Alonso,
Juan Antonio de la Puente,
Juan Zamorano:
A Test Environment for High Integrity Software Development.
Ada-Europe 2003: 359-267 |
| 2002 |
|---|
| 20 | EE | Alejandro Alonso,
Roberto López,
Tullio Vardanega,
Juan Antonio de la Puente:
Using Object Orientation in High Integrity Applications: A Case Study.
Ada-Europe 2002: 357-366 |
| 2001 |
|---|
| 19 | EE | Juan Zamorano,
José F. Ruiz,
Juan Antonio de la Puente:
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.
Ada-Europe 2001: 317-327 |
| 18 | EE | Tullio Vardanega,
Rodrigo García,
Juan Antonio de la Puente:
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.
Ada-Europe 2001: 392-404 |
| 2000 |
|---|
| 17 | | Juan Antonio de la Puente,
José F. Ruiz,
Juan Zamorano:
An Open Ravenscar Real-Time Kernel for GNAT.
Ada-Europe 2000: 5-15 |
| 16 | EE | Rodrigo Cerón,
Juan C. Dueñas,
Juan Antonio de la Puente:
A First Assessment of Development Processes with Respect to Product Lines and Component Based Development.
IW-SAPF 2000: 158-167 |
| 15 | | Juan Antonio de la Puente:
Real-Time Object-Oriented Design and Formal Methods.
Real-Time Systems 18(1): 79-83 (2000) |
| 1999 |
|---|
| 14 | | Michael González Harbour,
Juan Antonio de la Puente:
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
Springer 1999 |
| 1998 |
|---|
| 13 | EE | José L. Fernández,
Bárbara Álvarez,
Francisco José García Izquierdo,
Ángel Pérez,
Juan Antonio de la Puente:
A Case Study in Quantitative Evaluation of Real-Time Software Architectures.
Ada-Europe 1998: 213-224 |
| 12 | EE | Juan C. Dueñas,
William Lopes de Oliveira,
Juan Antonio de la Puente:
Architecture Recovery for Software Evolution.
CSMR 1998: 113-120 |
| 11 | EE | Paul C. Clements,
Juan Antonio de la Puente:
Session 4: Analysis of Software Architectures.
ESPRIT ARES Workshop 1998: 140-142 |
| 10 | EE | Juan C. Dueñas,
William Lopes de Oliveira,
Juan Antonio de la Puente:
A Software Architecture Evaluation Model.
ESPRIT ARES Workshop 1998: 148-157 |
| 9 | EE | Alejandro Alonso,
Marisol García-Valls,
Juan Antonio de la Puente:
Assessment of Timing Properties of Family Products.
ESPRIT ARES Workshop 1998: 161-169 |
| 1997 |
|---|
| 8 | EE | Alejandro Alonso,
Gonzalo León,
Juan C. Dueñas,
Juan Antonio de la Puente:
Framework for documenting design decisions in product families development .
ICECCS 1997: 206-211 |
| 1996 |
|---|
| 7 | | Juan Antonio de la Puente,
Alejandro Alonso,
Angel Alvarez:
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries.
Ada-Europe 1996: 78-88 |
| 6 | EE | Alejandro Alonso,
Juan Antonio de la Puente:
Building Reusable Software Architectures with Ada 95.
ICECCS 1996: 467-472 |
| 1995 |
|---|
| 5 | EE | Alvaro Rendón,
Juan C. Dueñas,
Miguel A. de Miguel,
Jyrki Leskela,
Juan Antonio de la Puente,
Gonzalo León,
Alejandro Alonso:
Animation of heterogeneous prototypes of real-time systems.
ICECCS 1995: 47-54 |
| 1993 |
|---|
| 4 | | Gonzalo León,
Juan C. Dueñas,
Juan Antonio de la Puente,
Nabil Zakhama,
Alejandro Alonso:
The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping.
Real-Time Systems 5(2-3): 153-171 (1993) |
| 3 | | Juan Antonio de la Puente,
Alejandro Alonso,
Gonzalo León,
Juan C. Dueñas:
Distributed Execution of Specifications.
Real-Time Systems 5(2-3): 213-234 (1993) |
| 1992 |
|---|
| 2 | | Juan Antonio de la Puente,
Juan Zamorano,
Alejandro Alonso,
José L. Fernández:
Reusable Executives for Hard Real-Time Systems in Ada.
Ada-Europe 1992: 104-115 |
| 1991 |
|---|
| 1 | | José L. Fernández,
Juan Antonio de la Puente:
Constructing a Pilot Library of Components for Avionic Systems.
Ada-Europe 1991: 362-371 |
