François Monin

According to our database, François Monin authored at least 9 papers between 1998 and 2016.

Collaborative distances:

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

2016

Formal proof of security algorithms based on reachability reduction.

Mohamed Bouziane, Sophie Gire, François Monin, Laurent Nana

Proceedings of the 8th International Conference on Management of Digital EcoSystems, 2016

2005

A computer checked algebraic verification of a distributed summation algorithm.

Jan Friso Groote, François Monin, Jan Springintveld

Formal Aspects Comput., 2005

2003

On Automating the Extraction of Programs from Termination Proofs.

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón

Rev. Colomb. de Computación, 2003

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 proofs using product types.

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

2001

An ordinal measure based procedure for termination of functions.

François Monin, Marianne Simonot

Theor. Comput. Sci., 2001

1999

On Formalised Proofs of Termination of Recursive Functions.

Fairouz Kamareddine, François Monin

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

On Automating Inductive and Non-inductive Termination Methods.

Fairouz Kamareddine, François Monin

Proceedings of the Advances in Computing Science, 1999

1998

Checking Verifications of Protocols and Distributed Systems by Computer.

Jan Friso Groote, François Monin, Jaco van de Pol

Proceedings of the CONCUR '98: Concurrency Theory, 1998