Heterogeneous Simulation for Real-Time Systems. - Juan C. Dueñas; Gonzalo León; Alvaro Rendón; Miguel A. de Miguel (EUROSIM, 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)

Hard Real-Time Systems Modeling and Simulation. - Miguel A. de Miguel; Juan C. Dueñas (ESM, 1996)

Integrated validation of real-time system models. - Juan C. Dueñas; Alvaro Rendón; Miguel A. de Miguel (RTS, 1997)

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

Solutions to Make Java-RMI Time Predictable. - Miguel A. de Miguel (ISORC, 2001)

Integration of QoS Facilities into Component Container Architectures. - Miguel A. de Miguel (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

General Framework for the Description of QoS in UML. - Miguel A. de Miguel (ISORC, 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)

QoS Modeling Language for High Quality Systems. - Miguel A. de Miguel (WORDS, 2003)

Runtime Management of Quality Specification for QoS-Aware Components. - Miguel A. de Miguel; M. Teresa Higuera-Toledano (EUROMICRO, 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 Reliable Software Development. - Miguel A. de Miguel; Bernard Pauly; Thierry Person; Javier Fernández Briones (WORDS, 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)

Model Based Development of Quality-Aware Software Services. - Miguel A. de Miguel; Philippe Massonet; Juan Pedro Silva; Javier Fernández Briones (ISORC, 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)

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)

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)

Model-based development for RTSJ platforms. - Miguel A. de Miguel; Emilio Salazar (JTRES, 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)

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)

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)