Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Andreas CLASSEN

Publications (37)

Articles de périodique

2011
A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL, in Science of Computer Programming, volume 76, issue 12, pp. 1130-1143
Andreas CLASSEN, Quentin BOUCHER, Patrick HEYMANS
2008
Evaluating Formal Properties of Feature Diagram Languages, in IET Software Journal , volume 2, issue 3, pp. 281-302
Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX, Yves BONTEMPS, Raimundas MATULEVICIUS, Andreas CLASSEN

Actes de colloques

2012
Managing Evolution in Software Product Lines: A Model-Checking Perspective, in Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27
Maxime CORDY, Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2012
Simulation Relation for Software Product Lines : Foundations for Scalable Model Checking, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9
Maxime CORDY, Andreas CLASSEN, Gilles PERROUIN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2011
A Formal Semantics for Feature Cardinalities in Feature Diagrams , in Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29, pp. 83-90
Raphaël MICHEL, Andreas CLASSEN, Arnaud HUBAUX, Quentin BOUCHER
2011
Symbolic Model Checking of Software Product Lines, in 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings, pp. 321-330
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2010
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines, in 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings, pp. 335-344
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY, Jean-François RASKIN
2010
XToF: A Tool for Tag-based Product Line Implementation, in Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pp. 163-166
Christophe GAUTHIER, Andreas CLASSEN, Quentin BOUCHER, Patrick HEYMANS, Margaret-Anne STOREY, Marcilio MENDONCA
2010
Tag and Prune: A Pragmatic Approach to Software Product Line Implementation, in 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10), Antwerp, Belgium, 20-24 September 2010, pp. 333-336
Quentin BOUCHER, Andreas CLASSEN, Patrick HEYMANS, Arnaud BOURDOUX, Laurent DEMONCEAU
2010
A Preliminary Review on the Application of Feature Diagrams in Practice, in Proceedings of the Fourth Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pp. 53-59
Arnaud HUBAUX, Andreas CLASSEN, Marcilio MENDONCA, Patrick HEYMANS
2010
Introducing TVL, a Text-based Feature Modelling Language, in Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pp. 159-162
Quentin BOUCHER, Andreas CLASSEN, Paul FABER, Patrick HEYMANS
2010
Workflow-driven Product Derivation (Invited Talk), in First International Workshop on Product Line Requirements Engineering and Quality (PLREQ'10), June 30, 2010 , Essen, Germany
Arnaud HUBAUX, Ebrahim Khalil ABBASI, Andreas CLASSEN, Patrick HEYMANS
2009
A Formal Semantics for Multi-level Staged Configuration, in Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), pp. 51-60
Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2009
Feature Diagrams for Change-Oriented Programming, in Proceedings of the 10th International Conference on Feature Interactions (ICFI'09), Lisbon, Portugal, pp. 107-122
Peter EBRAERT, Andreas CLASSEN, Patrick HEYMANS, Theo D'HONDT
2009
Formal Modelling of Feature Configuration Workflows, in Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA, pp. 221-230
Arnaud HUBAUX, Andreas CLASSEN, Patrick HEYMANS
2009
Feature Management Applied to On-Board Software Building Blocks, in Proceedings of DASIA 2009, DAta Systems In Aerospace, May 2009, Istanbul, Turkey
Arnaud BOURDOUX, Laurent DEMONCEAU, Paul PARISIS, Andreas CLASSEN, Quentin BOUCHER
2009
Relating Requirements and Feature Configurations: A Systematic Approach, in Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA, pp. 201-210
Thein Than TUN, Quentin BOUCHER, Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2009
Analysis of Feature Configuration Workflows (poster), in Proceedings of the 17th IEEE International Requirements Engineering Conference (RE'09), Atlanta, Georgia, USA, pp. 381-382
Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2009
Towards Safer Composition, in Proceedings of the 31st International Conference on Software Engineering (ICSE), Companion Volume, New Ideas and Emerging Results Track, pp. 227-230
Andreas CLASSEN, Patrick HEYMANS, Thein Than TUN, Bashar NUSEIBEH
2008
What's in a Feature? A Requirements Engineering Perspective., in Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), collection LNCS, volume 4961, pp. 16-30
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2008
Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler, in ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008, pp. 109-117
Isabelle LINDEN, Hubert TOUSSAINT, Andreas CLASSEN, Pierre-Yves SCHOBBENS
2008
Using the Event Calculus to Reason about Problem Diagrams, in Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08, pp. 74-77
Andreas CLASSEN, Robin LANEY, Thein Than TUN, Patrick HEYMANS, Arnaud HUBAUX
2008
Modelling Variability in Self-Adaptive systems: Towards a Research Agenda, in Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE'08), collocated with GPCE'08, pp. 19-26
Andreas CLASSEN, Arnaud HUBAUX, Frans SANEN, Eddy TRUYEN, Jorge VALLEJOS, Pascal COSTANZA, Wolfgang DE MEUTER, Patrick HEYMANS, Wouter JOOSEN
2007
Problem-Oriented Feature Interaction Detection in Software Product Lines: Short paper presented at the Doctoral Symposium, in Proceedings of the 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI'07), Grenoble, pp. 217-220
Andreas CLASSEN
2007
Towards the Comparative Evaluation of Feature Diagram Languages, in Software and Services Variability Management Workshop - Concepts, Models and Tools, collection Research Report 3, pp. 1-16
Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX, Raimundas MATULEVICIUS, Andreas CLASSEN, Yves BONTEMPS
2007
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames, in First International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), collection Lero Technical Reports, pp. 109-117
Andreas CLASSEN, Patrick HEYMANS, Robin LANEY, Bashar NUSEIBEH, Thein Than TUN
2006
Comparative Semantics of Feature Diagrams: FFD vs vDFD, in Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE'06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE'06)
Jean-Christophe TRIGAUX, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Andreas CLASSEN

Thèses

2011
Modelling and model checking variability-intensive systems
Andreas CLASSEN

Mémoires

2007
Problem-oriented modelling and verification of software product lines
Andreas CLASSEN

Rapports de recherche

2011
SNIP: An Efficient Model Checker for Software Product Lines
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2011
Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking
Maxime CORDY, Andreas CLASSEN, Gilles PERROUIN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2010
CTL Model Checking for Software Product Lines in NuSMV
Andreas CLASSEN
2010
Modelling with FTS: a Collection of Illustrative Examples
Andreas CLASSEN
2010
The TVL Specification
Andreas CLASSEN, Quentin BOUCHER, Paul FABER, Patrick HEYMANS
2009
Relating Requirements and Feature Configurations: A Systematic Approach
Thein Than TUN, Quentin BOUCHER, Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2008
Taming Time in Software Product Lines
Arnaud HUBAUX, Andreas CLASSEN
2008
A Formal Semantics for Multi-level Staged Configuration: Extended version of a paper submitted to the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 2009
Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS