On Selecting Constraints for Replication in Model Checking. - Guillaume Baud-Berthier; Laurent Simon 001 (ICTAI, 2017)

On the Community Structure of Bounded Model Checking SAT Problems. - Guillaume Baud-Berthier; Jesús Giráldez-Cru; Laurent Simon 001 (SAT, 2017)

Zigzagging Strategies for Temporal Induction. - Guillaume Baud-Berthier; Laurent Simon 001 (ICTAI, 2018)

Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT. (Effective Encoding of Critical Systems for SAT-Based Model Checking). - Guillaume Baud-Berthier (2018)