publications:
- title: "Problem-Oriented Feature Interaction Detection in Software Product Lines"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  year: "2007"
  tags:
  - "software product lines"
  researchr: "https://researchr.org/publication/Classen07"
  cites: 0
  citedby: 0
  pages: "203-206"
  booktitle: "fiw"
  kind: "inproceedings"
  key: "Classen07"
- title: "On the Structure of Problem Variability: From Feature Diagrams to Problem Frames"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Robin C. Laney"
    link: "https://researchr.org/alias/robin-c.-laney"
  - name: "Bashar Nuseibeh"
    link: "https://researchr.org/alias/bashar-nuseibeh"
  - name: "Thein Than Tun"
    link: "https://researchr.org/alias/thein-than-tun"
  year: "2007"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2007_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2007_Proceedings.pdf"
  tags:
  - "feature diagrams"
  - "C++"
  researchr: "https://researchr.org/publication/ClassenHLNT07"
  cites: 0
  citedby: 0
  pages: "109-117"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "ClassenHLNT07"
- title: "A Formal Semantics for Multi-level Staged Configuration"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Arnaud Hubaux"
    link: "https://researchr.org/alias/arnaud-hubaux"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2009"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf"
  tags:
  - "semantics"
  - "formal semantics"
  researchr: "https://researchr.org/publication/ClassenHH09"
  cites: 0
  citedby: 0
  pages: "51-60"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "ClassenHH09"
- title: "Tag and prune: a pragmatic approach to software product line implementation"
  author:
  - name: "Quentin Boucher"
    link: "https://researchr.org/alias/quentin-boucher"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Arnaud Bourdoux"
    link: "https://researchr.org/alias/arnaud-bourdoux"
  - name: "Laurent Demonceau"
    link: "https://researchr.org/alias/laurent-demonceau"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1858996.1859064"
  links:
    doi: "http://doi.acm.org/10.1145/1858996.1859064"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/BoucherCHBD10"
  tags:
  - "tagging"
  - "software product line"
  - "product line"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BoucherCHBD10"
  cites: 0
  citedby: 0
  pages: "333-336"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "BoucherCHBD10"
- title: "Introducing TVL, a Text-based Feature Modelling"
  author:
  - name: "Quentin Boucher"
    link: "https://researchr.org/alias/quentin-boucher"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Paul Faber"
    link: "https://researchr.org/alias/paul-faber"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2010"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vamos/BoucherCFH10"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/BoucherCFH10"
  cites: 0
  citedby: 0
  pages: "159-162"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "BoucherCFH10"
- title: "A Preliminary Review on the Application of Feature Diagrams in Practice"
  author:
  - name: "Arnaud Hubaux"
    link: "https://researchr.org/alias/arnaud-hubaux"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Marcílio Mendonça"
    link: "https://researchr.org/alias/marc%C3%ADlio-mendon%C3%A7a"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2010"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vamos/HubauxCMH10"
  tags:
  - "feature diagrams"
  - "reviewing"
  researchr: "https://researchr.org/publication/HubauxCMH10"
  cites: 0
  citedby: 0
  pages: "53-59"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "HubauxCMH10"
- title: "Analysis of Feature Configuration Workflows"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Arnaud Hubaux"
    link: "https://researchr.org/alias/arnaud-hubaux"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2009.55"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2009.55"
  tags:
  - "analysis"
  - "workflow"
  researchr: "https://researchr.org/publication/ClassenHH09-0"
  cites: 0
  citedby: 0
  pages: "381-382"
  booktitle: "RE"
  kind: "inproceedings"
  key: "ClassenHH09-0"
- title: "Model checking lots of systems: efficient verification of temporal properties in software product lines"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "http://www.info.fundp.ac.be/~phe"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806799.1806850"
  links:
    doi: "http://doi.acm.org/10.1145/1806799.1806850"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClassenHSLR10"
  tags:
  - "software product lines"
  - "model checking"
  - "meta-model"
  - "Variability-Aware Analysis"
  - "analysis"
  - "context-aware"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ClassenHSLR10"
  cites: 0
  citedby: 0
  pages: "335-344"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ClassenHSLR10"
