Michael González Harbour

87 papers A 7B 9C 2Misc 21Journal 23Unranked 23

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Using MAST for modeling and response-time analysis of real-time applications with GPUs. J. Syst. Archit. Iosu Gomez, Unai Díaz-de-Cerio, Jorge Parra, Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
2023	J	`jnl`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 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
2023	B	`conf`	From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 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
2023	J	`jnl`	Response-time analysis of mesh-based many-core systems. J. Syst. Archit. David García Villaescusa, Mario Aldea Rivas, Michael González Harbour
2021	—	`conf`	M2OS-Mc: An RTOS for Many-Core Processors. NG-RES@HiPEAC David García Villaescusa, Mario Aldea Rivas, Michael González Harbour
2020	J	`jnl`	Non-Blocking Synchronization Between Real-Time and Non-Real-Time Applications. IEEE Access Alejandro Pérez Ruiz, Mario Aldea Rivas, Michael González Harbour
2020	J	`jnl`	Response-Time Analysis of Multipath Flows in Hierarchically-Scheduled Time-Partitioned Distributed Real-Time Systems. IEEE Access Andoni Amurrio, Ekain Azketa, J. Javier Gutiérrez, Mario Aldea Rivas, Michael González Harbour
2017	J	`jnl`	A supercomputing framework for the evaluation of real-time analysis and optimization techniques. J. Syst. Softw. Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
2017	J	`jnl`	Response-Time Analysis in Hierarchically-Scheduled Time-Partitioned Distributed Systems. IEEE Trans. Parallel Distributed Syst. J. Carlos Palencia, Michael González Harbour, J. Javier Gutiérrez, Juan Maria Rivas
2016	—	`conf`	An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. STAF Workshops 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
2016	Misc	`conf`	The Polling Effect on the Schedulability of Distributed Real-Time Systems. Ada-Europe Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia
2015	J	`jnl`	A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. IEEE Trans. Computers Alan Burns, Marina Gutiérrez, Mario Aldea Rivas, Michael González Harbour
2015	Misc	`conf`	AFDX Emulator for an ARINC-Based Training Platform. Ada-Europe Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour
2015	—	`conf`	CPU Isolation on the Android OS for running Real-Time Applications. JTRES Alejandro Pérez Ruiz, Mario Aldea Rivas, Michael González Harbour
2015	J	`jnl`	Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems. IEEE Trans. Parallel Distributed Syst. Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour
2015	J	`jnl`	Guest Editorial: Special Issue on The Real-Time Systems Symposium. Real Time Syst. Michael González Harbour, Giorgio C. Buttazzo
2015	J	`jnl`	On the convergence of the holistic analysis for EDF distributed systems. J. Syst. Archit. Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia
2014	Misc	`conf`	Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems. RTNS Unai Díaz-de-Cerio, Juan P. Uribe, Michael González Harbour, J. Carlos Palencia
2014	—	`conf`	Gen4Mast: A tool for the evaluation of real-time techniques using a supercomputer. REACTION Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
2014	J	`jnl`	Holistic schedulability analysis for multipacket messages in AFDX networks. Real Time Syst. J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour
2013	J	`jnl`	Fixed priorities or EDF for distributed real-time systems? SIGBED Rev. Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
2013	—	`conf`	Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour Models. EUROMICRO-SEAA Patricia López Martínez, Jose Maria M. Lanza, José M. Drake, Michael González Harbour
2013	J	`jnl`	Modeling distributed real-time systems with MAST 2. J. Syst. Archit. Michael González Harbour, J. Javier Gutiérrez, José M. Drake, Patricia López Martínez, J. Carlos Palencia
2013	J	`jnl`	Modelling real-time applications based on resource reservations. J. Syst. Archit. Laura Barros, Patricia López Martínez, César Cuevas, José M. Drake, Michael González Harbour
2012	C	`conf`	Schedulability analysis of multi-packet messages in segmented CAN. ETFA Ekain Azketa, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour, Luís Almeida, Marga Marcos
2011	B	`conf`	Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems. ECRTS Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour
2010	A	`conf`	Defects of the POSIX Sporadic Server and How to Correct Them. IEEE Real-Time and Embedded Technology and Applications Symposium Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael González Harbour
2010	Misc	`conf`	Managing Transactions in Flexible Distributed Real-Time Systems. Ada-Europe Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez
2010	A	`conf`	Optimized Deadline Assignment and Schedulability Analysis for Distributed Real-Time Systems with Local EDF Scheduling. ESA Juan Maria Rivas, José Javier Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour
2009	Misc	`conf`	Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. Ada-Europe Mario Aldea Rivas, Michael González Harbour, José F. Ruiz
2009	J	`jnl`	Influence of different abstractions on the performance analysis of distributed hard real-time systems. Des. Autom. Embed. Syst. Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour
2008	J	`jnl`	Guest Editorial: special issue on the Euromicro Conference on Real-Time Systems (ECRTS 2007). Real Time Syst. Michael González Harbour
2008	J	`jnl`	Operating System Support for Embedded Real-Time Applications. EURASIP J. Embed. Syst. Alfons Crespo, Ismael Ripoll, Michael González Harbour, Giuseppe Lipari
2008	Misc	`conf`	Real-Time Distribution Middleware from the Ada Perspective. Ada-Europe Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour
2007	Misc	`conf`	Influence of different system abstractions on the performance analysis of distributed real-time systems. EMSOFT Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour
2007	C	`conf`	Integration of a flexible time triggered network in the FRESCOR resource contracting framework. ETFA Ricardo Marau, Luís Almeida, Paulo Pedreiras, Michael González Harbour, Daniel Sangorrín, Julio L. Medina
2007	—	`conf`	Introduction. IRTAW Michael González Harbour, J. Javier Gutiérrez
2007	—	`conf`	Operating system support for execution time budgets for thread groups. IRTAW Mario Aldea Rivas, Michael González Harbour
2006	—	`conf`	FSF: A Real-Time Scheduling Architecture Framework. IEEE Real Time Technology and Applications Symposium 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
2006	Misc	`conf`	Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. Ada-Europe Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
2006	Misc	`ed.`	Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings Ada-Europe Luís Miguel Pinho, Michael González Harbour
2005	Misc	`conf`	Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. Ada-Europe Mario Aldea Rivas, Javier Miranda, Michael González Harbour
2005	Misc	`conf`	RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. Ada-Europe José María Martínez, Michael González Harbour
2005	J	`jnl`	Response time analysis of EDF distributed real-time systems. J. Embed. Comput. José C. Palencia Gutiérrez, Michael González Harbour
2004	Misc	`conf`	Implementing an Application-Defined Scheduling Framework for Ada Tasking. Ada-Europe Mario Aldea Rivas, Javier Miranda, Michael González Harbour
2004	Misc	`conf`	The Chance for Ada to Support Distribution and Real-Time in Embedded Systems. Ada-Europe Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
2003	Misc	`conf`	A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. Ada-Europe Javier Miranda, Michael González Harbour
2003	Misc	`conf`	A Round Robin Scheduling Policy for Ada. Ada-Europe Alan Burns, Michael González Harbour, Andy J. Wellings
2003	—	`conf`	Application-defined scheduling in Ada. IRTAW Mario Aldea Rivas, Michael González Harbour
2003	B	`conf`	Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms. ECRTS Mario Aldea Rivas, Michael González Harbour
2003	—	`conf`	Managing multiple execution-time timers from a single task. IRTAW Michael González Harbour, Mario Aldea Rivas
2003	B	`conf`	Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF. ECRTS José C. Palencia Gutiérrez, Michael González Harbour
2003	—	`conf`	Report of session: current real-time AIs. IRTAW Michael González Harbour, Tullio Vardanega
2003	A	`conf`	Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities. RTSS Michael González Harbour, José C. Palencia Gutiérrez
2002	Misc	`conf`	A POSIX-Ada Interface for Application-Defined Scheduling. Ada-Europe Mario Aldea Rivas, Michael González Harbour
2002	—	`conf`	Application-defined scheduling in Ada. IRTAW Mario Aldea Rivas, Michael González Harbour
2002	Misc	`conf`	Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. Ada-Europe Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour
2002	—	`conf`	Modeling and schedulability analysis in the development of real-time distributed Ada systems. IRTAW J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina
2002	B	`conf`	POSIX-Compatible Application-Defined Scheduling in MaRTE OS. ECRTS Mario Aldea Rivas, Michael González Harbour
2002	—	`conf`	Session on real-time, fault tolerance, and distribution. IRTAW Michael González Harbour, Juan Antonio de la Puente
2002	—	`conf`	Session summary: update on the real-time specification for java. IRTAW Ben Brosgol, Michael González Harbour
2002	B	`conf`	Work-in-Progress Session. ECRTS Michael González Harbour
2001	A	`conf`	MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time System. RTSS Julio Luis Medina Pasaje, Michael González Harbour, José M. Drake
2001	B	`conf`	MAST: Modeling and Analysis Suite for Real Time Applications. ECRTS Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez, J. M. Drake Moyano
2001	—	`ed.`	Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000 IRTAW Benjamin M. Brosgol, Michael González Harbour
2000	—	`conf`	Extending Ada's real-time systems annex with the POSIX scheduling services. IRTAW Mario Aldea Rivas, Michael González Harbour
2000	B	`conf`	Schedulability analysis of distributed hard real-time systems with multiple-event synchronization. ECRTS J. J. Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour
2000	—	`conf`	Session summary: distribution and real-time. IRTAW Michael González Harbour, Luís Miguel Pinho
2000	—	`conf`	Towards a real-time distributed systems annex in Ada. IRTAW José Javier Guitiérrez García, Michael González Harbour
1999	—	`conf`	Distributed Ada and real-time (session summary). IRTAW Michael González Harbour
1999	A	`conf`	Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems. RTSS José C. Palencia Gutiérrez, Michael González Harbour
1999	—	`conf`	Prioritizing remote procedure calls in Ada distributed systems. IRTAW J. J. Gutiérrez García, Michael González Harbour
1999	Misc	`ed.`	Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings Ada-Europe Michael González Harbour, Juan Antonio de la Puente
1998	B	`conf`	Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems. ECRTS José C. Palencia Gutiérrez, J. J. Gutiérrez García, Michael González Harbour
1998	Misc	`conf`	Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. Ada-Europe Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez
1998	Misc	`conf`	PINROB: A Portable API for Industrial Robots. Ada-Europe Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot
1998	A	`conf`	Schedulability Analysis for Tasks with Static and Dynamic Offsets. RTSS José C. Palencia Gutiérrez, Michael González Harbour
1997	Misc	`conf`	Implementing Application-Level Sporadic Server Schedulers in Ada 95. Ada-Europe Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez
1997	—	`conf`	Implementing robot controllers under real-time POSIX and Ada. IRTAW Michael González Harbour, J. M. Drake Moyano, Mario Aldea Rivas, J. García Fernández
1997	—	`conf`	On the schedulability analysis for distributed hard real-time systems. RTS José C. Palencia Gutiérrez, José Javier Gutiérrez García, Michael González Harbour
1996	J	`jnl`	A two-level programming strategy for distributed systems. Microprocess. Microprogramming D. Conde, Rafael Menéndez de Llano, Michael González Harbour, José A. Gregorio
1996	J	`jnl`	Minimizing the effects of jitter in distributed hard real-time systems. J. Syst. Archit. José Javier Gutiérrez García, Michael González Harbour
1995	—	`conf`	Increasing schedulability in distributed hard real-time systems. RTS José Javier Gutiérrez García, Michael González Harbour
1994	J	`jnl`	Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model. IEEE Trans. Parallel Distributed Syst. Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake
1994	J	`jnl`	Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. IEEE Trans. Software Eng. Michael González Harbour, Mark H. Klein, John P. Lehoczky
1993	—	`book`	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
1991	A	`conf`	Fixed priority scheduling periodic tasks with varying execution priority. RTSS Michael González Harbour, Mark H. Klein, John P. Lehoczky