Research Group on the Foundations of Computer Science

  • 5000

    Belgium

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
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
Industry Engineering & Materials Science
Semantics Engineering & Materials Science
Explosions Engineering & Materials Science
Model Mathematics
Real time systems 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

On Studying Bad Practices in Configuration UIs

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P. 2018 (Accepted/In press) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

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

Human computer interaction
Defects
Railroad cars
Industry

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P. 2018 (Accepted/In press) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

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

Repair
Industry

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. 13 Mar 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)

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

Open Access
File
Automata theory
Finite automata

Activities 2011 2017

21st International Systems and Software Product Line Conference (SPLC '17)

Devroey, X. (Contributor)
26 Sep 201729 Sep 2017

Activity: Participating in or organising an eventParticipation in conference

PAAMS 2017

Libert, C. (Contributor)
21 Jun 201723 Jun 2017

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

13th Workshop on Advances in Model Based Testing (A-MOST '17)

Devroey, X. (Member of Organizing Committee)
17 Mar 2017

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

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

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. (Jury) & Serebrenik, A. (Jury)

Student thesis: Doc typesDoctor of Sciences

Behavioural model-based testing of software product lines

Author: Devroey, X., 30 Aug 2017

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

Student thesis: Doc typesDoctor of Sciences

File

Model checking for the Masses

Author: Cordy, M., 11 Sep 2014

Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Supervisor), Petit, M. (Jury), ATLEE, J. (Jury), Greenyer, J. (Jury) & Legay, A. (Jury)

Student thesis: Doc typesDoctor of Sciences