Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

François DEGRAVE

Publications (8)

Articles de périodique

2012
Entre chasse à la fraude et respect de la vie privée, in Le soir, issue 4 mai 2012
Yves POULLET, François DEGRAVE
2009
Towards a Framework for Constraint-Based Test Case Generation, in Proceedings of LOPSTR 2009, collection Lecture Notes in Computer Science, volume 6037, pp. 128-142
François DEGRAVE, Tom SCHRIJVERS, Wim VANHOOF
2008
Automatic Test Input Generation for Mercury, in Proceedings of LOPSTR 2008, collection Lecture Notes in Computer Science, volume 5438, pp. 71-86
François DEGRAVE, Tom SCHRIJVERS, Wim VANHOOF
2008
Towards a Normal Form for Mercury Programs, in Proceedings of LOPSTR 2007, collection Lecture Notes in Computer Science, volume 4915, pp. 43-58
François DEGRAVE, Wim VANHOOF

Contributions à des ouvrages collectifs

2009
An Algorithm for Sophisticated Code Matching in Logic Programs, in Proceedings of ICLP 2008, collection Lecture Notes in Computer Science, volume 5366
Wim VANHOOF, François DEGRAVE
2008
Development of an Automatic Testing Environment for Mercury, in Proceedings of ICLP 2008, collection Lecture Notes in Computer Science, volume 5366, pp. 805-806
François DEGRAVE
2007
Towards a normal form for Mercury programs, in Preproceedings of LOPSTR 2007
François DEGRAVE, Wim VANHOOF
2007
A control flow graph for Mercury., in Proceedings of CICLOPS 2007
François DEGRAVE, Wim VANHOOF