Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, Katholieke Universiteit Leuven (KUL)
Fingerprint Dive into the research topics where Wim VANHOOF is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 3 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & VANHOOF, W.
15/12/09 → …
Project: PHD
Constraint-based test data generation for database-driven applications
Marcozzi, M., VANHOOF, W. & HAINAUT, J.
1/10/10 → 30/09/14
Project: PHD
Génération de données de test basée à base de contraintes pour des applications orientées base de données
1/10/10 → 30/09/12
Project: PHD
Research Output
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).Research output: Contribution to conference › Poster
Introduire la concurrence en début de secondaire
Libert, C. & Vanhoof, W., 2020. 12 p.Research output: Contribution to conference › Paper
Open Access
Analysis of Students' Preconceptions of Concurrency
Libert, C. & Vanhoof, W., 26 Aug 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Research output: Contribution to journal › Article
Un dispositif d'évaluation continue en introduction à la programmation
Libert, C. & Vanhoof, W., 2019, (Unpublished).Research output: Contribution to conference › Paper
File
Prizes
Activities
FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee), Christian Colot (Member of Organizing Committee)6 Dec 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)9 Oct 2019
Activity: Talk or presentation types › Oral presentation
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)7 Oct 2019 → 9 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)8 Oct 2019
Activity: Talk or presentation types › Invited talk
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 Oct 2019 → 10 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
Thesis
A declarative approach to Java Virtual Machine modelisation and Bytecode execution
Author: Laffineur, G., 23 Jun 2017Supervisor: Cleve, A. (President) & Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science
File
A distributed collaborative model editing framework for domain specific modeling languages
Author: Koshima, A., 12 Jan 2016Supervisor: Englebert, V. (Supervisor), Thiran, P. (Co-Supervisor), Vanhoof, W. (President), Cleve, A. (Jury), Mens, T. (External person) (Jury) & Van Gorp, P. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File
Aide à la distribution et exploitation électrique : simulation et optimisation
Author: Braun, C., 29 Aug 2017Supervisor: Vanhoof, W. (President) & Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
A multi-objective genetic algorithm for biclustering of gene expression data with probabilistic encoding and overlapping control
Author: Marcozzi, M., 29 Sep 2010Supervisor: Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Analyse d'exécutables x86 par transformation sous forme de clauses de Horn
Author: Devos, A., 26 Jun 2017Supervisor: Cleve, A. (President) & Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Press / Media
24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)
19/03/14
1 item of Media coverage
Press/Media: Expert Comment