Publications
 

1. Quality of Service Composition and Adaptability of Software Architectures
   J. Fernandez Briones, M. de Miguel, A. Alonso and J. P. Silva,
   In 12th IEEE International Symposium on Object/component/service-Oriented Real-Time Distributed Computing (ISORC 2009). IEEE Computer Socity. March 2009.

2. Integration of Safety Analysis in Model-Driven Software Development
   M. de Miguel, J. Fernández Briones, J. P. Silva & A. Alonso Justificante
   IET Software. June 2008. ISSN 1751-8806.

3. Application of Safety Analyses in Model Driven Development
   J. Fernández Briones, M. de Miguel, J. P. Silva & A. Alonso Justificante
   In 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007). LNCS Springer Verlag. Mayo 2007. pp. 93-105

4. Predictable Serialization in Java
   D. Tejera, A. Alonso, M.A. de Miguel Justificante
   In 10th IEEE International Symposium on Object/component/service-Oriented Real-Time Distributed Computing (ISORC 2007). IEEE Computer Socity. Mayo 2007. pp. 102-110

5. Integration of Safety Analysis and Software Development Methods
   J Fernández Briones, M De Miguel, J P Silva & A Alonso
   In 1st International Conference on System Safety Engineering IEE June 2006

6. Model Based Integration of Safety Analysis and Development
   Miguel de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso
   In 9th IEEE Object-Oriented Real-Time Distributed Computing.
   IEEE Computer Society. May 2006.

7. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms .
   M.A. de Miguel formal/2008-04-05 http://www.omg.org/docs/formal/08-04-05.pdf. OMG 2005

8. Safety Metrics for the Analysis of Software Architectures
   Juan Pedro Silva, Miguel de Miguel, Javier Fernández Briones, Alejandro Alonso
   Workshop on Visual Modeling for Software Intensive Systems September 2005

9. Embedded Systems Design: The ARTIST Roadmap for Research and Development
   Miguel A. de Miguel et al.
   B. Bouyssounouse, J. Sifakis (Editors)
   Lecture Notes in Computer Science. Springer-Verlag. ISBN: 3-540-25107-3. Marzo 2005.

10. Two Alternative RMI Models for Real-Time Distributed Applications
    Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso 
    In 8th IEEE Object-Oriented Real-Time Distributed Computing.
    IEEE Computer Society. ISBN 0-7695-2356-0. May 2005

11. Model-Based Integration of Safety Analysis and Reliable Software Development
    Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández
    In 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems.
    IEEE Computer Society. February 2005

12. QoS Specification for QoS-Aware Components.
    M.A. de Miguel and Teresa Higuera
    In Proceeding of 30th Euromicro Conference. ECBSE 2004. IEEE Computer Society.
    September 2004

13. QoS Modeling Language for High Quality Systems.
    M.A. de Miguel
    In 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems.
    IEEE Computer Society. January 2003

14. General Framework for the Description of QoS in UML.
    M.A. de Miguel
    In 6th IEEE Object-Oriented Real-Time Distributed Computing.
    IEEE Computer Society. May 2003

15. QoS Specification for Component Infrastructures and Mobile Web Services.
    M.A. de Miguel and J.C. Yelmo
    In Middleware 2003 Poster Session
    June 2003

16. Advanced Operating Systems Services for Improving the Support to Quality of Service Frameworks.
    A. Alonso and M.A. de Miguel
    In International Workshop on Advanced Real-Time Operating Systems Services
    July 2003

17. Dynamic Detection of Access Errors and Ilegal References in RTSJ.
    T. Higuera, M.A. de Miguel
    In Proceedings of the 8th IEEE Real-Time Embedded Technology and Applications Symposium. RTAS2002.
    IEEE Communications Society (2002).

18. Elements of QoS-Aware Specification Languages.
    M.A. de Miguel
    In Proceedings of the Workshop Components-Based Software Engineering and Modeling Non-Functional Aspects.
    SIVOES-MONA2002. October 2002.

19. Specification of Model Transformations Based on Meta Templates.
    M.A. de Miguel, D. Exertier
    In Proceedings of the Workshop in Model Software Engineering.
    WiSME2002. October 2002.

20. Practical Experiences in the Application of MDA.
    M.A. de Miguel, Jean Jourdan, Serge Salicki
    In Proceedings of the Fifth International Conference on the Unified Modeling Language. Lectures Notes in Computer Science. UML2002.
    Springer-Verlag. October 2002.

21. Integration of QoS Facilities into Component Container Architectures.
    M.A. de Miguel
    In 5th IEEE Object-Oriented Real-Time Distributed Computing.
    IEEE Computer Society. May 2002

22. QoS-Aware Component Frameworks.
    M.A. de Miguel José F. Ruiz, and Marisol García-Valls
    IWQoS2002 In Proceedings of the 10th International Workshop on Quality of Service - IWQoS 2002.
    IEEE Communications Society May 2002.

