ADA 95 Rationale: The Language, the Standard Libraries

Coordination control with BCOOPL

Proceedings of the 2001 ACM symposium on Applied computing

Migrating Large Applications from Ada83 to Ada95

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Software frameworks and embedded control systems

Software frameworks and embedded control systems

Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systems

Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies

Semantic mutation testing

Science of Computer Programming