Projets par année
Profil personnel
Présentation
I obtained my PhD in October 2011 from the University of Namur. It was supervised by Prof. P. Heymans and Prof. P.-Y. Schobbens. The title of my dissertation is "Modelling and Model Checking Variability-Intensive Systems". It describes an approach for model checking in the context of product lines, where each product is specified in terms of its features.
I have since left the university and currently work at Intec Software Engineering. I continue to do research as a scientific collaborator at the university.
The principal topics I worked (and still work) on are the following:
- Formal modelling and model checking of behaviour in software product line engineering. We develop SNIP, a model checker for product lines. SNIP is based on a modelling language called FTS (Featured Transition Systems). More info is available on the FTS website.
- Design and implementation of a textual feature modelling language called TVL. More info is available on the TVL website.
Publications: University DB (includes PDFs), DBLP.
Domaines de compétence
- Software engineering
- Formal verification
- Model checking
- Software product lines engineering
- Feature diagrams
- Requirement engineering
- Problem frames
- Formal verification
- Model checking
- Software product lines engineering
- Feature diagrams
- Requirement engineering
- Problem frames
Charges externes
- PC Chair: FMSPLE 2012.
- PC Member: RE 2012 Posters & Tool Demos, FMSPLE 2011, FOSD 2011, FMSPLE 2010, IWPSE-EWOL 2010.
- Reviewer for journals: Information and Software Technology (Elsevier), Software and Systems Modeling (Springer), Software Tools for Technology Transfer (Springer), Journal of Systems and Software (Elsevier), Science of Computer Programming (Elsevier), Technique et Science Informatique (Lavoisier), Automated Software Engineering (Springer).
- Reviewer for conferences: ICSE 2013, ASE 2011, MODELS 2011, RE 2011, SPLC 2011, SAC 2011, SLE 2010, SPLC 2010, RefsQ 2010, CAiSE 2010, SPLC 2009, CAiSE 2009, ER 2008, SPLC 2008, RE 2008, CAiSE 2008, CAL 2008.
- Reviewer for workshops: FOSD 2010, FMSPLE 2010, ASE-TOOLS 2010, VaMoS 2010, GTTSE 2007.
- Academic years 2007/2008, 2008/2009: Teaching assistant for the requirements engineering course (INFO M431)
- From 2007 to 2010: Project lead and developer for an internal student project management/evaluation tool (called "Automate", mainly for courses INFO B314 and IHDC B332)
- PC Member: RE 2012 Posters & Tool Demos, FMSPLE 2011, FOSD 2011, FMSPLE 2010, IWPSE-EWOL 2010.
- Reviewer for journals: Information and Software Technology (Elsevier), Software and Systems Modeling (Springer), Software Tools for Technology Transfer (Springer), Journal of Systems and Software (Elsevier), Science of Computer Programming (Elsevier), Technique et Science Informatique (Lavoisier), Automated Software Engineering (Springer).
- Reviewer for conferences: ICSE 2013, ASE 2011, MODELS 2011, RE 2011, SPLC 2011, SAC 2011, SLE 2010, SPLC 2010, RefsQ 2010, CAiSE 2010, SPLC 2009, CAiSE 2009, ER 2008, SPLC 2008, RE 2008, CAiSE 2008, CAL 2008.
- Reviewer for workshops: FOSD 2010, FMSPLE 2010, ASE-TOOLS 2010, VaMoS 2010, GTTSE 2007.
- Academic years 2007/2008, 2008/2009: Teaching assistant for the requirements engineering course (INFO M431)
- From 2007 to 2010: Project lead and developer for an internal student project management/evaluation tool (called "Automate", mainly for courses INFO B314 and IHDC B332)
Diplômes
- PhD in Computer Science, 2011, FUNDP
- Master in Computer Science, Summa cum laude, 2007, FUNDP
- Master in Computer Science, Summa cum laude, 2007, FUNDP
Empreinte digitale Examinez les sujets de recherche où Andreas Classen est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.
- 7 Profils similaires
Model checking
Ingénierie et Science des Matériaux
Semantics
Ingénierie et Science des Matériaux
Specification languages
Ingénierie et Science des Matériaux
Specifications
Ingénierie et Science des Matériaux
Requirements engineering
Ingénierie et Science des Matériaux
Computer software reusability
Ingénierie et Science des Matériaux
Adaptive systems
Ingénierie et Science des Matériaux
Communication satellites
Ingénierie et Science des Matériaux
Projets 2007 2013
- 5 Terminé
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P., Classen, A., Cordy, M., Kang, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche
Re2adapt: Réseau de recherche sur l'adaptabilité du logiciel
Heymans, P., Boucher, Q., Classen, A., Hubaux, A. & Schobbens, P.
1/06/08 → 1/06/12
Projet: Recherche
Problem-driven Specification and Verification of Software Product Lines
1/10/07 → 30/09/11
Projet: Recherche
Thèse-A-Classen: Modélisation et vérification de lignes de produits logiciel
Classen, A., Heymans, P. & Schobbens, P.
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., 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
Résultat de recherche 2006 2014
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 févr. 2014, Dans : Science of Computer Programming. 80, PART B, p. 416-439 24 p.Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
File
Specification languages
Model checking
Explosions
Semantics
Specifications
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 janv. 2013, Dans : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.Résultats de recherche: Contribution à un journal/une revue › Article
Model checking
Quality assurance
Mathematical models
Chemical analysis
Model checking adaptive software with featured transition systems
Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 janv. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre
Accès ouvert
File
Adaptive systems
Model checking
Failure modes
Costs
Modeling languages
ProVeLines: A Product Line of Verifiers for Software Product Lines
Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., août 2013, p. 141 - 146. 6 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article
Model checking
Mathematical models
Formal verification
A Code Tagging Approach to Software Product Line Development: An Application to Satellite Communication Libraries
Heymans, P., Boucher, Q., Classen, A., Bourdoux, A. & Demonceau, L., 2012, Dans : International Journal on Software Tools for Technology Transfer (STTT). 5, p. 553-566 14 p.Résultats de recherche: Contribution à un journal/une revue › Article
File
Communication satellites
Industry
Defects
Costs
Activités 2007 2012
35th International Conference on Software Engineering (ICSE 2013)
Andreas Classen (Orateur)9 oct. 2012
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Reviewer: Information and Software Technology, Elsevier
Andreas Classen (Orateur)9 août 2012
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
PC Co-Chair: Third Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2012), held in conjunction with SPLC'12, Salvador, Brazil, September 2-7, 2012
Andreas Classen (Orateur)14 juin 2012
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
PC Member: Posters and Demos track at the 20th International Requirements Engineering Conference (RE'12), September 24th-28th, 2012, Chicago, Illinois, USA.
Andreas Classen (Orateur)13 juin 2012
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Reviewer: Software and Systems Modeling, Springer
Andreas Classen (Orateur)7 déc. 2011
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Thèse
Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL
Auteur: Faber, P., 2010Superviseur: Heymans, P. (Promoteur), Classen, A. (Copromoteur) & Boucher, Q. (Copromoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
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)
Thèse de l'étudiant: Doc types › Docteur en Sciences
Fichier
Problem-oriented modelling and verification of software product lines
Auteur: Classen, A., 2007Superviseur: Heymans, P. (Copromoteur) & Schobbens, P. (Copromoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier