Membre du personnel

Andreas CLASSEN

PhD Student (FNRS)

Since October 2007 I am a PhD student (FNRS research fellow) in the Faculty of Computer Science at the University of Namur (FUNDP) in Belgium. I finished my MSc in June 2007 and was awarded a scholarship by the Belgian National Fund for Scientific Research (FNRS). The working title of my PhD thesis is "Problem-Oriented Modelling and Verification of Software Product Lines", it is supervised by Prof. P. Heymans and Prof. P.-Y. Schobbens. My research interests include software product line engineering, feature modelling, and formal verification methods (esp. model checking).

I am currently mainly working on the following two topics:

Formal modelling and model checking of behaviour in software product line engineering. We proposed 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.

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

Charges aux FUNDP

Faculté d'Informatique (Aspirant FNRS)
Pôle sémantique, logique et calcul (PhD Student (FNRS))
PReCISE Research Center (PhD Student (FNRS))

Diplômes

Master in Computer Science, Summa cum laude, 2007, FUNDP

Domaines de compétences

Software engineering
Formal verification
Requirements engineering
Software product lines engineering
Feature diagrams
Problem frames

Charges externes

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)

Projets en cours

Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES) (2007-2011)
Salah BAINA, Yves BONTEMPS, Anne-France BROGNEAUX, Andreas CLASSEN, Anthony CLEVE, Gaetan DELANNAY, Virginie DETIENNE, Vincent ENGLEBERT, Stephane FAULKNER, Nicolas GENON, Naji HABRA, Jean-Luc HAINAUT, Arnaud HUBAUX, Ivan JURETA, Raimundas MATULEVICIUS, Nicolas MAYER, Laura OGER, Michaël PETIT, Ravi RAMDOYAL, Stéphane SANDRON, Germain SAVAL, Hubert TOUSSAINT, Benoît VANDEROSE, Jean-Marc ZEIPPEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS

Doctorats en cours

Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) (2011)
Andreas CLASSEN

Activités organisées

Formation : SIRRIS lecture series on requirements engineering (technology transfer) (, 2008): Preparation, together with Arnaud Hubaux, of the lecture given by Prof. Patrick Heymans on software product line engineering and feature modelling.
Colloque : Annual Meeting of the FNRS Contact Group on Fundamental Computer Science on the topic of Fundamental Aspects of Software Evolution (Namur, Belgium, 2008): Organiser of the meeting that consisted in eight scientific presentations and an invited talk by Dr. Juan Fernandez-Ramil (The Open University).

Activités avec contribution

Comité scientifique : Reviewer: 3rd International Conference on Software Language Engineering (SLE 2010) (, 2010): Invited by Anthony Cleve
Comité scientifique : Reviewer: 2nd International Workshop on Feature-Oriented Software Development (FOSD), co-located with GPCE and SLE 2010 (, 2010): Invited by Prof. Patrick Heymans
Comité scientifique : PC Member: Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE) held in conjunction with ASE 2010 (, 2010)
Comité scientifique : Reviewer: 1st International Workshop on Formal Methods in Software Product Line Engineering (Co-located with SPLC 2010) (, 2010): Invited by Prof. Patrick Heymans
Comité scientifique : Reviewer: Research Tool Demonstrations track at the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE-TOOLS 2010) (, 2010): Invited by Prof. Patrick Heymans
Comité scientifique : Reviewer: 14th International Software Product Line Conference (SPLC 2010), Springer (, 2010): Invited by Prof. Patrick Heymans
Comité scientifique : Reviewer: Journal of Systems and Software, Elsevier (, 2010): Invited by Prof. Hans van Vliet
Comité scientifique : Reviewer: 16th Int. Working Conference on Requirements Engineering: Foundations for Software Quality (RefsQ 2010), Springer LNCS (, 2010): Invited by Prof. Patrick Heymans
Comité scientifique : Reviewer: 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), Springer LNCS. (, 2010): Invited by Prof. Patrick Heymans
Comité scientifique : Reviewer: Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10) (, 2009): Invited by Prof. Patrick Heymans
Comité scientifique : Reviewer: Science of Computer Programming, Journal, Elsevier (, 2009): Invited by Prof. Christian Lengauer.
Comité scientifique : Reviewer: Journal Technique et Science Informatique, special issue Ingénierie dirigée par les modèles, Lavoisier, Service Editorial Hermès (, 2009): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: 13th International Software Product Line Conference (SPLC 2009), SEI (, 2009): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), Springer LNCS (, 2009): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: Automated Software Engineering, International Journal, Springer (, 2008): Invited by Prof. Bashar Nuseibeh.
Comité scientifique : Reviewer: 27th International Conference on Conceptual Modeling (ER 2008), Springer LNCS (, 2008): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: 12th International Conference on Software Product Lines (SPLC 2008), IEEE Computer Society (, 2008): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: 16th IEEE International Conference on Requirements Engineering, Barcelona (RE'08), IEEE Computer Society (, 2008): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), Springer LNCS (, 2008): Invited by Prof. Patrick Heymans.
Comité scientifique : Reviewer: Generative and Transformational Techniques in Software Engineering II (GTTSE 2007), Springer LNCS (, 2007): Invited by Prof. Jean-Luc Hainaut.
Comité scientifique : Reviewer: 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), Revue des Nouvelles Technologies de l'Information RTNI-L-2 (, 2007): Invited by Prof. Pierre-Yves Schobbens.

