Andreas CLASSEN

• présentation
• projets
• activités
• publications (37)
• mémoires et thèses supervisés (1)
• fiche complète

Researcher

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 I currently work at Intec Software Engineering.

The principal topics I worked on were 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.

Téléphone: 081/724985
Fax: 081/724967
Mail:
Web: Autre site personnel

Charges aux FUNDP

• Evolution (Scientifique)
• PReCISE Research Center (Collaborateur scientifique)
• Pôle sémantique, logique et calcul (Collaborateur scientifique)
• Faculté d'informatique (Collaborateur scientifique)

Diplômes

• PhD in Computer Science, 2011, FUNDP
• Master in Computer Science, Summa cum laude, 2007, FUNDP

Domaines de compétences

• Software engineering
• Formal verification
• Model checking
• Software product lines engineering
• Feature diagrams
• Requirement engineering
• Problem frames

Charges externes

• PC Member: FOSD 2011, FMSPLE 2011, IWPSE-EWOL 2010.
• Reviewer for journals: 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: 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.
• Teaching assistant for the requirements engineering course (INFO M431)
• Project lead and developer for an internal student project management/evaluation tool (called "Automate", mainly for courses INFO B314 and IHDC B332)