Personal tools
FUNDP > Research > Projects
 
PHD thesis

Modelling and Model Checking Variability-Intensive Systems (Thèse-A-Classen)

Duration

2007-2011

Description

Research unit(s)

Research theme(s)

Staff (finished contracts)

Academic staff
Patrick HEYMANS Professor 081/725275
Pierre-Yves SCHOBBENS Professor 081/724990

Research staff
Andreas CLASSEN Researcher 081/724985

Publications (14)

Papers

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

Conference Proceedings

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
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
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
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
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
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
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
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

Research reports

2011
SNIP: An Efficient Model Checker for Software Product Lines
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2010
CTL Model Checking for Software Product Lines in NuSMV
Andreas CLASSEN
2010
The TVL Specification
Andreas CLASSEN, Quentin BOUCHER, Paul FABER, Patrick HEYMANS
2010
Modelling with FTS: a Collection of Illustrative Examples
Andreas CLASSEN

Collaborations

  • The Open University