Projects per year
Abstract
Original language | English |
---|---|
Pages (from-to) | 1069-1089 |
Number of pages | 21 |
Journal | IEEE Transactions on Software Engineering |
Volume | 39 |
Issue number | 8 |
DOIs | |
Publication status | Published - 1 Jan 2013 |
Fingerprint Dive into the research topics of 'Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking'. Together they form a unique fingerprint.
Projects
- 3 Finished
-
VLPL: Software Product Lines Verification
HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
-
Thèse-A-Classen: Modelling and Model Checking Variability-Intensive Systems
Classen, A., HEYMANS, P. & SCHOBBENS, P.
1/10/07 → 1/10/11
Project: PHD
-
MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software
SCHOBBENS, P., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., ENGLEBERT, V., FAULKNER, S., GENON, N., Habra, N., HAINAUT, J., HEYMANS, P., HUBAUX, A., JURETA, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., TOUSSAINT, H., Trigaux, J., Vanderose, B. & Zeippen, J.
1/01/07 → 31/12/11
Project: Research
Student Theses
-
Modelling and model checking variability-intensive systems
Author: Classen, A., 3 Oct 2011Supervisor: 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 types › Doctor of Sciences
File