Photo of MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • 622 Citations
  • 14 h-Index
20112020

Research output per year

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

Thesis

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

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