Marc Fontaine

According to our database, Marc Fontaine authored at least 4 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Ein Modelchecker für CSP-M.

Marc Fontaine

PhD thesis, 2012

2008

Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.

Michael Leuschel, Marc Fontaine

Proceedings of the Formal Methods and Software Engineering, 2008

2006

The Ecce and Logen partial evaluators and their web interfaces.

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

Bdd-based analysis of gapped q-gram Filters.

Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen

Int. J. Found. Comput. Sci., 2005