| 2005 |
|---|
| 8 | EE | Jan Friso Groote,
François Monin,
Jan Springintveld:
A computer checked algebraic verification of a distributed summation algorithm.
Formal Asp. Comput. 17(1): 19-37 (2005) |
| 2003 |
|---|
| 7 | EE | Fairouz Kamareddine,
François Monin,
Mauricio Ayala-Rincón:
On Automating the Extraction of Programs from Termination Proofs.
Revista Comlombiana de Computación 4(2): (2003) |
| 2002 |
|---|
| 6 | EE | Fairouz Kamareddine,
François Monin,
Mauricio Ayala-Rincón:
On automating the extraction of programs from proofs using product types.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 5 | EE | Fairouz Kamareddine,
François Monin:
An Extension of an Automated Termination Method of Recursive Functions.
Int. J. Found. Comput. Sci. 13(3): 361-386 (2002) |
| 2001 |
|---|
| 4 | EE | François Monin,
Marianne Simonot:
An ordinal measure based procedure for termination of functions.
Theor. Comput. Sci. 254(1-2): 63-94 (2001) |
| 1999 |
|---|
| 3 | EE | Fairouz Kamareddine,
François Monin:
On Automating Inductive and Non-inductive Termination Methods.
ASIAN 1999: 177-189 |
| 2 | | Fairouz Kamareddine,
François Monin:
On Formalised Proofs of Termination of Recursive Functions.
PPDP 1999: 29-46 |
| 1998 |
|---|
| 1 | EE | Jan Friso Groote,
François Monin,
Jaco van de Pol:
Checking Verifications of Protocols and Distributed Systems by Computer.
CONCUR 1998: 629-655 |
