Exception support for the ravenscar profile
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Precise response time analysis for Ravenscar kernels
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Using Object Orientation in High Integrity Applications: A Case Study
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Engineering software reuse for on-board embedded real-time systems
Software—Practice & Experience
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Ada 2005 code patterns for metamodel-based code generation
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
From the prototype to the final embedded system using the Ocarina AADL tool suite
ACM Transactions on Embedded Computing Systems (TECS)
On the Timed Automata-Based Verification of Ravenscar Systems
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Operational Semantics of Ada Ravenscar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
A test environment for high integrity software development
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |