Research Center on the Foundations of Computer Science

Namur Digital Institute

Websitehttp://directory.unamur.be/entities/focus?_LOCALE_=en

Postal addressShow on map
5000
Belgium

Jean-Marie Jacquet
Person: Academic staff, Unpaid Academic Staff
19912026
Isabelle Linden
Person: Academic staff, Unpaid Academic Staff
20022026
Pierre Yves Schobbens
Person: Academic staff, Unpaid Academic Staff
19862026

7 Active
33 Finished

CYBEREXCELLENCE - Av1: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)
Jacquet, J.-M. (PI), Colin, J.-N. (CoPI), Devroey, X. (CoPI), Schobbens, P. Y. (CoI), Rochet, F. (CoI), Schumacher, L. (CoI) & Linden, I. (CoI)
1/01/26 → 31/12/27
Project: Research
ERNEST: schEduler foR eNErgy autonomouS ioT
Schumacher, L. (PI) & Schobbens, P. Y. (CoI)
1/10/25 → 30/09/29
Project: Research
SQUAL.AI: Software Quality through Artificial Intelligence
Devroey, X. (PI), Schobbens, P. Y. (PI), Perrouin, G. (PI) & Vanderose, B. (PI)
1/01/25 → 31/12/26
Project: Research

Case study: proving sqrt(2) irrational with LPTP and an LLM
Mesnard, F., Payet, É. & Vanhoof, W., 23 Jul 2026, Proceedings 42nd International Conference on Logic Programming (ICLP 2026). Giordano, L., Rocha, R. & Santis Kosta, V. (eds.). (EPTCS).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File
7 Downloads (Pure)
Case study: solving P-99 with LPTP and an LLM
Mesnard, F., Marianne, T., Payet, É. & Vanhoof, W., 23 Jul 2026, Proceedings 42nd International Conference on Logic Programming (ICLP 2026). Giordano, L., Rocha, R. & Santis Kosta, V. (eds.). Lisbon, Portugal, (EPTCS).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File
5 Downloads (Pure)
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G., VERJANS, M. & Vanhoof, W., 2 Jan 2026, Games and Learning Alliance : 14th International Conference, GALA 2025, Utrecht, The Netherlands, November 19–21, 2025, Proceedings. Bakkes, S., Bellotti, F., Dondio, P., Niaus, M., Wannick, V. & Bucchiarone, A. (eds.). Springer, p. 269-279 11 p. (Lecture notes in Computer Science; vol. 16307).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File

27 Downloads (Pure)

CyberExcellence: Journée des chercheurs
Nguyen, G. (Speaker), Mallargé, J. (Speaker), Dejaeghere, J. (Participant), Ouardi, D. (Participant), Barkallah, M. (Participant), Longfils, G. (Participant), Poeng, K. (Participant), Devroey, X. (Participant) & Jacquet, J.-M. (Contributor)
28 Apr 2026
Activity: Participating in or organising an event types › Project follow-up meeting
Semantic clone detection in (constraint) logic programming: an overview of (some of) our recent work
Vanhoof, W. (Speaker)
5 Feb 2026
Activity: Talk or presentation types › Oral presentation
University of Reunion Island, France
Vanhoof, W. (Visiting researcher)
1 Feb 2026 → 7 Feb 2026
Activity: Visiting an external institution types › Visiting an external academic institution

IBM Belgium Prijs informatica
Vanhoof, W. (Recipient), 1996
Prize: National/international honour
Most Influential Paper Award
SCHOBBENS, P.-Y. (Recipient), Classen, A. (Recipient), HEYMANS, P. (Recipient), Legay, A. (Recipient) & Raskin, J.-F. (Recipient), 23 Oct 2020
Prize: Prize (including medals and awards)

File
Most Influential Paper Award
Schobbens, P. (Recipient), Heymans, P. (Recipient), Trigaux, J.-C. (Recipient) & Bontemps, Y. (Recipient), 15 Sept 2016
Prize: National/international honour

Findings in the Area of Information Technology Reported from University of Namur (On the Expressiveness and Efficiency of Guarded Lists In Bach)
Jacquet, J.-M.
7/01/25
1 item of Media coverage
Press/Media: Expert Comment
Top 10 Cybersecurity Professor Jobs to Apply for in 2022
Jacquet, J.-M. & Linden, I.
21/04/22
1 item of Media coverage
Press/Media: Expert Comment

JCrashPack: A Java Crash Reproduction Benchmark
Derakhshanfar, P. (Creator), DEVROEY, X. (Creator) & Soltani, M. (Contributor), Zenodo, 26 Apr 2020
DOI: 10.5281/zenodo.3766688
Dataset
Replication package of Basic Block Coverage for Search-Based Crash Reproduction
Derakhshanfar, P. (Creator) & DEVROEY, X. (Creator), Zenodo, 21 Jul 2020
DOI: 10.5281/zenodo.3953519
Dataset
Unit test generation for common and uncommon behaviors: dataset
Evers, B. (Creator), Derakhshanfar, P. (Creator), DEVROEY, X. (Creator) & Zaidman, A. (Creator), Zenodo, 17 Jun 2020
DOI: 10.5281/zenodo.3894710
Dataset

A Blackboard Approach to Concurrent Constraint Programming
Pires da Costa, J. M. (Author), Jacquet, J.-M. (Supervisor), 1996
Student thesis: Master types › Master in Computer science

File
Analyse de classes Android
Bastin, L. (Author), VANHOOF, W. (Supervisor), 22 Jun 2020
Student thesis: Master types › Master in Computer Science Professional focus in Software engineering

File
Analyse des performances d'algorithmes et application à la comparaison d'algorithmes de flot dans les réseaux de transport
JACQUET, J.-M. (Author), Fichefet, J. (Supervisor), 1984
Student thesis: Master types › Master in Computer science

File