Wim Vanhoof - RankMe

65 papers A 1B 8C 20Misc 1Journal 17Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation. CoRR Lucas Berg, Lukas Krodinger, Stephan Lukasczyk, Annibale Panichella, Gordon Fraser, Wim Vanhoof, Xavier Devroey
2025	—	`conf`	Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments. GALA Gonzague Yernaux, Martin Verjans, Wim Vanhoof
2025	—	`conf`	Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation. CSEDU (1) Lucas Berg, Gonzague Yernaux, Mikel Vandeloise, Wim Vanhoof
2024	—	`conf`	Rethinking Paradigmatic Collaboration: New Metrics for Inter-language Synergy in Software Engineering. BENEVOL Mikel Vandeloise, Gonzague Yernaux, Wim Vanhoof
2023	B	`conf`	A Dataflow Analysis for Comparing and Reordering Predicate Arguments. ICLP Gonzague Yernaux, Wim Vanhoof
2023	—	`conf`	EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science. CSEDU (2) Rudy Kabimbi Ngoy, Gonzague Yernaux, Wim Vanhoof
2023	—	`conf`	Neuroevolutionary Transfer Learning for Time Series Forecasting. SOCO (1) Aymeric Vellinger, José Francisco Torres, Federico Divina, Wim Vanhoof
2023	C	`conf`	Predicate Anti-unification in (Constraint) Logic Programming. LOPSTR Gonzague Yernaux, Wim Vanhoof
2023	—	`conf`	Scrimmo: A Real-Time Web Scraper Monitoring the Belgian Real Estate Market. WI/IAT Felix Barzin, Gonzague Yernaux, Wim Vanhoof
2022	B	`conf`	Anti-Unification of Unordered Goals. CSL Gonzague Yernaux, Wim Vanhoof
2022	C	`ed.`	Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings LOPSTR Emanuele De Angelis, Wim Vanhoof
2022	—	`conf`	On Detecting Semantic Clones in Constraint Logic Programs. IWSC Gonzague Yernaux, Wim Vanhoof
2021	J	`jnl`	Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021). CoRR Emanuele De Angelis, Wim Vanhoof
2021	J	`jnl`	Technical Report: Anti-unification of Unordered Goals. CoRR Gonzague Yernaux, Wim Vanhoof
2020	Misc	`conf`	An SMT-Based Concolic Testing Tool for Logic Programs. FLOPS Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
2020	J	`jnl`	An SMT-Based Concolic Testing Tool for Logic Programs. CoRR Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
2020	C	`conf`	Moulinog: A Generator of Random Student Assignments Written in Prolog. PPDP Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher
2019	—	`conf`	Analysis of students' preconceptions of concurrency. EASEAI@ESEC/SIGSOFT FSE Cédric Libert, Wim Vanhoof
2019	J	`jnl`	Anti-unification in Constraint Logic Programming. CoRR Gonzague Yernaux, Wim Vanhoof
2019	J	`jnl`	Anti-unification in Constraint Logic Programming. Theory Pract. Log. Program. Gonzague Yernaux, Wim Vanhoof
2019	C	`conf`	Generalization-Driven Semantic Clone Detection in CLP. LOPSTR Wim Vanhoof, Gonzague Yernaux
2017	C	`ed.`	Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 PPDP Wim Vanhoof, Brigitte Pientka
2017	—	`conf`	Survey of Software Visualization Systems to Teach Message-Passing Concurrency in Secondary School. PAAMS (Workshops) Cédric Libert, Wim Vanhoof
2016	C	`conf`	Towards a framework for algorithm recognition in binary code. PPDP Frédéric Mesnard, Étienne Payet, Wim Vanhoof
2015	J	`jnl`	A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. CoRR Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2015	J	`jnl`	A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs. CoRR Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2015	J	`jnl`	Relational symbolic execution of SQL code for unit testing of database programs. Sci. Comput. Program. Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2014	—	`conf`	Towards testing of full-scale SQL applications using relational symbolic execution. CSTVA Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2013	C	`conf`	A relational symbolic execution algorithm for constraint-based testing of database programs. SCAM Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2013	—	`conf`	Static Application-Level Race Detection in STM Haskell using Contracts. PLACES Romain Demeyer, Wim Vanhoof
2012	C	`conf`	Semantic Code Clones in Logic Programs. LOPSTR Celine Dandois, Wim Vanhoof
2012	—	`conf`	Test input generation for database programs using relational constraints. DBTest Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2011	A	`conf`	A novel probabilistic encoding for EAs applied to biclustering of microarray data. GECCO Michaël Marcozzi, Federico Divina, Jesús S. Aguilar-Ruiz, Wim Vanhoof
2011	C	`conf`	Clones in Logic Programs and How to Detect Them. LOPSTR Celine Dandois, Wim Vanhoof
2010	J	`jnl`	A Test Automation Framework for Mercury CoRR Peter Biener, François Degrave, Wim Vanhoof
2010	B	`conf`	A multi-objective Evolutionary Concept Learner. IEEE Congress on Evolutionary Computation Celine Dandois, Federico Divina, Wim Vanhoof
2010	C	`conf`	Declarative workflows to efficiently manage flexible and advanced business processes. PPDP Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof
2009	C	`conf`	Towards a Framework for Constraint-Based Test Case Generation. LOPSTR François Degrave, Tom Schrijvers, Wim Vanhoof
2008	B	`conf`	An Algorithm for Sophisticated Code Matching in Logic Programs. ICLP Wim Vanhoof, François Degrave
2008	C	`conf`	Automatic Generation of Test Inputs for Mercury. LOPSTR François Degrave, Tom Schrijvers, Wim Vanhoof
2007	J	`jnl`	Fingerprinting Logic Programs CoRR Alexander Serebrenik, Wim Vanhoof
2007	J	`jnl`	Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006) CoRR Wim Vanhoof, Susana Muñoz-Hernández
2007	J	`jnl`	Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) CoRR Patricia M. Hill, Wim Vanhoof
2007	J	`jnl`	Termination analysis of logic programs through combination of type-based norms. ACM Trans. Program. Lang. Syst. Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
2007	C	`conf`	Towards a Normal Form for Mercury Programs. LOPSTR François Degrave, Wim Vanhoof
2004	—	`ch.`	Binding-Time Analysis for Mercury. Program Development in Computational Logic Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel
2004	J	`jnl`	Offline specialisation in Prolog using a hand-written compiler generator. Theory Pract. Log. Program. Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
2004	C	`conf`	Searching Semantically Equivalent Code Fragments in Logic Programs. LOPSTR Wim Vanhoof
2004	—	`ch.`	Specialising Interpreters Using Offline Partial Deduction. Program Development in Computational Logic Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof
2002	C	`conf`	A Fixed Point Semantics for Logic Programs Extended with Cuts. LOPSTR Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe
2002	C	`conf`	Collecting Potential Optimisations. LOPSTR Nancy Mazur, Gerda Janssens, Wim Vanhoof
2002	J	`jnl`	Offline Specialisation in Prolog Using a Hand-Written Compiler Generator CoRR Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
2002	B	`conf`	Reuse of Results in Termination Analysis of Typed Logic Programs. SAS Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof
2001	B	`conf`	Binding-Time Annotations Without Binding-Time Analysis. LPAR Wim Vanhoof, Maurice Bruynooghe
2001	—	`conf`	Pos(T): Analyzing Dependencies in Typed Logic Programs. Ershov Memorial Conference Maurice Bruynooghe, Wim Vanhoof, Michael Codish
2001	C	`conf`	When Size Does Matter. LOPSTR Wim Vanhoof, Maurice Bruynooghe
2000	B	`conf`	Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. LPAR Wim Vanhoof
2000	C	`conf`	Towards a modular binding-time analysis for higher-order Mercury. LOPSTR Wim Vanhoof, Maurice Bruynooghe
1999	B	`conf`	Binding-time Analysis for Mercury. ICLP Wim Vanhoof, Maurice Bruynooghe
1999	J	`jnl`	Bottom-up Partial Deduction of Logic Programs J. Funct. Log. Program. Wim Vanhoof, Danny De Schreye, Bern Martens
1999	—	`conf`	Towards Modular Binding-Time Analysis for First-order Mercury. WOID@ICLP Wim Vanhoof, Maurice Bruynooghe
1998	—	`conf`	A Framework for Bottom Up Specialisation of Logic Programs. PLILP/ALP Wim Vanhoof, Danny De Schreye, Bern Martens
1998	C	`conf`	Bottom-Up Specialisation of Logic Programs. LOPSTR Wim Vanhoof, Danny De Schreye, Bern Martens
1998	—	`conf`	Specialising the Other Way Arond. IJCSLP Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck
1997	C	`conf`	To Parse or Not To Parse. LOPSTR Wim Vanhoof, Bern Martens