Projets par année
Empreinte digitale Examinez les sujets de recherche où Research group on the foundations of computer sciences est actif. Ces libellés de rubriques sont le fruit de recherches menées par les membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.
Testing
Ingénierie et Science des Matériaux
Model checking
Ingénierie et Science des Matériaux
Specifications
Ingénierie et Science des Matériaux
Semantics
Ingénierie et Science des Matériaux
Explosions
Ingénierie et Science des Matériaux
Real time systems
Ingénierie et Science des Matériaux
Sampling
Ingénierie et Science des Matériaux
Quality assurance
Ingénierie et Science des Matériaux
Réseau
Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.
Profils
Projets 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
Projet: Recherche
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Projet: Recherche
Résultat de recherche 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
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., mai 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-192Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 16 p.Résultats de recherche: Contribution à un journal/une revue › Article
Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
Activités 2011 2019
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 oct. 2019 → 10 oct. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)9 oct. 2019
Activité: Types de discours ou de présentation › Présentation orale
35th International Conference on Logic Programming (ICLP 2019)
Gonzague Yernaux (Participant)20 sept. 2019 → 25 sept. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Prix
IBM Belgium Prijs informatica
Wim Vanhoof (Bénéficiaire), 1996
Prix: Mise à l'honneur nationale/internationale
Most Influential Paper Award
Pierre-Yves Schobbens (Bénéficiaire), Patrick Heymans (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016
Prix: Mise à l'honneur nationale/internationale
Requirements engineering
Semantics
Presse/Médias
17th IFIP international conference on coordination models and languages (COORDINATION 2015)
19/01/15
1 élément de couverture média
Presse/Médias: Commentaire d'expert
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 élément de couverture média
Presse/Médias: Commentaire d'expert
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 élément de couverture média
Presse/Médias: Commentaire d'expert
Thèse de l'étudiant
A Blackboard Approach to Concurrent Constraint Programming
Auteur: Pires da Costa, J. M., 1996Superviseur: Jacquet, J. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole
Auteur: Rwanyindo, C., 22 juin 2019Superviseur: Jacquet, J. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Automatic Test Generation for Data-driven Applications
Auteur: Marcozzi, M., 24 oct. 2014Superviseur: Vanhoof, W. (Promoteur), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Personne externe) (Jury) & Serebrenik, A. (Personne externe) (Jury)
Thèse de l'étudiant: Doc types › Docteur en Sciences