Andreas Classen
Andreas Classen
Phd, Software Engineer, Inteclux Software Engineering
Verified email at intecsoft.com - Homepage
Title
Cited by
Cited by
Year
Model checking lots of systems: efficient verification of temporal properties in software product lines
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
3752010
Symbolic model checking of software product lines
A Classen, P Heymans, PY Schobbens, A Legay
Proceedings of the 33rd International Conference on Software Engineering …, 2011
2712011
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin
IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012
2312012
A text-based approach to feature modelling: Syntax and semantics of TVL
A Classen, Q Boucher, P Heymans
Science of Computer Programming 76 (12), 1130-1143, 2011
2282011
What’s in a Feature: A Requirements Engineering Perspective
A Classen, P Heymans, PY Schobbens
International Conference on Fundamental Approaches to Software Engineering …, 2008
2262008
Reprogramming of tumor-associated macrophages with anticancer therapies: radiotherapy versus chemo-and immunotherapies
G Genard, S Lucas, C Michiels
Frontiers in immunology 8, 828, 2017
1832017
Model checking software product lines with SNIP
A Classen, M Cordy, P Heymans, A Legay, PY Schobbens
International Journal on Software Tools for Technology Transfer 14 (5), 589-612, 2012
1142012
Introducing TVL, a text-based feature modelling language
Q Boucher, A Classen, P Faber, P Heymans
Proceedings of the Fourth International Workshop on Variability Modelling of …, 2010
1092010
Evaluating formal properties of feature diagram languages
P Heymans, PY Schobbens, JC Trigaux, Y Bontemps, R Matulevičius, ...
IET software 2 (3), 281-302, 2008
962008
Formal modelling of feature configuration workflows.
A Hubaux, A Classen, P Heymans
SPLC 9, 221-230, 2009
922009
ProVeLines: a product line of verifiers for software product lines
M Cordy, A Classen, P Heymans, PY Schobbens, A Legay
Proceedings of the 17th International Software Product Line Conference co …, 2013
862013
Relating requirements and feature configurations: A systematic approach
T Than Tun, Q Boucher, A Classen, A Hubaux, P Heymans
Proceedings of the 13th International Software Product Line Conference, 201-210, 2009
782009
Simulation-based abstractions for software product-line model checking
M Cordy, A Classen, G Perrouin, PY Schobbens, P Heymans, A Legay
2012 34th International Conference on Software Engineering (ICSE), 672-682, 2012
752012
A Formal Semantics for Multi-level Staged Configuration.
A Classen, A Hubaux, P Heymans
VaMoS 9, 51-60, 2009
682009
A Preliminary Review on the Application of Feature Diagrams in Practice.
A Hubaux, A Classen, M Mendonça, P Heymans
VaMoS 10, 53-59, 2010
622010
Formal semantics, modular specification, and symbolic verification of product-line behaviour
A Classen, M Cordy, P Heymans, A Legay, PY Schobbens
Science of Computer Programming 80, 416-439, 2014
612014
Behavioural modelling and verification of real-time software product lines
M Cordy, PY Schobbens, P Heymans, A Legay
Proceedings of the 16th International Software Product Line Conference …, 2012
572012
Incremental formalization: a key to industrial success
B Steffen, T Margaria, A Claßen, V Braun
561995
A formal semantics for feature cardinalities in feature diagrams
R Michel, A Classen, A Hubaux, Q Boucher
Proceedings of the 5th Workshop on Variability Modeling of Software …, 2011
552011
Model checking adaptive software with featured transition systems
M Cordy, A Classen, P Heymans, A Legay, PY Schobbens
Assurances for Self-Adaptive Systems, 1-29, 2013
482013
The system can't perform the operation now. Try again later.
Articles 1–20