4 papers:
- AdaEurope-2009-RivasHR #ada #implementation
- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.
- AdaEurope-2007-RivasR #ada #implementation #realtime
- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
- AdaEurope-2004-MasmanoRRC #linux #realtime
- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.
- AdaEurope-2001-Rivas #ada #embedded #kernel #realtime
- Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.