]
]
]
]
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: Software and Systems Modeling, Springer (, 2011)
- Comité scientifique : Reviewer: Software Tools for Technology Transfer (STTT), Springer (, 2011)
- Comité scientifique : Reviewer: 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), November 6-10, 2011, Oread, Lawrence, Kan (, 2011)
Invited by Prof. Charles Pecheur.
- Comité scientifique : Reviewer: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, 16-21 October, Wellington, New Zealand (, 2011)
Invited by Prof. Patrick Heymans.
- Comité scientifique : Reviewer: 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 - September 2nd, 2011 (, 2011)
Invited by Prof. Patrick Heymans.
- Comité scientifique : Reviewer: 15th International Software Product Line Conference (SPLC 2010), Springer (, 2011)
Invited by Prof. David Benavides.
- Comité scientifique : PC Member: Third Workshop on Feature-Oriented Software Development (FOSD), held in conjunction with SPLC'11, Munich, Germany, August 21-22, 2011 (, 2011)
- Comité scientifique : PC Member: Second International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE), held in conjunction with SPLC'11, Munich, Germany, August 21-22, 2011 (, 2011)
- Comité scientifique : Reviewer: 26th ACM Symposium on Applied Computing, Requirement Engineering Track (SAC 2011) (, 2010)
Invited by Prof. Patrick Heymans
- 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)
- 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)
- Comité scientifique : Reviewer: Journal Technique et Science Informatique, special issue Ingénierie dirigée par les modèles, Lavoisier, Service Editorial Hermès (, 2009)
- 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)
- 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
- Séminaire : Presentation at the Laboratory for Reliable Software (LaRS), Jet Propulsion Laboratory, California Institute of Technology (Pasadena, California, USA, 2011)
Visiting the group of Gerard J. Holzmann, presenting my research on the modelling and verification of software product lines.
- Conférence : 33rd International Conference on Software Engineering (ICSE 2011) (Honolulu, Hawaii, USA, 2011)
Presenting the paper "Symbolic Model Checking of Software Product Lines" in the research track of the main conference. Attending the main conference.
- Colloque : Workshop on SW product line engineering, The LEUVEN Center on Information and Communication Technology (Katholieke Universiteit Leuven, Leuven, 2011)
Presented work on symbolic model checking of product lines.
- Séminaire : Presentation at the DFG Research Training Group AlgoSyn (RWTH Aachen University, Aachen, Germany, 2011)
Gave a one-hour presentation titled "Modelling and Model Checking Software Product Lines".
- Colloque : Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11) (FUNDP Namur, Namur, 2011)
Co-author of the paper "A Formal Semantics for Feature Cardinalities in Feature Diagrams".
- Colloque : Dagstuhl Seminar on Feature-Oriented Software Development (FOSD) (Schloss Dagstuhl, Dagstuhl, Germany, 2011)
Participated in seminar, presented work on product line verification, including demos of SNIP.
- Conférence : 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) (Antwerp, 2010)
Speaking at the MoVES-Verif workshop, co-author of the short paper "Tag and Prune: A Pragmatic Approach to Software Product Line Implementation", presented as a poster at the main conference.
- 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 : 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2011) held in conjunction with ICSE 2011 (Honolulu, Hawaii, USA, 2011)
Attending the workshop.
- Séjour à l'étranger : Research visit at RWTH Aachen University (Aachen, Germany, 2011)
Three-month research visit at the Computer Science Department of RWTH Aachen University, Aachen, Germany hosted by the Chair for Software Modelling and Verification headed by Prof. Joost-Pieter Katoen.
- 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.
- Séjour à l'étranger : Visting student at The Open University (Milton Keynes, UK, 2007)
Four-month stay in Milton Keynes, United Kingdom. Visiting the Centre for Research in Computing at the Department of Computing, The Open University, under the supervision of Prof. Bashar Nuseibeh.
