Papers
High-Integrity Object-Oriented Programming in Ada
Compilation of Heterogeneous Models: Motivations and Challenges
Integrating Formal Program Verification with Testing
Formalization and Comparison of MCDC and Object Branch Coverage Criteria
The use of value numbers in static analysis.
Towards Certification of Object-Oriented Code with the GNAT Compiler
Couverture paper presented at ERTS² 2010
A principled approach to software engineering
Conflict-detection technology takes to the skies
Coverage and Free Software
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++