Constructing a Pilot Library of Components for Avionic Systems. - José L. Fernández; Juan Antonio de la Puente (Ada-Europe, 1991)

Reusable Executives for Hard Real-Time Systems in Ada. - Juan Antonio de la Puente; Juan Zamorano; Alejandro Alonso 001; José L. Fernández (Ada-Europe, 1992)

Real time object communication protocol for incremental and distributed prototyping. - Gonzalo León; Juan C. Dueñas; Juan Antonio de la Puente; Alejandro Alonso 001 (RTS, 1992)

Dynamic replacement of software in hard real-time systems. - Alejandro Alonso 001; Juan Antonio de la Puente (RTS, 1993)

The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping. - Gonzalo León; Juan C. Dueñas; Juan Antonio de la Puente; Nabil Zakhama; Alejandro Alonso 001 (Real Time Syst., 1993)

Distributed Execution of Specifications. - Juan Antonio de la Puente; Alejandro Alonso 001; Gonzalo León; Juan C. Dueñas (Real Time Syst., 1993)

Dynamic replacement of software in hard real-time systems: practical assessment. - Alejandro Alonso 001; Ignacio Casillas; Juan Antonio de la Puente (RTS, 1995)

Animation of heterogeneous prototypes of real-time systems. - Alvaro Rendón; Juan C. Dueñas; Miguel A. de Miguel; Jyrki Leskela; Juan Antonio de la Puente; Gonzalo León; Alejandro Alonso 001 (ICECCS, 1995)

Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries. - Juan Antonio de la Puente; Alejandro Alonso 001; Angel Alvarez (Ada-Europe, 1996)

Building Reusable Software Architectures with Ada 95. - Alejandro Alonso 001; Juan Antonio de la Puente (ICECCS, 1996)

Object-oriented design of real-time systems with stereotypes. - Miguel A. de Miguel; Alejandro Alonso 001; Juan Antonio de la Puente (RTS, 1997)

Framework for documenting design decisions in product families development . - Alejandro Alonso 001; Gonzalo León; Juan C. Dueñas; Juan Antonio de la Puente (ICECCS, 1997)

Components for the implementation of fixed priority real-time systems in ADA. - Alejandro Alonso 001; Juan Antonio de la Puente; Ken Tindell (IRTAW, 1997)

Object-oriented programming and real-time (session summary). - Andy J. Wellings; Juan Antonio de la Puente (IRTAW, 1997)

A Case Study in Quantitative Evaluation of Real-Time Software Architectures. - José L. Fernández; Bárbara Álvarez; Francisco J. García Izquierdo; Ángel Pérez; Juan Antonio de la Puente (Ada-Europe, 1998)

Assessment of Timing Properties of Family Products. - Alejandro Alonso 001; Marisol García-Valls; Juan Antonio de la Puente (ESPRIT ARES Workshop, 1998)

Analysis of Software Architectures. - Paul C. Clements; Juan Antonio de la Puente (ESPRIT ARES Workshop, 1998)

A Software Architecture Evaluation Model. - Juan C. Dueñas; William Lopes de Oliveira; Juan Antonio de la Puente (ESPRIT ARES Workshop, 1998)

Architecture Recovery for Software Evolution. - Juan C. Dueñas; William Lopes de Oliveira; Juan Antonio de la Puente (CSMR, 1998)

Real-time programming with GNAT: specialised kernels versus POSIX threads. - Juan Antonio de la Puente; José F. Ruiz; Jesús M. González-Barahona (IRTAW, 1999)

An Open Ravenscar Real-Time Kernel for GNAT. - Juan Antonio de la Puente; José F. Ruiz; Juan Zamorano (Ada-Europe, 2000)

Implementation of mode changes with the Ravenscar profile. - Alejandro Alonso 001; Juan Antonio de la Puente (IRTAW, 2000)

The design and implementation of the open Ravenscar kernel. - Juan Antonio de la Puente; Juan Zamorano; José F. Ruiz; Ramón Fernández 002; Rodrigo García (IRTAW, 2000)

A First Assessment of Development Processes with Respect to Product Lines and Component Based Development. - Rodrigo Cerón; Juan C. Dueñas; Juan Antonio de la Puente (IW-SAPF, 2000)

Real-Time Object-Oriented Design and Formal Methods. - Juan Antonio de la Puente (Real Time Syst., 2000)

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. - Tullio Vardanega; Rodrigo García; Juan Antonio de la Puente (Ada-Europe, 2001)

Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. - Juan Zamorano; José F. Ruiz; Juan Antonio de la Puente (Ada-Europe, 2001)

Using Object Orientation in High Integrity Applications: A Case Study. - Alejandro Alonso 001; Roberto López; Tullio Vardanega; Juan Antonio de la Puente (Ada-Europe, 2002)

Session on real-time, fault tolerance, and distribution. - Michael González Harbour; Juan Antonio de la Puente (IRTAW, 2002)

Session summary: safety improvements for consideration. - Juan Antonio de la Puente; Luís Miguel Pinho (IRTAW, 2002)

Precise response time analysis for Ravenscar kernels. - Juan Zamorano; Juan Antonio de la Puente (IRTAW, 2002)

A Test Environment for High Integrity Software Development. - Alejandro Alonso 001; Juan Antonio de la Puente; Juan Zamorano (Ada-Europe, 2003)

Session: status and future of the Ravenscar profile. - Brian Dobbing; Juan Antonio de la Puente (IRTAW, 2003)

Execution-time clocks and Ravenscar kernels. - Juan Antonio de la Puente; Juan Zamorano (IRTAW, 2003)

