Type-based analysis of uncaught exceptions. - Xavier Leroy; François Pessaux (ACM Trans. Program. Lang. Syst., 2000)

Development Life-cycle of Critical Software Under FoCaL. - Philippe Ayrault; Thérèse Hardin; François Pessaux (TTSS, 2008)

Development of a Generic Voter under FoCal. - Philippe Ayrault; Thérèse Hardin; François Pessaux (TAP@TOOLS, 2009)

ML Dependency Analysis for Assessors. - Philippe Ayrault; Vincent Benayoun; Catherine Dubois; François Pessaux (SEFM, 2012)

FoCaLiZe: Inside an F-IDE. - François Pessaux (F-IDE, 2014)

Termination Proofs for Recursive Functions in FoCaLiZe. - Catherine Dubois; François Pessaux (TFP, 2015)

Interval-Based Simulation of Zélus IVPs using DynIbex. - Jason Brown; François Pessaux (Acta Cybern., 2020)