Alejandro Alonso

Orcid: 0000-0002-1622-8996

Affiliations:
  • Technical University of Madrid, Spain


According to our database1, Alejandro Alonso authored at least 53 papers between 1991 and 2018.

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

2018
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Comput. Stand. Interfaces, 2017

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Adjusting middleware knobs to suit CPS domains.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

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

2014
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems.
Microprocess. Microsystems, 2014

2013
MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

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

2012
A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Gener. Comput. Syst., 2012

Analysis of WCET in an experimental satellite software development.
Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 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

On the Requirements for Quality Composability Modeling and Analysis.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Resource management for enhancing predictability in systems with limited processing capabilities.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 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

Dynamic adaptation mechanisms in multimedia embedded systems.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Time-Predictable Reconfiguration with Contract-Based Resource Management.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Integration of safety analysis in model-driven software development.
IET Softw., 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
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
Implementing Execution-Time Clocks for the Ada Ravenscar Profile.
Proceedings of the Reliable Software Technologies, 2004

2003
Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation.
Des. Autom. Embed. Syst., 2003

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

A Test Environment for High Integrity Software Development.
Proceedings of the Reliable Software Technologies, 2003

2002
Integration of System-Level Policies and Mechanisms for Quality of Service Management for Web-Based Environments.
Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

An Architecture of a Quality of Service Resource Manager Middleware for Flexible Embedded Multimedia Systems.
Proceedings of the Software Engineering and Middleware, Third International Workshop, 2002

Response Time of Streaming Chains: Analysis and Results.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

Using Object Orientation in High Integrity Applications: A Case Study.
Proceedings of the Reliable Software Technologies, 2002

2000
Implementation of mode changes with the Ravenscar profile.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

1999
Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols.
Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

1998
Assessment of Timing Properties of Family Products.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

1997
Components for the implementation of fixed priority real-time systems in ADA.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Framework for documenting design decisions in product families development .
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

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

1996
Building Reusable Software Architectures with Ada 95.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries.
Proceedings of the Reliable Software Technologies, 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

Dynamic replacement of software in hard real-time systems: practical assessment.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

IDERS: an integrated environment for the development of hard real-time systems.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994
Extensiones a los métodos de planificación de sistemas de tiempo real críticos basados en prioridades.
PhD thesis, 1994

1993
Distributed Execution of Specifications.
Real Time Syst., 1993

The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping.
Real Time Syst., 1993

Dynamic replacement of software in hard real-time systems.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992
Real time object communication protocol for incremental and distributed prototyping.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Reusable Executives for Hard Real-Time Systems in Ada.
Proceedings of the Ada: Moving Towards 2000, 1992

1991
Dynamic software replacement model and its Ada implementation.
Proceedings of the Conference on TRI-Ada 1991, 1991

Dynamically Replaceable Software: A Design Method.
Proceedings of the ESEC '91, 1991


  Loading...