| 2007 |
| 8 | EE | Mario Aldea Rivas,
José F. Ruiz:
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.
Ada-Europe 2007: 29-40 |
| 2005 |
| 7 | EE | Mario Aldea Rivas,
Javier Miranda,
Michael González Harbour:
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.
Ada-Europe 2005: 220-235 |
| 2004 |
| 6 | EE | Mario Aldea Rivas,
Francisco Javier Miranda González,
Michael González Harbour:
Implementing an Application-Defined Scheduling Framework for Ada Tasking.
Ada-Europe 2004: 283-296 |
| 2003 |
| 5 | EE | Mario Aldea Rivas,
Michael González Harbour:
Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms.
ECRTS 2003: 161-168 |
| 2002 |
| 4 | EE | Mario Aldea Rivas,
Michael González Harbour:
A POSIX-Ada Interface for Application-Defined Scheduling.
Ada-Europe 2002: 136-150 |
| 3 | EE | Mario Aldea Rivas,
Michael González Harbour:
POSIX-Compatible Application-Defined Scheduling in MaRTE OS.
ECRTS 2002: 67-75 |
| 2001 |
| 2 | EE | Mario Aldea Rivas:
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.
Ada-Europe 2001: 305-316 |
| 1998 |
| 1 | EE | Michael González Harbour,
Mario Aldea Rivas,
J. J. Gutiérrez García,
José C. Palencia Gutiérrez:
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications.
Ada-Europe 1998: 90-101 |