2019
A hierarchical architecture for time- and event-triggered real-time systems.
J. Syst. Archit., 2019
2018
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018
2016
Combining Time-Triggered Plans with Priority Scheduled Task Sets.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016
2014
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012.
Proceedings of the Reliable Software Technologies, 2014
2012
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012
2008
Implementation of a constant-time dynamic storage allocator.
Softw. Pract. Exp., 2008
2007
Proceedings of the 13th International Workshop on Real-Time Ada, 2007
2005
Distributing Criticality Across Ada Partitions.
Proceedings of the Reliable Software Technology, 2005
2004
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal.
Real Time Syst., 2004
TLSF: A New Dynamic Memory Allocator for Real-Time Systems.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004
Dynamic Ceiling Priorities: A Proposal for Ada0Y.
Proceedings of the Reliable Software Technologies, 2004
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.
Proceedings of the Reliable Software Technologies, 2004
2003
Dynamic ceiling priorities in GNAT implementation report.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003
Running Ada on Real-Time Linux.
Proceedings of the Reliable Software Technologies, 2003
2002
A lab course of computer organization.
Proceedings of the 2002 workshop on Computer architecture education, 2002
Protected ceiling changes.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002
2001
Offsets for Scheduling Mode Changes.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001
2000
A semantics for dynamic ceiling priorities in Ada.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000
1999
Dynamic ceiling priorities and Ada 95.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999
Implementing mode changes with shared resources in Ada.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999
The Ceiling Protocol in Multi-moded Real-Time Systems.
Proceedings of the Reliable Software Technologies, 1999
1996
Using Ada 95 for Prototyping Real-Time Systems.
Proceedings of the Reliable Software Technologies, 1996