Miguel A. de Miguel

Ángel-Grover Pérez-Muñoz

Juan Zamorano

ACM Trans. Embed. Comput. Syst., May, 2025

2015

Automated Model-based Testing Based on an Agnostic-platform Modeling Language.

[BibT_eX]

[DOI]

Clara Benac

Proceedings of the MODELSWARD 2015, 2015

2013

A Model-Based Framework for Developing Real-Time Safety Ada Systems.

[BibT_eX]

[DOI]

Emilio Salazar

Proceedings of the Reliable Software Technologies, 2013

2012

Model-based development for RTSJ platforms.

[BibT_eX]

[DOI]

Emilio Salazar

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.

[BibT_eX]

[DOI]

Juan Pedro Silva Gallino

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Juan Pedro Silva Gallino

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.

[BibT_eX]

[DOI]

Juan Pedro Silva Gallino

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IET Softw., 2008

Model Based Development of Quality-Aware Software Services.

[BibT_eX]

[DOI]

Philippe Massonet

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Modeling Quality of Service Adaptability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

RMI-HRT: remote method invocation - hard real time.

[BibT_eX]

[DOI]

Daniel Tejera

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

Predictable Serialization in Java.

[BibT_eX]

[DOI]

Daniel Tejera

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bernard Pauly

Thierry Person

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

M. Teresa Higuera-Toledano

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

QoS Modeling Language for High Quality Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Container Model Based on RTSJ Services.

[BibT_eX]

[DOI]

Ruth Tolosa

José P. Mayo

M. Teresa Higuera-Toledano

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

General Framework for the Description of QoS in UML.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001

Solutions to Make Java-RMI Time Predictable.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Integrated validation of real-time system models.

[BibT_eX]

[DOI]

Juan C. Dueñas

Alvaro Rendón

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996

Hard Real-Time Systems Modeling and Simulation.

[BibT_eX]

Juan C. Dueñas

Proceedings of the Modelling and Simulation, 1996

1995

Animation of heterogeneous prototypes of real-time systems.

[BibT_eX]

[DOI]

Gonzalo León