A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Concurrency in Ada
Combining static worst-case timing analysis and program proof
Real-Time Systems
Engineering and Analysis of Fixed Priority Schedulers
IEEE Transactions on Software Engineering
A formal model of the Ada Ravenscar tasking profile; delay until
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Hardware compilation of sequential ada
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
DROOPI: towards a generic middleware
ACM SIGAda Ada Letters
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A Design Pattern for State Machines and Concurrent Activities
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Verifying, validating and monitoring the open Ravenscar real time kernel
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Schizophrenic middleware support for fault tolerance
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
RMI-HRT: remote method invocation - hard real time
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Model-based schedulability analysis of safety critical hard real-time Java programs
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Requirements on the Target Programming Language for High-Integrity MDE
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Design and performance of a generic consensus component for critical distributed applications
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Worst-case execution time analysis for a Java processor
Software—Practice & Experience
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Embedded Systems Design
Runtime monitoring of time-sensitive systems
RV'11 Proceedings of the Second international conference on Runtime verification
Safety-critical Java level 2: motivations, example applications and issues
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |