Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)

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

Introduction

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada

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

Operating system support for execution time budgets for thread groups

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada

A comparison of object-oriented languages in software engineering

ACM SIGSOFT Software Engineering Notes

Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies

Empirical assessment of object-oriented implementations with multiple inheritance and static typing

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Investigating the usability of real-time scheduling theory with the Cheddar project

Real-Time Systems

Validate, simulate, and implement ARINC653 systems using the AADL

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies

Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies

Support for a real-time transactional model in distributed Ada

ACM SIGAda Ada Letters

Providing additional real-time capability and flexibility for Ada 2005

ACM SIGAda Ada Letters

Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I

Making the non-executable ACATS tests executable

SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language

Preliminary multiprocessor support of ada 2012 in GNU/Linux systems

Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies

Using hardware support for scheduling with ada

Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies

Synchronization cannot be implemented as a library

Proceedings of the 2012 ACM conference on High integrity language technology

Adapting ACATS for use with run-time checks suppressed

Proceedings of the 2012 ACM conference on High integrity language technology