23. Solutions to Make Java-RMI Time Predictable.
    M.A. de Miguel
    ISORC2001 In 4th IEEE Object-Oriented Real-Time Distributed Computing.
    IEEE Computer Society May 2001

24. Integration of Non-Functional Properties in Containers.
    D. Conan, E. Putryez, N. Farcet and M.A. de Miguel
    ECOOP2001 June 2001 In Workshop on Component Oriented Programming
    European Conference on Object Oriented Programming

25. UML Extensions for the Specification and Evaluation of Latency Constraints in Architectural Models.
    M.A. de Miguel, T.Lambolais and M.Hannouz.
    WOSP2000 In Second Workshop on Software and Performance.
    ACM. September 2000

26. Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML.
    M.A. de Miguel, T. Lambolais and S. Piecarek
    EDO2000 In Second Workshop on Engineering of Distributed Objects.
    Springer-Verlag. November 2000

27. An End-to-End QoS Management Architecture.
    M. Shankar, M.A. deMiguel and J.W.S. Liu.
    RTAS99 In Real-Time Applications Symposium.
    IEEE Computer Society 1999.

28. Advanced Software Engineering Techniques for Real-Time Systems.
    Juan A. de la Puente, Gonzalo Leon, Alejandro Alonso, Juan C. Dueñas, Miguel Angel de Miguel and Alvaro Rendon
    Advanced Engineering --- 9th {IFAC} Symposium on Information Control in Manufacturing, INCOM'98
    Elsevier Science. June 1998.

29. Object-Oriented Design Of Real-Time Systems With Stereotypes.
    Miguel A. de Miguel, Alejandro Alonso, Juan A. de la Puente
    In EuroMicro Workshop Real-Time Systems (Madrid, Spain).
    IEEE. June 1997.

30. Integrated Validation of Real-Time Systems Models.
    Juan C. Dueñas, Alvaro Rendon, Miguel A. de Miguel
    In EuroMicro Workshop Real-Time Systems (Madrid, Spain).
    IEEE. June 1997.

31. Validación de Prototipos Heterogeneos.
    Juan C. Duenas, Alvaro Rendon, Miguel A. de Miguel.
    Quintas Jornadas de Calidad en Tecnologias de la Informacion. Octubre 1996.

32. Hard Real-Time Systems Modeling and Simulation.
    Miguel A. de Miguel, Juan C. Dueñas.
    In Tenth European Simulation Multiconference (Budapest, Hungría).
    Society for Computer Simulation International. June 1996.

33. Early validation of real-time systems by model execution.
    M.A. de Miguel, J.C. Duenas, A. Rendon, J.A. de la Puente, A. Alonso, G. Leon.
    In 13th World Congress International Federation of Automatic Control Conference. June 1996.

34. Heterogeneous prototyping for distributed real-time systems .
    A. Alonso, J.C. Duenas, G. Leon, M.A. de Miguel A. Rendon.
    In 13th IFAC Workshop on DISTRIBUTED COMPUTER CONTROL SYSTEMS, IFAC/DCCS, September 1995.

35. Heterogeneous simulation for real-time systems.
    J.C. Duenas, G. Leon, A. Rendon, M.A. de Miguel.
    In EUROSIM Simulation Congress, EUROSIM95, 1995.

36. Animation of heterogeneous prototypes of real-time systems.
    A. Rendon, J.C. Duenas, M.A. de Miguel, J. Leskela, J.A. de la Puente, G. Leon, A. Alonso.
    In First IEEE International Conference on Engineering of Complex Computer Systems., IEEE, 1995.

37. Object-Oriented Techniques Applied to Real-Time Design Methods.
    M.A. de Miguel, A. Alonso, J.A. de la Puente.
    In Actas de las IV Jornadas de Concurrencia, Escorial. June 1995.

Program Committees

• IEEE Object-Oriented Real-Time Distributed Computing. 2002, 2003, 2006
  2007 Program-CoChair, 2008, 2008 Symposium CoChair
• Workshop Software Infrastructures for Component-Based Applications on Consumer Devices 2002
• Workshop on QoS-enabled Component-Oriented Programming Supporting Composable QoS in Component-Oriented Programming Frameworks 2003
• International Workshop on Java Technologies for Real-Time and Embedded Systems 2003, 2004
• European Conference in Model Driven Architecture ECMDA. Springer-Verlag.2005, 2006, 2007, 2008, 2009
• ECMDA Traceability Workshop. 2005, 2006, 2008, 2009
• ECMDA workshop on Integration of Model Driven Development and Model Driven 2005, 2006
• Workshop on Object-oriented Real-time Dependable Systems . IEEE Computer Society 2005

02 de abril de 2009.