@inproceedings{Classen07,
  title = {Problem-Oriented Feature Interaction Detection in Software Product Lines},
  author = {Andreas Classen},
  year = {2007},
  tags = {software product lines},
  researchr = {https://researchr.org/publication/Classen07},
  cites = {0},
  citedby = {0},
  pages = {203-206},
  booktitle = {fiw},
}

@inproceedings{ClassenHLNT07,
  title = {On the Structure of Problem Variability: From Feature Diagrams to Problem Frames},
  author = {Andreas Classen and Patrick Heymans and Robin C. Laney and Bashar Nuseibeh and Thein Than Tun},
  year = {2007},
  url = {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},
}

@inproceedings{ClassenHH09,
  title = {A Formal Semantics for Multi-level Staged Configuration},
  author = {Andreas Classen and Arnaud Hubaux and Patrick Heymans},
  year = {2009},
  url = {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},
}

@inproceedings{BoucherCHBD10,
  title = {Tag and prune: a pragmatic approach to software product line implementation},
  author = {Quentin Boucher and Andreas Classen and Patrick Heymans and Arnaud Bourdoux and Laurent Demonceau},
  year = {2010},
  doi = {10.1145/1858996.1859064},
  url = {http://doi.acm.org/10.1145/1858996.1859064},
  tags = {tagging, software product line, product line, systematic-approach},
  researchr = {https://researchr.org/publication/BoucherCHBD10},
  cites = {0},
  citedby = {0},
  pages = {333-336},
  booktitle = {ASE},
}

@inproceedings{BoucherCFH10,
  title = {Introducing TVL, a Text-based Feature Modelling},
  author = {Quentin Boucher and Andreas Classen and Paul Faber and Patrick Heymans},
  year = {2010},
  url = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BoucherCFH10},
  cites = {0},
  citedby = {0},
  pages = {159-162},
  booktitle = {vamos},
}

@inproceedings{HubauxCMH10,
  title = {A Preliminary Review on the Application of Feature Diagrams in Practice},
  author = {Arnaud Hubaux and Andreas Classen and Marcílio Mendonça and Patrick Heymans},
  year = {2010},
  url = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf},
  tags = {feature diagrams, reviewing},
  researchr = {https://researchr.org/publication/HubauxCMH10},
  cites = {0},
  citedby = {0},
  pages = {53-59},
  booktitle = {vamos},
}

@inproceedings{ClassenHH09-0,
  title = {Analysis of Feature Configuration Workflows},
  author = {Andreas Classen and Arnaud Hubaux and Patrick Heymans},
  year = {2009},
  doi = {10.1109/RE.2009.55},
  url = {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},
}

@inproceedings{ClassenHSLR10,
  title = {Model checking lots of systems: efficient verification of temporal properties in software product lines},
  author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens and Axel Legay and Jean-François Raskin},
  year = {2010},
  doi = {10.1145/1806799.1806850},
  url = {http://doi.acm.org/10.1145/1806799.1806850},
  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},
}

@inproceedings{ClassenHS08,
  title = {What s in a Feature: A Requirements Engineering Perspective},
  author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_2},
  url = {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},
}

@article{HeymansSTBMC08,
  title = {Evaluating formal properties of feature diagram languages},
  author = {Patrick Heymans and Pierre Yves Schobbens and Jean-Christophe Trigaux and Yves Bontemps and Raimundas Matulevicius and Andreas Classen},
  year = {2008},
  doi = {10.1049/iet-sen:20070055},
  url = {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},
}

@inproceedings{HubauxCH09,
  title = {Formal modelling of feature configuration workflows},
  author = {Arnaud Hubaux and Andreas Classen and Patrick Heymans},
  year = {2009},
  doi = {10.1145/1753235.1753266},
  url = {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},
}

@inproceedings{TunBCHH09,
  title = {Relating requirements and feature configurations: a systematic approach},
  author = {Thein Than Tun and Quentin Boucher and Andreas Classen and Arnaud Hubaux and Patrick Heymans},
  year = {2009},
  doi = {10.1145/1753235.1753263},
  url = {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},
}

@inproceedings{ClassenHSL11,
  title = {Symbolic model checking of software product lines},
  author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens and Axel Legay},
  year = {2011},
  doi = {10.1145/1985793.1985838},
  url = {http://doi.acm.org/10.1145/1985793.1985838},
  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},
}

@inproceedings{GauthierCBHSM10,
  title = {XToF - A Tool for Tag-based Product Line Implementation},
  author = {Christophe Gauthier and Andreas Classen and Quentin Boucher and Patrick Heymans and Margaret-Anne D. Storey and Marcílio Mendonça},
  year = {2010},
  url = {http://www.vamos-workshop.net/proceedings/VaMoS_2010_Proceedings.pdf},
  tags = {rule-based, tagging, product line},
  researchr = {https://researchr.org/publication/GauthierCBHSM10},
  cites = {0},
  citedby = {0},
  pages = {163-166},
  booktitle = {vamos},
}

@inproceedings{ClassenHTN09,
  title = {Towards safer composition},
  author = {Andreas Classen and Patrick Heymans and Thein Than Tun and Bashar Nuseibeh},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5070988},
  url = {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},
}