publications:
- 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: "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010"
  editor:
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Judith Bishop"
    link: "https://researchr.org/alias/judith-bishop"
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Sebastián Uchitel"
    link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel"
  publisher: "ACM"
  isbn: "978-1-60558-719-6"
  kind: "inproceedings"
  key: "ClassenHSLR10"
- title: "Some Challenges of Feature-based Merging of Class Diagrams"
  author:
  - name: "Germain Saval"
    link: "https://researchr.org/alias/germain-saval"
  - name: "Jorge Pinna Puissant"
    link: "http://staff.umh.ac.be/PinnaPuissant.Jorge/"
  - name: "Patrick Heymans"
    link: "http://www.info.fundp.ac.be/~phe"
  - name: "Tom Mens"
    link: "http://staff.umh.ac.be/Mens.Tom/"
  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:
  - "feature diagrams"
  - "rule-based"
  researchr: "https://researchr.org/publication/SavalPHM09"
  cites: 0
  citedby: 0
  pages: "127-136"
  booktitle: "Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings"
  editor:
  - name: "David Benavides"
    link: "https://researchr.org/alias/david-benavides"
  - name: "Andreas Metzger"
    link: "https://researchr.org/alias/andreas-metzger"
  - name: "Ulrich W. Eisenecker"
    link: "https://researchr.org/alias/ulrich-w.-eisenecker"
  volume: "29"
  series: "ICB Research Report"
  publisher: "Universität Duisburg-Essen"
  kind: "inproceedings"
  key: "SavalPHM09"
- title: "Feature Diagrams: A Survey and a Formal Semantics"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Patrick Heymans"
    link: "http://www.info.fundp.ac.be/~phe"
  - name: "Jean-Christophe Trigaux"
    link: "https://researchr.org/alias/jean-christophe-trigaux"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.23"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.23"
  tags:
  - "feature diagrams"
  - "semantics"
  - "formal semantics"
  - "survey"
  researchr: "https://researchr.org/publication/SchobbensHT06"
  cites: 0
  citedby: 0
  pages: "136-145"
  booktitle: "14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2555-5"
  kind: "inproceedings"
  key: "SchobbensHT06"