Projects per year
Fingerprint Dive into the research topics where Research Group on the Foundations of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Testing
Engineering & Materials Science
Model checking
Engineering & Materials Science
Specifications
Engineering & Materials Science
Semantics
Engineering & Materials Science
Explosions
Engineering & Materials Science
Real time systems
Engineering & Materials Science
Sampling
Engineering & Materials Science
Quality assurance
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 1999 2021
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/21
Project: Research
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
Research Output 1991 2019
Analysis of Students' Preconceptions of Concurrency
Libert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Teaching
Students
An on-line platform for supporting DSS-research collaboration (EWG-DSS Collab-Net Version 5)
Turet, J., Moura, J., Cabral Seixas Costa, A. P., Dargam, F., Zaraté, P. & Linden, I., May 2019, EmC-ICDSST 2019 5th International Conference on Decision Support System Technology: Decision Support Systems: Main Developments & Future Trends. Abreu Freitas, P. S., Dargam, F., Ribeiro, R., Moreno Jimenez, J. M. & Papathanasiou, J. (eds.). Toulouse, p. 186-192Research 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
Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
Activities 2011 2019
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)8 Oct 2019
Activity: Talk or presentation types › Invited talk
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
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 Oct 2019 → 10 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
Prizes
Most Influential Paper Award
Pierre Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016
Prize: National/international honour
Requirements engineering
Semantics
Press / Media
17th IFIP international conference on coordination models and languages (COORDINATION 2015)
19/01/15
1 item of Media coverage
Press/Media: Expert Comment
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 item of Media coverage
Press/Media: Expert Comment
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 item of Media coverage
Press/Media: Expert Comment
Student theses
A Blackboard Approach to Concurrent Constraint Programming
Author: Pires da Costa, J. M., 1996Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole
Author: Rwanyindo, C., 22 Jun 2019Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Automatic Test Generation for Data-driven Applications
Author: Marcozzi, M., 24 Oct 2014Supervisor: Vanhoof, W. (Supervisor), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (External person) (Jury) & Serebrenik, A. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences