ProPre A Programming Language with Proofs. - Pascal Manoury; Michel Parigot; Marianne Simonot (LPAR, 1992)

Automatizing Termination Proofs of Recursively Defined Functions. - Pascal Manoury; Marianne Simonot (Theor. Comput. Sci., 1994)

Deriving Software Specifications from Event Based Models. - Nestor Lopez; Marianne Simonot; Véronique Donzeau-Gouge (ZB, 2000)

An ordinal measure based procedure for termination of functions. - François Monin; Marianne Simonot (Theor. Comput. Sci., 2001)

A methodological process for the design of a large system: two industrial case-studies. - Nestor Lopez; Marianne Simonot; Véronique Donzeau-Gouge (FMICS, 2002)

Une approche formelle de la reconfiguration dynamique. - Marianne Simonot; Maria-Virginia Aponte (Obj. Logiciel Base données Réseaux, 2008)

Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. - Marianne Simonot; M. Homps; Philippe Bonnot 002 (CSEDU (2), 2012)