- title: "What s in a Feature: A Requirements Engineering Perspective"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_2"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/ClassenHS08"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "ClassenHS08"
- title: "Evaluating formal properties of feature diagram languages"
  author:
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Jean-Christophe Trigaux"
    link: "https://researchr.org/alias/jean-christophe-trigaux"
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Raimundas Matulevicius"
    link: "https://researchr.org/alias/raimundas-matulevicius"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  year: "2008"
  doi: "http://dx.doi.org/10.1049/iet-sen:20070055"
  links:
    doi: "http://dx.doi.org/10.1049/iet-sen:20070055"
  tags:
  - "feature diagrams"
  researchr: "https://researchr.org/publication/HeymansSTBMC08"
  cites: 0
  citedby: 0
  journal: "iee"
  volume: "2"
  number: "3"
  pages: "281-302"
  kind: "article"
  key: "HeymansSTBMC08"
- title: "Formal modelling of feature configuration workflows"
  author:
  - name: "Arnaud Hubaux"
    link: "https://researchr.org/alias/arnaud-hubaux"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1753235.1753266"
  links:
    doi: "http://doi.acm.org/10.1145/1753235.1753266"
  tags:
  - "workflow"
  researchr: "https://researchr.org/publication/HubauxCH09"
  cites: 0
  citedby: 0
  pages: "221-230"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "HubauxCH09"
- title: "Relating requirements and feature configurations: a systematic approach"
  author:
  - name: "Thein Than Tun"
    link: "https://researchr.org/alias/thein-than-tun"
  - name: "Quentin Boucher"
    link: "https://researchr.org/alias/quentin-boucher"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Arnaud Hubaux"
    link: "https://researchr.org/alias/arnaud-hubaux"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1753235.1753263"
  links:
    doi: "http://doi.acm.org/10.1145/1753235.1753263"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/TunBCHH09"
  cites: 0
  citedby: 0
  pages: "201-210"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "TunBCHH09"
- title: "Symbolic model checking of software product lines"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1985793.1985838"
  links:
    doi: "http://doi.acm.org/10.1145/1985793.1985838"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClassenHSL11"
  tags:
  - "software product lines"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ClassenHSL11"
  cites: 0
  citedby: 0
  pages: "321-330"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ClassenHSL11"
- title: "XToF - A Tool for Tag-based Product Line Implementation"
  author:
  - name: "Christophe Gauthier"
    link: "https://researchr.org/alias/christophe-gauthier"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Quentin Boucher"
    link: "https://researchr.org/alias/quentin-boucher"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Margaret-Anne D. Storey"
    link: "https://researchr.org/alias/margaret-anne-d.-storey"
  - name: "Marcílio Mendonça"
    link: "https://researchr.org/alias/marc%C3%ADlio-mendon%C3%A7a"
  year: "2010"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vamos/GauthierCBHSM10"
  tags:
  - "rule-based"
  - "tagging"
  - "product line"
  researchr: "https://researchr.org/publication/GauthierCBHSM10"
  cites: 0
  citedby: 0
  pages: "163-166"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "GauthierCBHSM10"
- title: "Towards safer composition"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Thein Than Tun"
    link: "https://researchr.org/alias/thein-than-tun"
  - name: "Bashar Nuseibeh"
    link: "https://researchr.org/alias/bashar-nuseibeh"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070988"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070988"
  tags:
  - "Variability-Aware Analysis"
  - "composition"
  - "analysis"
  - "context-aware"
  - "safe composition"
  researchr: "https://researchr.org/publication/ClassenHTN09"
  cites: 0
  citedby: 0
  pages: "227-230"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ClassenHTN09"