Checking Verifications of Protocols and Distributed Systems by Computer. - Jan Friso Groote; François Monin; Jaco van de Pol (CONCUR, 1998)

On Automating Inductive and Non-inductive Termination Methods. - Fairouz Kamareddine; François Monin (ASIAN, 1999)

On Formalised Proofs of Termination of Recursive Functions. - Fairouz Kamareddine; François Monin (PPDP, 1999)

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

On automating the extraction of programs from proofs using product types. - Fairouz Kamareddine; François Monin; Mauricio Ayala-Rincón (WoLLIC, 2002)

An Extension of an Automated Termination Method of Recursive Functions. - Fairouz Kamareddine; François Monin (Int. J. Found. Comput. Sci., 2002)

On Automating the Extraction of Programs from Termination Proofs. - Fairouz Kamareddine; François Monin; Mauricio Ayala-Rincón (Rev. Colomb. de Computación, 2003)

A computer checked algebraic verification of a distributed summation algorithm. - Jan Friso Groote; François Monin; Jan Springintveld (Formal Aspects Comput., 2005)

Formal proof of security algorithms based on reachability reduction. - Mohamed Bouziane; Sophie Gire; François Monin; Laurent Nana (MEDES, 2016)

On Soft Sets and Formal Concept Analysis (FCA) as mathematical categorization systems - An Engineering Application. - Anca Pascu; Laurent Nana; Jean Vareille; François Monin (FLAIRS, 2024)

A Knowledge Analysis of an Engineering Application Related to Sustainable Development. - Laurent Nana; Jean Vareille; François Monin; Anca Christine Pascu (FLAIRS, 2025)

On the Mathematical Modeling in Logic: An Analysis of the Structural Part of Object Determination Logic Through the Formal Concept Analysis. - Anca Pascu; Laurent Nana; Jean Vareille; François Monin (Logica Universalis, 2025)