Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. - Jean-Frédéric Étienne; Manuel Maarek; Florent Anseaume; Véronique Delebarre (ICSE (2), 2015)

Automatic proof of freedom from interference with IFFree. - Christèle Faure; Véronique Delebarre (ECSA Workshops, 2016)