Programming in Ada plus an overview of Ada 9X (4th ed.)

Profiling in an object-oriented design environment that supports Ada 9X and Ada 83 code generation

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94

Comparing data synchronization in Ada 9X and Orca

ACM SIGAda Ada Letters

Protected types with entry barriers depending on parameters of the entries: some practical examples

ACM SIGAda Ada Letters

ADAM: a language-independent, object-oriented, design environment for modeling inheritance and relationship variants in Ada 95, C++, and Eiffel

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

Real-Time Schedulability Tests for Preemptive Multitasking

WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems

Model checking timed automata with priorities using DBM subtraction

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems