Research Group on the Foundations of Computer Science

  • 5000

    Belgium

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
Quality assurance Engineering & Materials Science
Business Intelligence Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 1999 2023

Research Output 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Explosions

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 proceedingConference 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-192

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Activities 2011 2020

Journées Francophones Extraction et Gestion des Connaissances

Etienne Cuvelier (Organiser), Isabelle Linden (Organiser), Christian Colot (Organiser), Monique Noirhomme (Organiser)
27 Jan 202031 Jan 2020

Activity: Participating in or organising an event typesParticipation in conference

FOCUS Research Seminar

Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee), Christian Colot (Member of Organizing Committee)
6 Dec 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Generalizing Generalization: towards a framework for anti-unification in Logic Programming

Gonzague Yernaux (Speaker)
22 Nov 2019

Activity: Talk or presentation typesOral presentation

Prizes

IBM Belgium Prijs informatica

Wim Vanhoof (Recipient), 1996

Prize: National/international honour

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

Student theses

A Blackboard Approach to Concurrent Constraint Programming

Author: Pires da Costa, J. M., 1996

Supervisor: Jacquet, J. (Supervisor)

Student thesis: Master typesMaster 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 2019

Supervisor: Jacquet, J. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Automatic Test Generation for Data-driven Applications

Author: Marcozzi, M., 24 Oct 2014

Supervisor: 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 typesDoctor of Sciences