Activités : conférencier

Conférence : 32nd International Conference on Software Engineering (ICSE 2010) (Cape Town, South Africa, 2010): Presenting the paper "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines" in the research track of the main conference. Attending the main conference and tutorials by Nenad Medvidovic (USC), Richard N. Taylor (UC Irvine) and Donald G. Firesmith (Software Engineering Institute).
Séminaire : Staff-Seminar: Model Checking Lots of Systems (FUNDP, 2010): Presentation of work on efficient verification of software product lines.
Colloque : Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10) (University of Linz, Austria, 2010): Co-author of three papers and presenter of the paper "Intoducing TVL, a Text-Based Variability Modelling Language".
Colloque : 8th Belgian-Netherlands Software Evolution Workshop (BENEVOL'09) co-located with the Annual Meeting of the Belgian inter-university MoVES project (University Louvain (UCL), Louvain-La-Neuve, 2009): Speaker at the MoVES event.
Colloque : Annual Meeting of the FNRS Contact Group on Fundamental Computer Science on the topic of Fundamental Aspects of Software Evolution (University Louvain (UCL), Louvain-La-Neuve, 2009): Presented work on efficient verification of software product lines.
Conférence : 31st International Conference on Software Engineering (ICSE 2009) (Vancouver, BC, Canada, 2009): Presenting the paper "Towards Safer Composition" at the NIER session and its associated poster at the poster session. Attending the main conference and a tutorial by Gail E. Harris (Instantiated Software Inc.).
Séminaire : Staff-Seminar: Towards Safer Composition (FUNDP, 2009): Staff seminar in preparation of a shorter talk at ICSE'09.
Colloque : Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09) (Universidad de Sevilla, Sevilla, Spain, 2009): Co-author of the Paper "A Formal Semantics for Multi-Level Staged Configuration".
Colloque : 7th Belgian-Netherlands Software Evolution Workshop (BENEVOL'08) (TU Eindhoven, The Netherlands, 2008): Co-author of the paper "A Formal Semantics for Multi-level Staged Configuration", short version of a paper of the same title at VaMoS'09.
Séminaire : Staff-Seminar: Automaton Reborn: Student Supervision 2.0 (FUNDP, 2008): Evaluating programs written by students is a repetitive and time-consuming task. Too often, this evaluation is done once the development is finished, leaving the students no time to change and enhance their program. At the University of Namur, we developed Automate in an effort to solve this problem. Automate manages student assignments, allows students to submit answers and automatically tests them for correctness. This has several key advantages: students now get immediate feedback on their work, it relieves the supervisor from manually testing each answer (allowing to break up an assignment into small steps, that can each be tested) and it provides the supervisor with a clear overview of the progress of each student.
Conférence : 3rd International Workshop on Applications and Advances in Problem Frames (IWAAPF'08) (Leipzig, Germany, 2008): Presenting the paper "Using the Event Calculus to Reason about Problem Diagrams".
Conférence : Fundamental Approaches to Software Engineering (FASE'08) (Budapest, Hungary, 2008): Presenting the paper "What's in a Feature: A Requirements Engineering Perspective".
Colloque : First International "Secure by Design" Workshop (University of East London, London, UK, 2007): Presenting my MSc thesis work titled "Formalisation and Verification of Requirements-level Feature Interactions".
Conférence : Ninth International Conference on Feature Interactions in Software and Communication Systems (ICFI/FIW'07) (Grenoble, France, 2007): Presenting the paper "Problem-Oriented Feature Interaction Detection in Software Product Lines" at the doctoral symposium.
Conférence : First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07) (Limerick, Ireland, 2007): Presenting the paper "On the Structure of Problem Variability: From Feature Diagrams to Problem Frames".

Activités avec simple participation

Colloque : International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2010) held in conjunction with ICSE 2010 (Cape Town, South Africa, 2010): Attending the workshop.
Formation : Growing a Language from the Inside Out (FUNDP, Namur, 2010): Francqui Chair lecture series (22hrs) given by Prof. Theo D'Hondt (Vrije Universiteit Brussel), titular of the 2010 Francqui Chair.
Formation : Design Science Research Methodology: Principles and Practice (FUNDP, Namur, 2009): One-day lecture given by Prof. Roel Wieringa (University of Twente).
Colloque : Software Requirements and Design: A Tribute to Michael Jackson (co-located with ICSE 2009) (Vancouver, BC, Canada, 2009): Attending the event which celebrates Michael Jackson's seminal contributions to software engineering, and recognizes his influence on several generations of researchers. The program featured talks by Tony Hoare, Daniel Jackson, John Cameron, Axel van Lamsweerde, Anthony Hall, Pamela Zave, Cliff Jones, Bashar Nuseibeh and Michael Jackson himself.
Colloque : International Workshop on Comparison and Versioning of Software Models (CVSM 2009), co-located with ICSE 2009 (Vancouver, BC, Canada, 2009): Attending the workshop.
Formation : Questions spéciales de l'informatique fondamentale: méthodes de développement B et CSP (University of Namur, Namur, 2009): Attending a four-day lecture on the B-Method given by Michael Leuschel (University of Düsseldorf).
Conférence : 30th International Conference on Software Engineering (ICSE 2008) (Leipzig, Germany, 2008): Attending the main conference and tutorials by Dimitra Giannakopoulou and Corina Pãsãreanu (NASA Ames Research Center, USA) and Stefanos Zachariadis (Zühlke)
Conférence : European Joint Conferences on Theory and Practice of Software (ETAPS'08) (Budapest, Hungary, 2008): Attending all sessions of FASE, most sessions of TACAS and several sessions of FOSSACS, ESOP and CC.
Formation : Evol@Mons - Research Seminar on Software Evolution (Mons, Université de Mons-Hainaut, 2008): Attending tutorials given by Stéphane Ducasse (INRIA Lille), Ralf Lämmel (University of Koblenz), Tudor Gîrba (University of Bern) and Andy Zaidman (TU Delft).
Conférence : Second International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'08) (University of Duisburg-Essen, Essen, Germany, 2008): Attending the workshop sessions and participating in the practical organisation of the workshop.
Formation : Petri Nets and their Analyses (Université Libre de Bruxelles, Bruxelles, 2007): Attending a tutorial by Gilles Geeraerts (Université Libre de Bruxelles).
Colloque : 6th Belgian-Netherlands Software Evolution Workshop (BENEVOL'07) (FUNDP Namur, Belgium, 2007)
Colloque : PReCISE Day (FUNDP Namur, Belgium, 2007): Participating in the poster session with the poster "Problem-Oriented Feature Interaction Detection: Model checking Software Product Lines".
Formation : 2nd Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'07) (Braga, Portugal, 2007): Attending tutorials by Krzysztof Czarnecki (University of Waterloo), Jean-Marie Favre (University of Grenoble), Stan Jarzabek (National University of Singapore), Oege de Moor (Oxford University), José Nuno Oliveira (University of Minho), Markus Pueschel (Carnegie Mellon University), Walid Taha (Rice University), Eelco Visser (Delft University of Technology) and various other technical presentations.