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 2022
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
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs)
Explosions
Analysis of Students' Preconceptions of Concurrency
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
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
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Orateur)7 oct. 2019 → 9 oct. 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 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