• 593 Citations
  • 14 h-Index
20112020

Research output per year

If you made any changes in Pure these will be visible here soon.

Thesis

Computer-Aided Reasoning for Product-Line Model Checking

Author: Dawagne, B., 3 Sep 2014

Supervisor: Heymans, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Configuration assistée par machine learning: études empiriques et application à la prédiction de défauts dans l'impression 3D

Author: Amand, B., 27 Aug 2018

Supervisor: Heymans, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Development of a quasi-birth-and-death sensitivity analysis tool

Author: Cordy, M., 2011

Supervisor: Remiche, M. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

High-Level Modelling and Formal Semantics of Product-Line Behaviour

Author: Jeanjot, A., 4 Sep 2013

Supervisor: Schobbens, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Model checking for the Masses

Author: Cordy, M., 11 Sep 2014

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

Student thesis: Doc typesDoctor of Sciences

Startup - Configuration automatisée et dérivation de produit

Author: Thiebaut, F., 7 Sep 2015

Supervisor: Heymans, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Using Semi-Automated Topic Extractions to Generate Navigation Interfaces for Consumer Reviews

Author: Tamazian, H., 29 Aug 2017

Supervisor: Jacquet, J. (President), Heymans, P. (Supervisor), Davril, J. (Co-Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science