Dynamically Replaceable Software: A Design Method. - Jorge Amador; Belén de Vicente; Alejandro Alonso 001 (ESEC, 1991)

Dynamic software replacement model and its Ada implementation. - Belén de Vicente; Alejandro Alonso 001; Jorge Amador (TRI-Ada, 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)

Extensiones a los métodos de planificación de sistemas de tiempo real críticos basados en prioridades. - Alejandro Alonso 001 (1994)

IDERS: an integrated environment for the development of hard real-time systems. - Alejandro Alonso 001; Hanne Christensen; Luciano Baresi; Marko Heikkinen (RTS, 1995)

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)

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

Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols. - Nikos S. Voros; Sofia Tsasakou; Alexios N. Birbas; Luis Sánchez 001; Alejandro Alonso 001 (ICECS, 1999)

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

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)

Response Time of Streaming Chains: Analysis and Results. - Angel M. Groba; Alejandro Alonso 001; José A. Rodríguez 002; Marisol García-Valls (ECRTS, 2002)

An Architecture of a Quality of Service Resource Manager Middleware for Flexible Embedded Multimedia Systems. - Marisol García-Valls; Alejandro Alonso 001; José Ruiz; Angel M. Groba (SEM, 2002)

Integration of System-Level Policies and Mechanisms for Quality of Service Management for Web-Based Environments. - Marisol García-Valls; Alejandro Alonso 001 (ICWI, 2002)

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

Container Model Based on RTSJ Services. - Ruth Tolosa; José P. Mayo; Miguel A. de Miguel; M. Teresa Higuera-Toledano; Alejandro Alonso 001 (OTM Workshops, 2003)

Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation. - Nikolaos S. Voros; Luis Sánchez 001; Alejandro Alonso 001; Alexios N. Birbas; Michael K. Birbas; Ahmed Jerraya (Des. Autom. Embed. Syst., 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)

Two Alternative RMI Models for Real-Time Distributed Applications. - Daniel Tejera; Ruth Tolosa; Miguel A. de Miguel; Alejandro Alonso 001 (ISORC, 2005)

Model Based Integration of Safety Analysis and Development. - Miguel A. de Miguel; Javier Fernández Briones; Juan Pedro Silva; Alejandro Alonso 001 (ISORC, 2006)

Predictable Serialization in Java. - Daniel Tejera; Alejandro Alonso 001; Miguel A. de Miguel (ISORC, 2007)

RMI-HRT: remote method invocation - hard real time. - Daniel Tejera; Alejandro Alonso 001; Miguel A. de Miguel (JTRES, 2007)

Application of Safety Analyses in Model Driven Development. - Javier Fernández Briones; Miguel A. de Miguel; Juan Pedro Silva; Alejandro Alonso 001 (SEUS, 2007)

Modeling Quality of Service Adaptability. - Javier Fernández Briones; Miguel A. de Miguel; Alejandro Alonso 001; Juan Pedro Silva (EDOCW, 2008)

Integration of safety analysis in model-driven software development. - Miguel A. de Miguel; Javier Fernández Briones; Juan Pedro Silva; Alejandro Alonso 001 (IET Softw., 2008)

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)

Quality of Service Composition and Adaptability of Software Architectures. - Javier Fernández Briones; Miguel A. de Miguel; Alejandro Alonso 001; Juan Pedro Silva (ISORC, 2009)

Resource management for enhancing predictability in systems with limited processing capabilities. - Alejandro Alonso 001; Emilio Salazar; Jorge López (ETFA, 2010)

On the Requirements for Quality Composability Modeling and Analysis. - Javier Fernández Briones; M. de Miguel Miguel; Juan Pedro Silva; Alejandro Alonso 001 (ISORC Workshops, 2010)

Model-Driven Development of a Web Service-Oriented Architecture and Security Policies. - Juan Pedro Silva Gallino; Miguel A. de Miguel; Javier Fernández Briones; Alejandro Alonso 001 (ISORC, 2010)

Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures. - Juan Pedro Silva Gallino; Miguel A. de Miguel; Javier Fernández Briones; Alejandro Alonso 001 (IEEE SCC, 2011)

Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures. - Juan Pedro Silva Gallino; Miguel A. de Miguel; Javier Fernández Briones; Alejandro Alonso 001 (WS-FM, 2011)

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)

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)

MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems. - Salvador Trujillo; Alfons Crespo; Alejandro Alonso 001 (DSD, 2013)

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems. - Salvador Trujillo; Alfons Crespo; Alejandro Alonso 001; Jon Pérez 001 (Microprocess. Microsystems, 2014)

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)

Feasibility of Deep Reinforcement Learning for the real-time attitude control of a satellite system. - Ángel-Grover Pérez-Muñoz; Guillermo López-García; Irene García-Villoria; Alejandro Alonso 001; Angel Porras-Hermoso; María S. Pérez 001 (J. Syst. Archit., 2025)

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)