François Monin

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Anca Pascu, Laurent Nana, Jean Vareille, François Monin
On Soft Sets and Formal Concept Analysis (FCA) as mathematical categorization systems - An Engineering Application. FLAIRS (2024)
Mohamed Bouziane, Sophie Gire, François Monin, Laurent Nana
Formal proof of security algorithms based on reachability reduction. MEDES (2016)
Jan Friso Groote, François Monin, Jan Springintveld
A computer checked algebraic verification of a distributed summation algorithm. Formal Aspects Comput. 17 (1) (2005)
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
On Automating the Extraction of Programs from Termination Proofs. Rev. Colomb. de Computación 4 (2) (2003)
Fairouz Kamareddine, François Monin
An Extension of an Automated Termination Method of Recursive Functions. Int. J. Found. Comput. Sci. 13 (3) (2002)
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
On automating the extraction of programs from proofs using product types. Electron. Notes Theor. Comput. Sci. 67 (2002)
François Monin, Marianne Simonot
An ordinal measure based procedure for termination of functions. Theor. Comput. Sci. 254 (1-2) (2001)
Fairouz Kamareddine, François Monin
On Automating Inductive and Non-inductive Termination Methods. ASIAN (1999)
Fairouz Kamareddine, François Monin
On Formalised Proofs of Termination of Recursive Functions. PPDP (1999)
Jan Friso Groote, François Monin, Jaco van de Pol
Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR (1998)