Michael González Harbour

According to our database, Michael González Harbour authored at least 83 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Using MAST for modeling and response-time analysis of real-time applications with GPUs.

Iosu Gomez, Unai Díaz-de-Cerio, Jorge Parra, Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

J. Syst. Archit., 2024

2023

Response-time analysis of mesh-based many-core systems.

David García Villaescusa, Mario Aldea Rivas, Michael González Harbour

J. Syst. Archit., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Dagstuhl Artifacts Ser., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2021

M2OS-Mc: An RTOS for Many-Core Processors.

David García Villaescusa, Mario Aldea Rivas, Michael González Harbour

Proceedings of the Second Workshop on Next Generation Real-Time Embedded Systems, 2021

2020

Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications.

Alejandro Pérez Ruiz, Mario Aldea Rivas, Michael González Harbour

IEEE Access, 2020

Response-Time Analysis of Multipath Flows in Hierarchically-Scheduled Time-Partitioned Distributed Real-Time Systems.

Andoni Amurrio, Ekain Azketa, J. Javier Gutiérrez, Mario Aldea Rivas, Michael González Harbour

IEEE Access, 2020

2017

Response-Time Analysis in Hierarchically-Scheduled Time-Partitioned Distributed Systems.

J. Carlos Palencia, Michael González Harbour, J. Javier Gutiérrez, Juan Maria Rivas

IEEE Trans. Parallel Distributed Syst., 2017

A supercomputing framework for the evaluation of real-time analysis and optimization techniques.

Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

J. Syst. Softw., 2017

2016

An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.

Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon

Proceedings of the Software Technologies: Applications and Foundations, 2016

The Polling Effect on the Schedulability of Distributed Real-Time Systems.

Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems.

Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour

IEEE Trans. Parallel Distributed Syst., 2015

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing.

Alan Burns, Marina Gutiérrez, Mario Aldea Rivas, Michael González Harbour

IEEE Trans. Computers, 2015

Guest Editorial: Special Issue on The Real-Time Systems Symposium.

Michael González Harbour, Giorgio C. Buttazzo

Real Time Syst., 2015

On the convergence of the holistic analysis for EDF distributed systems.

Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia

J. Syst. Archit., 2015

CPU Isolation on the Android OS for running Real-Time Applications.

Alejandro Pérez Ruiz, Mario Aldea Rivas, Michael González Harbour

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

AFDX Emulator for an ARINC-Based Training Platform.

Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

Holistic schedulability analysis for multipacket messages in AFDX networks.

J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour

Real Time Syst., 2014

Gen4Mast: A tool for the evaluation of real-time techniques using a supercomputer.

Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

Proceedings of the REACTION 2014, 2014

Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems.

Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

2013

Fixed priorities or EDF for distributed real-time systems?

Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

SIGBED Rev., 2013

Modeling distributed real-time systems with MAST 2.

Michael González Harbour, J. Javier Gutiérrez, José M. Drake, Patricia López Martínez, J. Carlos Palencia

J. Syst. Archit., 2013

Modelling real-time applications based on resource reservations.

Laura Barros, Patricia López Martínez, César Cuevas, José M. Drake, Michael González Harbour

J. Syst. Archit., 2013

Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour Models.

Patricia López Martínez, Jose Maria M. Lanza, José M. Drake, Michael González Harbour

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Schedulability analysis of multi-packet messages in segmented CAN.

Ekain Azketa, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour, Luís Almeida, Marga Marcos

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems.

Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010

Defects of the POSIX Sporadic Server and How to Correct Them.

Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael González Harbour

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Optimized Deadline Assignment and Schedulability Analysis for Distributed Real-Time Systems with Local EDF Scheduling.

Juan Maria Rivas, José Javier Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour

Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010

Managing Transactions in Flexible Distributed Real-Time Systems.

Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez

Proceedings of the Reliable Software Technologiey, 2010

2009

Influence of different abstractions on the performance analysis of distributed hard real-time systems.

Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour

Des. Autom. Embed. Syst., 2009

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.

Mario Aldea Rivas, Michael González Harbour, José F. Ruiz

Proceedings of the Reliable Software Technologies, 2009

2008

Guest Editorial: special issue on the Euromicro Conference on Real-Time Systems (ECRTS 2007).

Michael González Harbour

Real Time Syst., 2008

Operating System Support for Embedded Real-Time Applications.

Alfons Crespo, Ismael Ripoll, Michael González Harbour, Giuseppe Lipari

EURASIP J. Embed. Syst., 2008

Real-Time Distribution Middleware from the Ada Perspective.

Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2008

2007

Operating system support for execution time budgets for thread groups.

Mario Aldea Rivas, Michael González Harbour

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Introduction.

Michael González Harbour, J. Javier Gutiérrez

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Integration of a flexible time triggered network in the FRESCOR resource contracting framework.

Ricardo Marau, Luís Almeida, Paulo Pedreiras, Michael González Harbour, Daniel Sangorrín, Julio L. Medina

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Influence of different system abstractions on the performance analysis of distributed real-time systems.

Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

FSF: A Real-Time Scheduling Architecture Framework.

