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: "Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France" editor: - name: "Lydie du Bousquet" link: "https://researchr.org/alias/lydie-du-bousquet" - name: "Jean-Luc Richier" link: "https://researchr.org/alias/jean-luc-richier" publisher: "IOS Press" isbn: "978-1-58603-845-8" 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: "First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings" editor: - name: "Klaus Pohl" link: "https://researchr.org/alias/klaus-pohl" - name: "Patrick Heymans" link: "https://researchr.org/alias/patrick-heymans" - name: "Kyo Chul Kang" link: "https://researchr.org/alias/kyo-chul-kang" - name: "Andreas Metzger" link: "https://researchr.org/alias/andreas-metzger" volume: "2007-01" series: "Lero Technical Report" 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: "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: "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 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010" editor: - name: "Charles Pecheur" link: "https://researchr.org/alias/charles-pecheur" - name: "Jamie Andrews" link: "https://researchr.org/alias/jamie-andrews" - name: "Elisabetta Di Nitto" link: "https://researchr.org/alias/elisabetta-di-nitto" publisher: "ACM" isbn: "978-1-4503-0116-9" 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: "Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings" editor: - name: "David Benavides" link: "https://researchr.org/alias/david-benavides" - name: "Don S. Batory" link: "https://researchr.org/alias/don-s.-batory" - name: "Paul Grünbacher" link: "http://paul.gruenbacher.at/" volume: "37" series: "ICB-Research Report" publisher: "Universität Duisburg-Essen" 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: "Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings" editor: - name: "David Benavides" link: "https://researchr.org/alias/david-benavides" - name: "Don S. Batory" link: "https://researchr.org/alias/don-s.-batory" - name: "Paul Grünbacher" link: "http://paul.gruenbacher.at/" volume: "37" series: "ICB-Research Report" publisher: "Universität Duisburg-Essen" 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 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009" publisher: "IEEE Computer Society" isbn: "978-0-7695-3761-0" 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: "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: "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: "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Paola Inverardi" link: "https://researchr.org/alias/paola-inverardi" volume: "4961" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78742-6" 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 Proceedings - Software" 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: "Software Product Lines, 13th International Conference, SPLC 2009, San Francisco, California, USA, August 24-28, 2009, Proceedings" editor: - name: "Dirk Muthig" link: "https://researchr.org/alias/dirk-muthig" - name: "John D. McGregor" link: "https://researchr.org/alias/john-d.-mcgregor" volume: "446" series: "ACM International Conference Proceeding Series" publisher: "ACM" 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: "Software Product Lines, 13th International Conference, SPLC 2009, San Francisco, California, USA, August 24-28, 2009, Proceedings" editor: - name: "Dirk Muthig" link: "https://researchr.org/alias/dirk-muthig" - name: "John D. McGregor" link: "https://researchr.org/alias/john-d.-mcgregor" volume: "446" series: "ACM International Conference Proceeding Series" publisher: "ACM" 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: "Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011" editor: - name: "Richard N. Taylor" link: "https://researchr.org/alias/richard-n.-taylor" - name: "Harald Gall" link: "https://researchr.org/alias/harald-gall" - name: "Nenad Medvidovic" link: "https://researchr.org/alias/nenad-medvidovic" publisher: "ACM" isbn: "978-1-4503-0445-0" 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: "Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings" editor: - name: "David Benavides" link: "https://researchr.org/alias/david-benavides" - name: "Don S. Batory" link: "https://researchr.org/alias/don-s.-batory" - name: "Paul Grünbacher" link: "http://paul.gruenbacher.at/" volume: "37" series: "ICB-Research Report" publisher: "Universität Duisburg-Essen" 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: "31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume" publisher: "IEEE" isbn: "978-1-4244-3494-7" kind: "inproceedings" key: "ClassenHTN09"