Occam's Razor Applied to the Petri Net Coverability Problem. - Thomas Geffroy; Jérôme Leroux; Grégoire Sutre (RP, 2016)

Backward coverability with pruning for lossy channel systems. - Thomas Geffroy; Jérôme Leroux; Grégoire Sutre (SPIN, 2017)

Vers des outils efficaces pour la vérification de systèmes concurrents. (Towards efficient tools for the verification of concurrent systems). - Thomas Geffroy (2017)