Mario Aldea Rivas, Guillem Bernat, Ian Broster, Alan Burns, Radu Dobrin, José M. Drake, Gerhard Fohler, Paolo Gai, Michael González Harbour, Giacomo Guidi, J. Javier Gutiérrez, Tomas Lennvall, Giuseppe Lipari, José María Martínez, Julio L. Medina, José C. Palencia Gutiérrez, Michael Trimarchi

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Interchangeable Scheduling Policies in Real-Time Middleware for Distribution.

Juan López Campos, J. Javier Gutiérrez, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2006

2005

Response time analysis of EDF distributed real-time systems.

José C. Palencia Gutiérrez, Michael González Harbour

J. Embed. Comput., 2005

Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.

Mario Aldea Rivas, Javier Miranda, Michael González Harbour

Proceedings of the Reliable Software Technology, 2005

RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet.

José María Martínez, Michael González Harbour

Proceedings of the Reliable Software Technology, 2005

2004

Implementing an Application-Defined Scheduling Framework for Ada Tasking.

Mario Aldea Rivas, Javier Miranda, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2004

The Chance for Ada to Support Distribution and Real-Time in Embedded Systems.

Juan López Campos, J. Javier Gutiérrez, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2004

2003

Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities.

Michael González Harbour, José C. Palencia Gutiérrez

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Application-defined scheduling in Ada.

Mario Aldea Rivas, Michael González Harbour

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Report of session: current real-time AIs.

Michael González Harbour, Tullio Vardanega

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Managing multiple execution-time timers from a single task.

Michael González Harbour, Mario Aldea Rivas

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms.

Mario Aldea Rivas, Michael González Harbour

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF.

José C. Palencia Gutiérrez, Michael González Harbour

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.

Javier Miranda, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2003

A Round Robin Scheduling Policy for Ada.

Alan Burns, Michael González Harbour, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2003

2002

Session on real-time, fault tolerance, and distribution.

Michael González Harbour, Juan Antonio de la Puente

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Modeling and schedulability analysis in the development of real-time distributed Ada systems.

J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session summary: update on the real-time specification for java.

Ben Brosgol, Michael González Harbour

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

POSIX-Compatible Application-Defined Scheduling in MaRTE OS.

Mario Aldea Rivas, Michael González Harbour

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

Work-in-Progress Session.

Michael González Harbour

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

A POSIX-Ada Interface for Application-Defined Scheduling.

Mario Aldea Rivas, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2002

Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.

Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour

Proceedings of the Reliable Software Technologies, 2002

2001

MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time System.

Julio Luis Medina Pasaje, Michael González Harbour, José M. Drake

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

MAST: Modeling and Analysis Suite for Real Time Applications.

Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez, J. M. Drake Moyano

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

2000

Extending Ada's real-time systems annex with the POSIX scheduling services.

Mario Aldea Rivas, Michael González Harbour

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Session summary: distribution and real-time.

Michael González Harbour, Luís Miguel Pinho

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Towards a real-time distributed systems annex in Ada.

José Javier Guitiérrez García, Michael González Harbour

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Schedulability analysis of distributed hard real-time systems with multiple-event synchronization.

J. J. Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999

Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems.

José C. Palencia Gutiérrez, Michael González Harbour

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Distributed Ada and real-time (session summary).

Michael González Harbour

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Prioritizing remote procedure calls in Ada distributed systems.

J. J. Gutiérrez García, Michael González Harbour

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998

Schedulability Analysis for Tasks with Static and Dynamic Offsets.

José C. Palencia Gutiérrez, Michael González Harbour

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems.

José C. Palencia Gutiérrez, J. J. Gutiérrez García, Michael González Harbour

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

PINROB: A Portable API for Industrial Robots.

Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot

Proceedings of the Reliable Software Technologies, 1998

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications.

Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez

Proceedings of the Reliable Software Technologies, 1998

1997

Implementing robot controllers under real-time POSIX and Ada.

Michael González Harbour, J. M. Drake Moyano, Mario Aldea Rivas, J. García Fernández

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

On the schedulability analysis for distributed hard real-time systems.

José C. Palencia Gutiérrez, José Javier Gutiérrez García, Michael González Harbour

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

Implementing Application-Level Sporadic Server Schedulers in Ada 95.

Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez

Proceedings of the Reliable Software Technologies, 1997

1996

Minimizing the effects of jitter in distributed hard real-time systems.

José Javier Gutiérrez García, Michael González Harbour

J. Syst. Archit., 1996

A two-level programming strategy for distributed systems.

D. Conde, Rafael Menéndez de Llano, Michael González Harbour, José A. Gregorio

Microprocess. Microprogramming, 1996

1995

Increasing schedulability in distributed hard real-time systems.

José Javier Gutiérrez García, Michael González Harbour

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems.

Michael González Harbour, Mark H. Klein, John P. Lehoczky

IEEE Trans. Software Eng., 1994

Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model.

Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake

IEEE Trans. Parallel Distributed Syst., 1994

1993

A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems.

Mark H. Klein, Thomas Ralya, Bill Pollak, Ray Obenza, Michael González Harbour

The Kluwer international series in engineering and computer science 230, Kluwer, ISBN: 978-0-7923-9361-0, 1993

1991

Fixed priority scheduling periodic tasks with varying execution priority.

Michael González Harbour, Mark H. Klein, John P. Lehoczky

Proceedings of the Real-Time Systems Symposium, 1991