default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndreas Classen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c22]Maxime Cordy
, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312- 2014
- [j6]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - 2013
- [j5]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c21]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [p1]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [e1]Andreas Classen, Norbert Siegmund:
5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013. ACM 2013, ISBN 978-1-4503-2168-6 [contents] - 2012
- [j4]Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau:
A code tagging approach to software product line development - An application to satellite communication libraries. Int. J. Softw. Tools Technol. Transf. 14(5): 553-566 (2012) - [j3]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [c20]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c19]Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong:
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) 2012: 286-287 - [c18]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - 2011
- [b1]Andreas Classen:
Modelling and model checking variability-intensive systems. University of Namur, Belgium, 2011 - [j2]Andreas Classen, Quentin Boucher, Patrick Heymans:
A text-based approach to feature modelling: Syntax and semantics of TVL. Sci. Comput. Program. 76(12): 1130-1143 (2011) - [c17]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c16]Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher:
A formal semantics for feature cardinalities in feature diagrams. VaMoS 2011: 82-89 - 2010
- [c15]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin:
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 - [c14]Quentin Boucher, Andreas Classen, Patrick Heymans, Arnaud Bourdoux, Laurent Demonceau:
Tag and prune: a pragmatic approach to software product line implementation. ASE 2010: 333-336 - [c13]Arnaud Hubaux, Andreas Classen, Marcílio Mendonça, Patrick Heymans:
A Preliminary Review on the Application of Feature Diagrams in Practice. VaMoS 2010: 53-59 - [c12]Quentin Boucher, Andreas Classen, Paul Faber, Patrick Heymans:
Introducing TVL, a Text-based Feature Modelling. VaMoS 2010: 159-162 - [c11]Christophe Gauthier, Andreas Classen, Quentin Boucher, Patrick Heymans, Margaret-Anne D. Storey, Marcílio Mendonça:
XToF - A Tool for Tag-based Product Line Implementation. VaMoS 2010: 163-166
2000 – 2009
- 2009
- [c10]Peter Ebraert, Andreas Classen, Patrick Heymans, Theo D'Hondt:
Feature Diagrams for Change-Oriented Programming. ICFI 2009: 107-122 - [c9]Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh:
Towards safer composition. ICSE Companion 2009: 227-230 - [c8]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Analysis of Feature Configuration Workflows. RE 2009: 381-382 - [c7]Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans:
Relating requirements and feature configurations: a systematic approach. SPLC 2009: 201-210 - [c6]Arnaud Hubaux, Andreas Classen, Patrick Heymans:
Formal modelling of feature configuration workflows. SPLC 2009: 221-230 - [c5]Andreas Classen, Arnaud Hubaux, Patrick Heymans:
A Formal Semantics for Multi-level Staged Configuration. VaMoS 2009: 51-60 - 2008
- [j1]Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. IET Softw. 2(3): 281-302 (2008) - [c4]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c3]Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux:
Using the event calculus to reason about problem diagrams. IWAAPF@ICSE 2008: 74-77 - 2007
- [c2]Andreas Classen:
Problem-Oriented Feature Interaction Detection in Software Product Lines. ICFI 2007: 203-206 - [c1]Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun:
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. VaMoS 2007: 109-117
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
