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
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
Correct Real-Time Software for Programmable Logic Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
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
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Formalising the L4 microkernel API
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Formal specification for building robust real-time microkernels
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Formal analysis of the priority ceiling protocol
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Formalising the L4 microkernel API
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
Hi-index | 0.00 |