Small Witnesses for Abstract Interpretation-Based Proofs. - Frédéric Besson; Thomas P. Jensen; Tiphaine Turpin (ESOP, 2007)

Computing Stack Maps with Interfaces. - Frédéric Besson; Thomas P. Jensen; Tiphaine Turpin (ECOOP, 2008)

Sawja: Static Analysis Workshop for Java. - Laurent Hubert; Nicolas Barré; Frédéric Besson; Delphine Demange; Thomas P. Jensen; Vincent Monfort; David Pichardie; Tiphaine Turpin (FoVeOOS, 2010)

Certified Result Checking for Polyhedral Analysis of Bytecode Programs. - Frédéric Besson; Thomas P. Jensen; David Pichardie; Tiphaine Turpin (TGC, 2010)