Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output

Filter
Paper
2020

Introduire la concurrence en début de secondaire

Libert, C. & Vanhoof, W., 2020. 12 p.

Research output: Contribution to conferencePaper

Open Access
2019
Open Access
File
114 Downloads (Pure)

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

Yernaux, G., 22 Nov 2019, (Unpublished). 7 p.

Research output: Contribution to conferencePaper

Un dispositif d'évaluation continue en introduction à la programmation

Libert, C. & Vanhoof, W., 2019, (Unpublished).

Research output: Contribution to conferencePaper

File
3 Downloads (Pure)
2018

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
26 Downloads (Pure)
2017

Message from the A-MOST 2017 Chairs: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Arcaini, P., Devroey, X. & Wang, S., 13 Apr 2017, p. 317-318. 2 p.

Research output: Contribution to conferencePaper

2016

Towards a framework for algorithm recognition in binary code

Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.

Research output: Contribution to conferencePaper

Un outil d'aide à la conception des formes normales en logique propositionnelle

Désiron, K., Remiche, M-A. & Vanhoof, W., 2016. 2 p.

Research output: Contribution to conferencePaper

2013

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

2011

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

Research output: Contribution to conferencePaper