Implementing Execution-Time Clocks for the Ada Ravenscar Profile. - Juan Zamorano; Alejandro Alonso 001; José Antonio Pulido; Juan Antonio de la Puente (Ada-Europe, 2004)

On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. - Tullio Vardanega; Juan Zamorano; Juan Antonio de la Puente (Real Time Syst., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Hierarchical Scheduling with Ada 2005. - José Antonio Pulido; Santiago Urueña; Juan Zamorano; Tullio Vardanega; Juan Antonio de la Puente (Ada-Europe, 2006)

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. - Santiago Urueña; Juan Zamorano; Daniel Berjón; José Antonio Pulido; Juan Antonio de la Puente (Ada-Europe, 2006)

Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems. - Santiago Urueña; Juan Zamorano; Daniel Berjón; José Antonio Pulido; Juan Antonio de la Puente (IPDPS, 2006)

Handling Temporal Faults in Ada 2005. - José Antonio Pulido; Santiago Urueña; Juan Zamorano; Juan Antonio de la Puente (Ada-Europe, 2007)

Summary. - Juan Antonio de la Puente; Santiago Urueña (IRTAW, 2007)

Ada 2005 code patterns for metamodel-based code generation. - José Antonio Pulido; Juan Antonio de la Puente; Jérôme Hugues; Matteo Bordin; Tullio Vardanega (IRTAW, 2007)

A New Approach to Memory Partitioning in On-Board Spacecraft Software. - Santiago Urueña; José Antonio Pulido; Jorge López; Juan Zamorano; Juan Antonio de la Puente (Ada-Europe, 2008)

Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. - Santiago Urueña; Juan Zamorano; José Antonio Pulido; Juan Antonio de la Puente (DIPES, 2008)

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. - Santiago Urueña; Juan Zamorano; Juan Antonio de la Puente (Ada-Europe, 2009)

Time-Predictable Reconfiguration with Contract-Based Resource Management. - Marisol García-Valls; Alejandro Alonso Muñoz; Juan Antonio de la Puente (AINA Workshops, 2009)

Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems. - Marisol García-Valls; Alejandro Alonso 001; Juan Antonio de la Puente (ICESS, 2009)

Dynamic adaptation mechanisms in multimedia embedded systems. - Marisol García-Valls; Alejandro Alonso 001; Juan Antonio de la Puente (INDIN, 2009)

Design and implementation of real-time distributed systems with the ASSERT Virtual Machine. - Juan Zamorano; Juan Antonio de la Puente (ETFA, 2010)

Real-time system development in ada using LEGO® mindstorms® NXT. - Peter J. Bradley; Juan Antonio de la Puente; Juan Zamorano (SIGAda, 2010)

ORK+/XtratuM: An Open Partitioning Platform for Ada. - Ángel Esquinas; Juan Zamorano; Juan Antonio de la Puente; Miguel Masmano; Ismael Ripoll; Alfons Crespo (Ada-Europe, 2011)

Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model. - Héctor Pérez 001; J. Javier Gutiérrez; Esteban Asensio; Juan Zamorano; Juan Antonio de la Puente (EUROMICRO-SEAA, 2011)

A Platform for Real-Time Control Education with LEGO MINDSTORMS. - Peter J. Bradley; Juan Antonio de la Puente; Juan Zamorano; Daniel Brosnan (ACE, 2012)

Analysis of WCET in an experimental satellite software development. - Jorge Garrido; Daniel Brosnan; Juan Antonio de la Puente; Alejandro Alonso 001; Juan Zamorano (WCET, 2012)

A dual-band priority assignment algorithm for dynamic QoS resource management. - Marisol García-Valls; Alejandro Alonso 001; Juan Antonio de la Puente (Future Gener. Comput. Syst., 2012)

Application of Deadlock Risk Evaluation of Architectural Models. - Antonio Monzón; José L. Fernández; Juan Antonio de la Puente (Softw. Pract. Exp., 2012)

A Model-Based Framework for Developing Real-Time Safety Ada Systems. - Emilio Salazar; Alejandro Alonso 001; Miguel A. de Miguel; Juan Antonio de la Puente (Ada-Europe, 2013)

Static analysis of WCET in a satellite software subsystem. - Jorge Garrido; Juan Zamorano; Juan Antonio de la Puente (WCET, 2013)

Automated Model-based Testing Based on an Agnostic-platform Modeling Language. - Concepción Sanz; Alejandro Salas; Miguel A. de Miguel; Alejandro Alonso 001; Juan Antonio de la Puente; Clara Benac (MODELSWARD, 2015)

Adjusting middleware knobs to suit CPS domains. - Marisol García-Valls; Cristian Calva-Urrego; Alejandro Alonso 001; Juan Antonio de la Puente (SAC, 2016)

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. - Jorge Garrido; Juan Zamorano; Alejandro Alonso 001; Juan Antonio de la Puente (Ada-Europe, 2017)

Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems. - Marisol García-Valls; Christian Calva-Urrego; Juan Antonio de la Puente; Alejandro Alonso 001 (Comput. Stand. Interfaces, 2017)

On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks. - Jorge Garrido; Juan Zamorano; Alejandro Alonso 001; Juan Antonio de la Puente (Ada-Europe, 2018)

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. - Shuai Zhao 004; Jorge Garrido; Ran Wei; Alan Burns 001; Andy J. Wellings; Juan Antonio de la Puente (J. Syst. Softw., 2020)

Model-based Toolchain for Core Flight System (cFS) Embedded Systems. - Hugo Valente; Miguel A. de Miguel; Ángel-Grover Pérez-Muñoz; Alejandro Alonso 001; Juan Zamorano; Juan Antonio de la Puente (ACM Trans. Embed. Comput. Syst., 2025)