Andreas Classen
Andreas Classen
Phd, Software Engineer, Inteclux Software Engineering
Dirección de correo verificada de intecsoft.com - Página principal
Título
Citado por
Citado por
Año
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
3392010
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
2412011
What’s in a Feature: A Requirements Engineering Perspective
A Classen, P Heymans, PY Schobbens
International Conference on Fundamental Approaches to Software Engineering …, 2008
2022008
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
2012011
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
1932012
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
952010
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
942012
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
882008
Formal modelling of feature configuration workflows.
A Hubaux, A Classen, P Heymans
SPLC 9, 221-230, 2009
862009
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
772009
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
732012
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
702013
A Formal Semantics for Multi-level Staged Configuration.
A Classen, A Hubaux, P Heymans
VaMoS 9, 51-60, 2009
642009
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
552010
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
502011
Incremental formalization: a key to industrial success
B Steffen, T Margaria, A Claßen, V Braun
491995
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
462014
Modelling with FTS: a collection of illustrative examples
A Classen
412010
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
382013
Managing evolution in software product lines: A model-checking perspective
M Cordy, A Classen, PY Schobbens, P Heymans, A Legay
Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012
362012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20