Research Group on the Foundations of Computer Science

  • 5000


Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Explosions Engineering & Materials Science
Semantics 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

Research Output 1991 2018

Decision Support Systems VIII: Sustainable Data-Driven and Evidence-Based Decision Support

Dargam, F. (ed.), Delias, P. (ed.), Linden, I. (ed.) & Mareschal, B. (ed.), 2018, Springer Verlag. 190 p. (Lecture Notes in Business Information Processing; vol. 313)

Research output: Book/Report/JournalBook

decision support system

DSS Research Collaboration in the EWG-DSS

Turet, J., Moura, J., Cabral, A. P., Dargam, F., Zaraté, P. & Linden, I., 2018, p. 116. 1 p.

Research output: Contribution to conferencePoster

Evoq: a Visualization Tool to Support Structural Analysis of Text Documents

Clarinval, A., Linden, I., Wallemacq, A. & Dumas, B., 2018, Proceedings of the 2018 ACM Symposium on Document Engineering. ACM Press, 10 p.

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

Open Access
Structural analysis
Social sciences

Activities 2011 2018

NaDI - l'Intelligence Artificielle : enjeux et défis.

Isabelle Linden (Participant)
23 Oct 2018

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

1st International Workshop on Machine Learning and Software Engineering in Symbiosis (Event)

Gilles Perrouin (Chair), Xavier Devroey (Chair), Maxime Cordy (Chair), Mathieu Acher (Chair)
3 Sep 2018

Activity: Membership typesMembership of committee

Ecole de formation interdisciplinaire pour doctorants 2018: Les couleurs

Isabelle Linden (Participant)
5 Sep 20187 Sep 2018

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


IBM Belgium Prijs informatica

Wim Vanhoof (Recipient), 1996

Prize: National/international honour

Most Influential Paper Award

Pierre-Yves Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016

Prize: National/international honour

Requirements engineering

Student theses

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

Behavioural model-based testing of software product lines

Author: Devroey, X., 30 Aug 2017

Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

Student thesis: Doc typesDoctor of Sciences


Développement d'applications intelligentes au-dessus d'un réseau de capteurs sans fil

Author: Woine, R., 2012

Supervisor: Jacquet, J. (Supervisor)

Student thesis: Master typesMaster in Computer science