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)

An Open Ravenscar Real-Time Kernel for GNAT. - Juan Antonio de la Puente; José F. Ruiz; Juan Zamorano (Ada-Europe, 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)

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)

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)

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)

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)

Implementing the new Ada 2005 real-time features on a bare board kernel. - Santiago Urueña; José Antonio Pulido; José Redondo; Juan Zamorano (IRTAW, 2007)

Building high-integrity distributed systems with Ravenscar restrictions. - Santiago Urueña; Juan Zamorano (IRTAW, 2007)

A framework for lab work management in mass courses. Application to Low Level Input/Output without hardware. - Santiago Rodríguez; Juan Zamorano; Francisco Rosales; Antonio García Dopico; José Luis Pedraza (Comput. Educ., 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)

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)

Argos: An Advanced In-Vehicle Data Recorder on a Massively Sensorized Vehicle for Car Driver Behavior Experimentation. - Antonio Pérez; Maria Isabel García; Manuel Nieto; José Luis Pedraza; Santiago Rodríguez; Juan Zamorano (IEEE Trans. Intell. Transp. Syst., 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)

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

Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. - Juan Zamorano; Jorge Garrido (Ada-Europe, 2015)

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. - Jorge Garrido; Juan Zamorano; Alejandro Alonso 001; Juan Antonio de la Puente (Ada-Europe, 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)

Analysis of results from PIRAMIDE educational innovation project (short paper). - Ana Isabel Soria-Carro; Elena Roibás-Millán; Javier Pérez-Álvarez; Javier Cubas; Juan Zamorano; José Miguel Álvarez; Daniel Alfonso-Corcuera; Santiago Pindado (CINAIC, 2021)

Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach. - Ángel-Grover Pérez-Muñoz; José Carlos Gamazo-Real; David González-Bárcena; Juan Zamorano (Comput. Electr. Eng., 2023)

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)