Bdd-based analysis of gapped q-gram Filters. - Marc Fontaine; Stefan Burkhardt; Juha Kärkkäinen (Int. J. Found. Comput. Sci., 2005)

The Ecce and Logen partial evaluators and their web interfaces. - Michael Leuschel; Daniel Elphick; Mauricio Varea; Stephen-John Craig; Marc Fontaine (PEPM, 2006)

Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. - Michael Leuschel; Marc Fontaine (ICFEM, 2008)

Ein Modelchecker für CSP-M. - Marc Fontaine (2012)