Miguel A. de Miguel

28 papers B 1C 9Misc 1Journal 2Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Model-based Toolchain for Core Flight System (cFS) Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Hugo Valente, Miguel A. de Miguel, Ángel-Grover Pérez-Muñoz, Alejandro Alonso, Juan Zamorano, Juan Antonio de la Puente
2015 C conf
Automated Model-based Testing Based on an Agnostic-platform Modeling Language.
MODELSWARD
Concepción Sanz, Alejandro Salas, Miguel A. de Miguel, Alejandro Alonso, Juan Antonio de la Puente, Clara Benac
2013 Misc conf
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
Ada-Europe
Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan Antonio de la Puente
2012 — conf
Model-based development for RTSJ platforms.
JTRES
Miguel A. de Miguel, Emilio Salazar
2011 — conf
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures.
WS-FM
Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso
2011 — conf
Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures.
IEEE SCC
Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso
2010 C conf
Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.
ISORC
Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso
2009 C conf
Quality of Service Composition and Adaptability of Software Architectures.
ISORC
Javier Fernández Briones, Miguel A. de Miguel, Alejandro Alonso, Juan Pedro Silva
2008 J jnl
Integration of safety analysis in model-driven software development.
IET Softw.
Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso
2008 C conf
Model Based Development of Quality-Aware Software Services.
ISORC
Miguel A. de Miguel, Philippe Massonet, Juan Pedro Silva, Javier Fernández Briones
2008 — conf
Modeling Quality of Service Adaptability.
EDOCW
Javier Fernández Briones, Miguel A. de Miguel, Alejandro Alonso, Juan Pedro Silva
2007 — conf
Application of Safety Analyses in Model Driven Development.
SEUS
Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso
2007 C conf
Predictable Serialization in Java.
ISORC
Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel
2007 — conf
RMI-HRT: remote method invocation - hard real time.
JTRES
Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel
2006 C conf
Model Based Integration of Safety Analysis and Development.
ISORC
Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso
2005 — conf
Model-Based Integration of Safety Analysis and Reliable Software Development.
WORDS
Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones
2005 C conf
Two Alternative RMI Models for Real-Time Distributed Applications.
ISORC
Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso
2004 — conf
Runtime Management of Quality Specification for QoS-Aware Components.
EUROMICRO
Miguel A. de Miguel, M. Teresa Higuera-Toledano
2003 — conf
Container Model Based on RTSJ Services.
OTM Workshops
Ruth Tolosa, José P. Mayo, Miguel A. de Miguel, M. Teresa Higuera-Toledano, Alejandro Alonso
2003 C conf
General Framework for the Description of QoS in UML.
ISORC
Miguel A. de Miguel
2003 — conf
QoS Modeling Language for High Quality Systems.
WORDS
Miguel A. de Miguel
2002 — conf
Integration of QoS Facilities into Component Container Architectures.
Symposium on Object-Oriented Real-Time Distributed Computing
Miguel A. de Miguel
2001 C conf
Solutions to Make Java-RMI Time Predictable.
ISORC
Miguel A. de Miguel
1997 — conf
Integrated validation of real-time system models.
RTS
Juan C. Dueñas, Alvaro Rendón, Miguel A. de Miguel
1997 — conf
Object-oriented design of real-time systems with stereotypes.
RTS
Miguel A. de Miguel, Alejandro Alonso, Juan Antonio de la Puente
1996 — conf
Hard Real-Time Systems Modeling and Simulation.
ESM
Miguel A. de Miguel, Juan C. Dueñas
1995 B conf
Animation of heterogeneous prototypes of real-time systems.
ICECCS
Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso
1995 — conf
Heterogeneous Simulation for Real-Time Systems.
EUROSIM
Juan C. Dueñas, Gonzalo León, Alvaro Rendón, Miguel A. de Miguel