BibTeX records: Andreas Classen

download as .bib file

@inproceedings{DBLP:conf/birthday/CordyDLPCHSR19,
  author       = {Maxime Cordy and
                  Xavier Devroey and
                  Axel Legay and
                  Gilles Perrouin and
                  Andreas Classen and
                  Patrick Heymans and
                  Pierre{-}Yves Schobbens and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Maurice H. ter Beek and
                  Alessandro Fantechi and
                  Laura Semini},
  title        = {A Decade of Featured Transition Systems},
  booktitle    = {From Software Engineering to Formal Methods and Tools, and Back -
                  Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11865},
  pages        = {285--312},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30985-5\_18},
  doi          = {10.1007/978-3-030-30985-5\_18},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CordyDLPCHSR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClassenCHLS14,
  author       = {Andreas Classen and
                  Maxime Cordy and
                  Patrick Heymans and
                  Axel Legay and
                  Pierre{-}Yves Schobbens},
  title        = {Formal semantics, modular specification, and symbolic verification
                  of product-line behaviour},
  journal      = {Sci. Comput. Program.},
  volume       = {80},
  pages        = {416--439},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.019},
  doi          = {10.1016/J.SCICO.2013.09.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ClassenCHLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ClassenCSHLR13,
  author       = {Andreas Classen and
                  Maxime Cordy and
                  Pierre{-}Yves Schobbens and
                  Patrick Heymans and
                  Axel Legay and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Featured Transition Systems: Foundations for Verifying Variability-Intensive
                  Systems and Their Application to {LTL} Model Checking},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {39},
  number       = {8},
  pages        = {1069--1089},
  year         = {2013},
  url          = {https://doi.org/10.1109/TSE.2012.86},
  doi          = {10.1109/TSE.2012.86},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ClassenCSHLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CordyCHSL13,
  author       = {Maxime Cordy and
                  Andreas Classen and
                  Patrick Heymans and
                  Pierre{-}Yves Schobbens and
                  Axel Legay},
  title        = {ProVeLines: a product line of verifiers for software product lines},
  booktitle    = {17th International Software Product Line Conference co-located workshops,
                  {SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
  pages        = {141--146},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2499777.2499781},
  doi          = {10.1145/2499777.2499781},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/CordyCHSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CordyCHLS13,
  author       = {Maxime Cordy and
                  Andreas Classen and
                  Patrick Heymans and
                  Axel Legay and
                  Pierre{-}Yves Schobbens},
  editor       = {Javier C{\'{a}}mara and
                  Rog{\'{e}}rio de Lemos and
                  Carlo Ghezzi and
                  Ant{\'{o}}nia Lopes},
  title        = {Model Checking Adaptive Software with Featured Transition Systems},
  booktitle    = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series       = {Lecture Notes in Computer Science},
  volume       = {7740},
  pages        = {1--29},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36249-1\_1},
  doi          = {10.1007/978-3-642-36249-1\_1},
  timestamp    = {Sun, 02 Jun 2019 20:42:26 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/CordyCHLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2013fosd,
  editor       = {Andreas Classen and
                  Norbert Siegmund},
  title        = {5th International Workshop on Feature-Oriented Software Development,
                  {FOSD} '13, Indianapolis, IN, USA, October 26, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2528265},
  isbn         = {978-1-4503-2168-6},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/2013fosd.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HeymansBCBD12,
  author       = {Patrick Heymans and
                  Quentin Boucher and
                  Andreas Classen and
                  Arnaud Bourdoux and
                  Laurent Demonceau},
  title        = {A code tagging approach to software product line development - An
                  application to satellite communication libraries},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {14},
  number       = {5},
  pages        = {553--566},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10009-012-0242-1},
  doi          = {10.1007/S10009-012-0242-1},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/HeymansBCBD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClassenCHLS12,
  author       = {Andreas Classen and
                  Maxime Cordy and
                  Patrick Heymans and
                  Axel Legay and
                  Pierre{-}Yves Schobbens},
  title        = {Model checking software product lines with {SNIP}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {14},
  number       = {5},
  pages        = {589--612},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10009-012-0234-1},
  doi          = {10.1007/S10009-012-0234-1},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/ClassenCHLS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CordyCPSHL12,
  author       = {Maxime Cordy and
                  Andreas Classen and
                  Gilles Perrouin and
                  Pierre{-}Yves Schobbens and
                  Patrick Heymans and
                  Axel Legay},
  editor       = {Martin Glinz and
                  Gail C. Murphy and
                  Mauro Pezz{\`{e}}},
  title        = {Simulation-based abstractions for software product-line model checking},
  booktitle    = {34th International Conference on Software Engineering, {ICSE} 2012,
                  June 2-9, 2012, Zurich, Switzerland},
  pages        = {672--682},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICSE.2012.6227150},
  doi          = {10.1109/ICSE.2012.6227150},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/CordyCPSHL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeekBCRSW12,
  author       = {Maurice H. ter Beek and
                  Martin Becker and
                  Andreas Classen and
                  Fabricia Roos{-}Frantz and
                  Ina Schaefer and
                  Peter Y. H. Wong},
  editor       = {Eduardo Santana de Almeida and
                  Christa Schwanninger and
                  David Benavides},
  title        = {Formal methods and analysis in software product line engineering:
                  3rd edition of {FMSPLE} workshop series},
  booktitle    = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
                  Brazil - September 2-7, 2012, Volume 1},
  pages        = {286--287},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2362536.2362576},
  doi          = {10.1145/2362536.2362576},
  timestamp    = {Wed, 28 Oct 2020 08:39:41 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/BeekBCRSW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/CordyCSHL12,
  author       = {Maxime Cordy and
                  Andreas Classen and
                  Pierre{-}Yves Schobbens and
                  Patrick Heymans and
                  Axel Legay},
  editor       = {Ulrich W. Eisenecker and
                  Sven Apel and
                  Stefania Gnesi},
  title        = {Managing evolution in software product lines: a model-checking perspective},
  booktitle    = {Sixth International Workshop on Variability Modelling of Software-Intensive
                  Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
  pages        = {183--191},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2110147.2110168},
  doi          = {10.1145/2110147.2110168},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/CordyCSHL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/be/Classen11,
  author       = {Andreas Classen},
  title        = {Modelling and model checking variability-intensive systems},
  school       = {University of Namur, Belgium},
  year         = {2011},
  url          = {https://researchportal.unamur.be/en/studentTheses/1f4721c9-2d1f-4830-a4d5-d64c7b8389d5},
  timestamp    = {Wed, 27 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/be/Classen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClassenBH11,
  author       = {Andreas Classen and
                  Quentin Boucher and
                  Patrick Heymans},
  title        = {A text-based approach to feature modelling: Syntax and semantics of
                  {TVL}},
  journal      = {Sci. Comput. Program.},
  volume       = {76},
  number       = {12},
  pages        = {1130--1143},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.scico.2010.10.005},
  doi          = {10.1016/J.SCICO.2010.10.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ClassenBH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClassenHSL11,
  author       = {Andreas Classen and
                  Patrick Heymans and
                  Pierre{-}Yves Schobbens and
                  Axel Legay},
  editor       = {Richard N. Taylor and
                  Harald C. Gall and
                  Nenad Medvidovic},
  title        = {Symbolic model checking of software product lines},
  booktitle    = {Proceedings of the 33rd International Conference on Software Engineering,
                  {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages        = {321--330},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1985793.1985838},
  doi          = {10.1145/1985793.1985838},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ClassenHSL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/MichelCHB11,
  author       = {Rapha{\"{e}}l Michel and
                  Andreas Classen and
                  Arnaud Hubaux and
                  Quentin Boucher},
  editor       = {Patrick Heymans and
                  Krzysztof Czarnecki and
                  Ulrich W. Eisenecker},
  title        = {A formal semantics for feature cardinalities in feature diagrams},
  booktitle    = {Fifth International Workshop on Variability Modelling of Software-Intensive
                  Systems, Namur, Belgium, January 27-29, 2011. Proceedings},
  series       = {{ACM} International Conference Proceedings Series},
  pages        = {82--89},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1944892.1944902},
  doi          = {10.1145/1944892.1944902},
  timestamp    = {Fri, 30 Dec 2022 23:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/MichelCHB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClassenHSLR10,
  author       = {Andreas Classen and
                  Patrick Heymans and
                  Pierre{-}Yves Schobbens and
                  Axel Legay and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Model checking lots of systems: efficient verification of temporal
                  properties in software product lines},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {335--344},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1806799.1806850},
  doi          = {10.1145/1806799.1806850},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ClassenHSLR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BoucherCHBD10,
  author       = {Quentin Boucher and
                  Andreas Classen and
                  Patrick Heymans and
                  Arnaud Bourdoux and
                  Laurent Demonceau},
  editor       = {Charles Pecheur and
                  Jamie Andrews and
                  Elisabetta Di Nitto},
  title        = {Tag and prune: a pragmatic approach to software product line implementation},
  booktitle    = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages        = {333--336},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1858996.1859064},
  doi          = {10.1145/1858996.1859064},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BoucherCHBD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/HubauxCMH10,
  author       = {Arnaud Hubaux and
                  Andreas Classen and
                  Marc{\'{\i}}lio Mendon{\c{c}}a and
                  Patrick Heymans},
  editor       = {David Benavides and
                  Don S. Batory and
                  Paul Gr{\"{u}}nbacher},
  title        = {A Preliminary Review on the Application of Feature Diagrams in Practice},
  booktitle    = {Fourth International Workshop on Variability Modelling of Software-Intensive
                  Systems, Linz, Austria, January 27-29, 2010. Proceedings},
  series       = {ICB-Research Report},
  volume       = {37},
  pages        = {53--59},
  publisher    = {Universit{\"{a}}t Duisburg-Essen},
  year         = {2010},
  url          = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
  timestamp    = {Wed, 28 Oct 2020 08:39:42 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/HubauxCMH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BoucherCFH10,
  author       = {Quentin Boucher and
                  Andreas Classen and
                  Paul Faber and
                  Patrick Heymans},
  editor       = {David Benavides and
                  Don S. Batory and
                  Paul Gr{\"{u}}nbacher},
  title        = {Introducing TVL, a Text-based Feature Modelling},
  booktitle    = {Fourth International Workshop on Variability Modelling of Software-Intensive
                  Systems, Linz, Austria, January 27-29, 2010. Proceedings},
  series       = {ICB-Research Report},
  volume       = {37},
  pages        = {159--162},
  publisher    = {Universit{\"{a}}t Duisburg-Essen},
  year         = {2010},
  url          = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
  timestamp    = {Mon, 14 Jun 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vamos/BoucherCFH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/GauthierCBHSM10,
  author       = {Christophe Gauthier and
                  Andreas Classen and
                  Quentin Boucher and
                  Patrick Heymans and
                  Margaret{-}Anne D. Storey and
                  Marc{\'{\i}}lio Mendon{\c{c}}a},
  editor       = {David Benavides and
                  Don S. Batory and
                  Paul Gr{\"{u}}nbacher},
  title        = {XToF - {A} Tool for Tag-based Product Line Implementation},
  booktitle    = {Fourth International Workshop on Variability Modelling of Software-Intensive
                  Systems, Linz, Austria, January 27-29, 2010. Proceedings},
  series       = {ICB-Research Report},
  volume       = {37},
  pages        = {163--166},
  publisher    = {Universit{\"{a}}t Duisburg-Essen},
  year         = {2010},
  url          = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
  timestamp    = {Mon, 16 Aug 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vamos/GauthierCBHSM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/EbraertCHD09,
  author       = {Peter Ebraert and
                  Andreas Classen and
                  Patrick Heymans and
                  Theo D'Hondt},
  editor       = {Masahide Nakamura and
                  Stephan Reiff{-}Marganiec},
  title        = {Feature Diagrams for Change-Oriented Programming},
  booktitle    = {Feature Interactions in Software and Communication Systems X, International
                  Conference on Feature Interactions in Software and Communication Systems,
                  {ICFI} 2009, 11-12 June, 2009, Lisbon, Portugal},
  pages        = {107--122},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-60750-014-8-107},
  doi          = {10.3233/978-1-60750-014-8-107},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fiw/EbraertCHD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClassenHTN09,
  author       = {Andreas Classen and
                  Patrick Heymans and
                  Thein Than Tun and
                  Bashar Nuseibeh},
  title        = {Towards safer composition},
  booktitle    = {31st International Conference on Software Engineering, {ICSE} 2009,
                  May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages        = {227--230},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070988},
  doi          = {10.1109/ICSE-COMPANION.2009.5070988},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ClassenHTN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ClassenHH09,
  author       = {Andreas Classen and
                  Arnaud Hubaux and
                  Patrick Heymans},
  title        = {Analysis of Feature Configuration Workflows},
  booktitle    = {{RE} 2009, 17th {IEEE} International Requirements Engineering Conference,
                  Atlanta, Georgia, USA, August 31 - September 4, 2009},
  pages        = {381--382},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RE.2009.55},
  doi          = {10.1109/RE.2009.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/ClassenHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/TunBCHH09,
  author       = {Thein Than Tun and
                  Quentin Boucher and
                  Andreas Classen and
                  Arnaud Hubaux and
                  Patrick Heymans},
  editor       = {Dirk Muthig and
                  John D. McGregor},
  title        = {Relating requirements and feature configurations: a systematic approach},
  booktitle    = {Software Product Lines, 13th International Conference, {SPLC} 2009,
                  San Francisco, California, USA, August 24-28, 2009, Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {446},
  pages        = {201--210},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://dl.acm.org/citation.cfm?id=1753263},
  timestamp    = {Wed, 28 Nov 2018 12:57:14 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/TunBCHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HubauxCH09,
  author       = {Arnaud Hubaux and
                  Andreas Classen and
                  Patrick Heymans},
  editor       = {Dirk Muthig and
                  John D. McGregor},
  title        = {Formal modelling of feature configuration workflows},
  booktitle    = {Software Product Lines, 13th International Conference, {SPLC} 2009,
                  San Francisco, California, USA, August 24-28, 2009, Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {446},
  pages        = {221--230},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://dl.acm.org/citation.cfm?id=1753266},
  timestamp    = {Wed, 28 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/HubauxCH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/ClassenHH09,
  author       = {Andreas Classen and
                  Arnaud Hubaux and
                  Patrick Heymans},
  editor       = {David Benavides and
                  Andreas Metzger and
                  Ulrich W. Eisenecker},
  title        = {A Formal Semantics for Multi-level Staged Configuration},
  booktitle    = {Third International Workshop on Variability Modelling of Software-Intensive
                  Systems, Seville, Spain, January 28-30, 2009. Proceedings},
  series       = {{ICB} Research Report},
  volume       = {29},
  pages        = {51--60},
  publisher    = {Universit{\"{a}}t Duisburg-Essen},
  year         = {2009},
  url          = {http://www.vamos-workshop.net/proceedings/VaMoS\_2009\_Proceedings.pdf},
  timestamp    = {Wed, 28 Oct 2020 08:39:42 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/ClassenHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HeymansSTBMC08,
  author       = {Patrick Heymans and
                  Pierre{-}Yves Schobbens and
                  Jean{-}Christophe Trigaux and
                  Yves Bontemps and
                  Raimundas Matulevicius and
                  Andreas Classen},
  title        = {Evaluating formal properties of feature diagram languages},
  journal      = {{IET} Softw.},
  volume       = {2},
  number       = {3},
  pages        = {281--302},
  year         = {2008},
  url          = {https://doi.org/10.1049/iet-sen:20070055},
  doi          = {10.1049/IET-SEN:20070055},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/HeymansSTBMC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ClassenHS08,
  author       = {Andreas Classen and
                  Patrick Heymans and
                  Pierre{-}Yves Schobbens},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Paola Inverardi},
  title        = {What's in a Feature: {A} Requirements Engineering Perspective},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4961},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78743-3\_2},
  doi          = {10.1007/978-3-540-78743-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/ClassenHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClassenLTHH08,
  author       = {Andreas Classen and
                  Robin C. Laney and
                  Thein Than Tun and
                  Patrick Heymans and
                  Arnaud Hubaux},
  editor       = {Lucia Rapanotti and
                  Jon G. Hall and
                  Zhi Jin and
                  Karl Cox},
  title        = {Using the event calculus to reason about problem diagrams},
  booktitle    = {Proceedings of the 3rd International Workshop on Applications and
                  Advances of Problem Frames, {IWAAPF} '08, Leipzig, Germany, May 10,
                  2008},
  pages        = {74--77},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1370811.1370826},
  doi          = {10.1145/1370811.1370826},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/ClassenLTHH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Classen07,
  author       = {Andreas Classen},
  editor       = {Lydie du Bousquet and
                  Jean{-}Luc Richier},
  title        = {Problem-Oriented Feature Interaction Detection in Software Product
                  Lines},
  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},
  pages        = {203--206},
  publisher    = {{IOS} Press},
  year         = {2007},
  timestamp    = {Tue, 01 Feb 2011 11:58:04 +0100},
  biburl       = {https://dblp.org/rec/conf/fiw/Classen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/ClassenHLNT07,
  author       = {Andreas Classen and
                  Patrick Heymans and
                  Robin C. Laney and
                  Bashar Nuseibeh and
                  Thein Than Tun},
  editor       = {Klaus Pohl and
                  Patrick Heymans and
                  Kyo Chul Kang and
                  Andreas Metzger},
  title        = {On the Structure of Problem Variability: From Feature Diagrams to
                  Problem Frames},
  booktitle    = {First International Workshop on Variability Modelling of Software-Intensive
                  Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings},
  series       = {Lero Technical Report},
  volume       = {2007-01},
  pages        = {109--117},
  year         = {2007},
  url          = {http://www.vamos-workshop.net/proceedings/VaMoS\_2007\_Proceedings.pdf},
  timestamp    = {Sun, 14 Dec 2008 15:20:07 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/ClassenHLNT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics