François Monin

12 papers B 1C 3Misc 2Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 Misc conf
A Knowledge Analysis of an Engineering Application Related to Sustainable Development.
FLAIRS
Laurent Nana, Jean Vareille, François Monin, Anca Christine Pascu
2025 J jnl
On the Mathematical Modeling in Logic: An Analysis of the Structural Part of Object Determination Logic Through the Formal Concept Analysis.
Logica Universalis
Anca Pascu, Laurent Nana, Jean Vareille, François Monin
2024 Misc conf
On Soft Sets and Formal Concept Analysis (FCA) as mathematical categorization systems - An Engineering Application.
FLAIRS
Anca Pascu, Laurent Nana, Jean Vareille, François Monin
2016 C conf
Formal proof of security algorithms based on reachability reduction.
MEDES
Mohamed Bouziane, Sophie Gire, François Monin, Laurent Nana
2005 J jnl
A computer checked algebraic verification of a distributed summation algorithm.
Formal Aspects Comput.
Jan Friso Groote, François Monin, Jan Springintveld
2003 J jnl
On Automating the Extraction of Programs from Termination Proofs.
Rev. Colomb. de Computación
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
2002 J jnl
An Extension of an Automated Termination Method of Recursive Functions.
Int. J. Found. Comput. Sci.
Fairouz Kamareddine, François Monin
2002 C conf
On automating the extraction of programs from proofs using product types.
WoLLIC
Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
2001 J jnl
An ordinal measure based procedure for termination of functions.
Theor. Comput. Sci.
François Monin, Marianne Simonot
1999 — conf
On Automating Inductive and Non-inductive Termination Methods.
ASIAN
Fairouz Kamareddine, François Monin
1999 C conf
On Formalised Proofs of Termination of Recursive Functions.
PPDP
Fairouz Kamareddine, François Monin
1998 B conf
Checking Verifications of Protocols and Distributed Systems by Computer.
CONCUR
Jan Friso Groote, François Monin, Jaco van de Pol