@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 = {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 = {Lydie du Bousquet and Jean-Luc Richier}, publisher = {IOS Press}, isbn = {978-1-58603-845-8}, } @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 = {First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings}, editor = {Klaus Pohl and Patrick Heymans and Kyo Chul Kang and Andreas Metzger}, volume = {2007-01}, series = {Lero Technical Report}, } @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 = {Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings}, editor = {David Benavides and Andreas Metzger and Ulrich W. Eisenecker}, volume = {29}, series = {ICB Research Report}, publisher = {Universität Duisburg-Essen}, } @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 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010}, editor = {Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto}, publisher = {ACM}, isbn = {978-1-4503-0116-9}, } @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 = {Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings}, editor = {David Benavides and Don S. Batory and Paul Grünbacher}, volume = {37}, series = {ICB-Research Report}, publisher = {Universität Duisburg-Essen}, } @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 = {Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings}, editor = {David Benavides and Don S. Batory and Paul Grünbacher}, volume = {37}, series = {ICB-Research Report}, publisher = {Universität Duisburg-Essen}, } @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 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}, } @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 = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010}, editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebastián Uchitel}, publisher = {ACM}, isbn = {978-1-60558-719-6}, } @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 = {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 = {José Luiz Fiadeiro and Paola Inverardi}, volume = {4961}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-78742-6}, } @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 Proceedings - Software}, 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 = {Software Product Lines, 13th International Conference, SPLC 2009, San Francisco, California, USA, August 24-28, 2009, Proceedings}, editor = {Dirk Muthig and John D. McGregor}, volume = {446}, series = {ACM International Conference Proceeding Series}, publisher = {ACM}, } @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 = {Software Product Lines, 13th International Conference, SPLC 2009, San Francisco, California, USA, August 24-28, 2009, Proceedings}, editor = {Dirk Muthig and John D. McGregor}, volume = {446}, series = {ACM International Conference Proceeding Series}, publisher = {ACM}, } @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 = {Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011}, editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic}, publisher = {ACM}, isbn = {978-1-4503-0445-0}, } @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 = {Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings}, editor = {David Benavides and Don S. Batory and Paul Grünbacher}, volume = {37}, series = {ICB-Research Report}, publisher = {Universität Duisburg-Essen}, } @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 = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume}, publisher = {IEEE}, isbn = {978-1-4244-3494-7}, }