Miguel A. de Miguel

Publication Activity (10 Years)

Years Active: 1995-2015
Publications (10 Years): 1

Top Topics

Model Based Testing

Security Policies

Modeling Language

Top Venues

Publications

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