Miguel A. de Miguel

According to our database1, Miguel A. de Miguel authored at least 27 papers between 1995 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Automated Model-based Testing Based on an Agnostic-platform Modeling Language.
Proceedings of the MODELSWARD 2015, 2015

2013
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
Proceedings of the Reliable Software Technologies, 2013

2012
Model-based development for RTSJ platforms.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009
Quality of Service Composition and Adaptability of Software Architectures.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008
Integration of safety analysis in model-driven software development.
IET Softw., 2008

Model Based Development of Quality-Aware Software Services.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Modeling Quality of Service Adaptability.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007
Application of Safety Analyses in Model Driven Development.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

RMI-HRT: remote method invocation - hard real time.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

Predictable Serialization in Java.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006
Model Based Integration of Safety Analysis and Development.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005
Model-Based Integration of Safety Analysis and Reliable Software Development.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Two Alternative RMI Models for Real-Time Distributed Applications.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

2004
Runtime Management of Quality Specification for QoS-Aware Components.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003
QoS Modeling Language for High Quality Systems.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Container Model Based on RTSJ Services.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

General Framework for the Description of QoS in UML.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

2002
Integration of QoS Facilities into Component Container Architectures.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001
Solutions to Make Java-RMI Time Predictable.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

1997
Object-oriented design of real-time systems with stereotypes.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Integrated validation of real-time system models.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996
Hard Real-Time Systems Modeling and Simulation.
Proceedings of the Modelling and Simulation, 1996

1995
Animation of heterogeneous prototypes of real-time systems.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Heterogeneous Simulation for Real-Time Systems.
Proceedings of the EUROSIM'96, 1995


  Loading...