Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output

Filter
Poster
2020

An SMT-Based Concolic Testing Tool for Logic Programs

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).

Research output: Contribution to conferencePoster

2019

Scan: A Simple Coordination Workbench

Barkallah, M. & Jacquet, J-M., 6 Dec 2019. 1 p.

Research output: Contribution to conferencePoster

2018

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

2016

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators

Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P., 2016.

Research output: Contribution to conferencePoster

Collab-Net on line: An on line platform for DSS-research collaboration in EWG-DSS

Moura, J., Cabral Seixas Costa, A. P., Dargam, F., Linden, I. & Zaraté, P., 2016.

Research output: Contribution to conferencePoster

2015

Poster: Behavioral Model-Based Testing of Variability Intensive Systems

Devroey, X., 26 Jun 2015.

Research output: Contribution to conferencePoster

Open Access
File
67 Downloads (Pure)