Stayin' alert: : moulding failure and exceptions to your needs. - Anya Helene Bagge; Valentin David; Magne Haveraaen; Karl Trygve Kalleberg (GPCE, 2006)

C-Transformers: a framework to write C program transformations. - Alexandre Borghi; Valentin David; Akim Demaille (ACM Crossroads, 2006)

Axiom-based testing for C++. - Anya Helene Bagge; Valentin David; Magne Haveraaen (OOPSLA Companion, 2008)

Testing with concepts and axioms in C++. - Anya Helene Bagge; Valentin David; Magne Haveraaen (OOPSLA Companion, 2008)

Preparing for C++0x. - Valentin David (OOPSLA Companion, 2008)

The axioms strike back: testing with concepts and axioms in C++. - Anya Helene Bagge; Valentin David; Magne Haveraaen (GPCE, 2009)

Concepts as Syntactic Sugar. - Valentin David; Magne Haveraaen (SCAM, 2009)

Testing with Axioms in C++ 2011. - Anya Helene Bagge; Valentin David; Magne Haveraaen (J. Object Technol., 2011)