Andreas Classen

  • 1035 Citations
  • 14 h-Index
20062019

Research output per year

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

Thesis

Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL

Author: Faber, P., 2010

Supervisor: Heymans, P. (Supervisor), Classen, A. (Co-Supervisor) & Boucher, Q. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Modelling and model checking variability-intensive systems

Author: Classen, A., 3 Oct 2011

Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Co-Supervisor), Jacquet, J. (Jury), Habra, N. (External person) (Jury), PECHEUR, C. (External person) (Jury), Nuseibeh, B. (External person) (Jury) & KATOEN, J. (External person) (Jury)

Student thesis: Doc typesDoctor of Sciences

File

Problem-oriented modelling and verification of software product lines

Author: Classen, A., 2007

Supervisor: Heymans, P. (Co-Supervisor) & Schobbens, P. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File