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
Sampling Engineering & Materials Science
Quality assurance Engineering & Materials Science

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

Profiles

Photo of Maxime Cordy

Maxime Cordy

Person: Scientific Staff researcher with a Term Contract, Scientific Staff FNRS Scholar

20112018
No photo of Romain Demeyer
20092013

Projects 1999 2021

Research Output 1991 2019

5 Downloads (Pure)

AbsCon: A Test Concretizer for Model-based Testing

Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

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

Open Access
File
Testing
Black-box testing
Application programming interfaces (API)
File

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).

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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks

Activities 2011 2019

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Speaker)
7 May 20199 May 2019

Activity: Talk or presentation typesOral presentation

Connected and Automated Driving

Pierre-Yves Schobbens (Participant)
2 Apr 20193 Apr 2019

Activity: Participating in or organising an event typesParticipation in conference

Vivre la Ville : (dé)construire la Smart city

Pierre-Yves Schobbens (Participant), Claire Lobet-Maris (Organiser), Anthony Simonofski (Organiser), Benoît Vanderose (Speaker), Yves Poullet (Speaker), Bruno Dumas (Contributor)
28 Mar 2019

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

Prizes

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
Semantics

Student theses

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

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

File