Projets par an
Résumé
langue originale | Anglais |
---|---|
Pages (de - à) | 1069-1089 |
Nombre de pages | 21 |
journal | IEEE Transactions on Software Engineering |
Volume | 39 |
Numéro de publication | 8 |
Les DOIs | |
Etat de la publication | Publié - 1 janv. 2013 |
Empreinte digitale
Examiner les sujets de recherche de « Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking ». Ensemble, ils forment une empreinte digitale unique.Projets
- 3 Terminé
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche
-
Thèse-A-Classen: Modélisation et vérification de lignes de produits logiciel
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Projet: Projet de thèse
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Schobbens, P. Y., 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
Projet: Recherche
Thèses de l'étudiant
-
Modelling and model checking variability-intensive systems
Auteur: Classen, A., 3 oct. 2011Superviseur: Heymans, P. (Promoteur), Schobbens, P. (Copromoteur), Jacquet, J. (Jury), Habra, N. (Personne externe) (Jury), PECHEUR, C. (Personne externe) (Jury), Nuseibeh, B. (Personne externe) (Jury) & KATOEN, J. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier