HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
T-SMART—task-safe, minimal Ada realtime toolset
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
The Ravenscar Profile and implementation issues (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
ACM SIGAda Ada Letters
Status and future of the Ravenscar profile session summary
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Real-Time Systems
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement
ACM SIGAda Ada Letters
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
Automatic Code Generation from Real-Time Systems Specifications
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Ada for the control of degradation of service
ACM SIGAda Ada Letters
Journal of Systems Architecture: the EUROMICRO Journal
Proceedings of the Conference on Design, Automation and Test in Europe
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
Proceedings of the ACM SIGAda annual international conference on SIGAda
Towards Ada 2012: an interim report
Proceedings of the ACM SIGAda annual international conference on SIGAda
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Developing a profile for using object-oriented Ada in high-integrity systems
ACM SIGAda Ada Letters
Static detection of access anomalies in ada95
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Towards ada 2012: an interim report
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
An extended ravenscar profile for execution time control
ACM SIGAda Ada Letters
Hi-index | 0.00 |