Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/BeekLLV15,
  author       = {Maurice H. ter Beek and
                  Axel Legay and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Quantitative Analysis of Probabilistic Models of Software Product
                  Lines with Statistical Model Checking},
  booktitle    = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  pages        = {56--70},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182.5},
  doi          = {10.4204/EPTCS.182.5},
  timestamp    = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BeekLLV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BelderBV15,
  author       = {Tessa Belder and
                  Maurice H. ter Beek and
                  Erik P. de Vink},
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Coherent branching feature bisimulation},
  booktitle    = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  pages        = {14--30},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182.2},
  doi          = {10.4204/EPTCS.182.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BelderBV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LestaSW15,
  author       = {Uwe Lesta and
                  Ina Schaefer and
                  Tim Winkelmann},
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Detecting and Explaining Conflicts in Attributed Feature Models},
  booktitle    = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  pages        = {31--43},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182.3},
  doi          = {10.4204/EPTCS.182.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LestaSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LuthmannML15,
  author       = {Lars Luthmann and
                  Stephan Mennicke and
                  Malte Lochau},
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Towards an {I/O} Conformance Testing Theory for Software Product Lines
                  based on Modal Interface Automata},
  booktitle    = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  pages        = {1--13},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182.1},
  doi          = {10.4204/EPTCS.182.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LuthmannML15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PeakeBFSRK15,
  author       = {Ian D. Peake and
                  Jan Olaf Blech and
                  Lasith Fernando and
                  Divyasheel Sharma and
                  Srini Ramaswamy and
                  Mallikarjun Kande},
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Analysis of Software Binaries for Reengineering-Driven Product Line
                  Architecture - An Industrial Case Study},
  booktitle    = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  pages        = {71--82},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182.6},
  doi          = {10.4204/EPTCS.182.6},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/PeakeBFSRK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PhamDL15,
  author       = {Thi{-}Kim{-}Zung Pham and
                  Catherine Dubois and
                  Nicole L{\'{e}}vy},
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Towards correct-by-construction product variants of a software product
                  line: GFML, a formal language for feature modules},
  booktitle    = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  pages        = {44--55},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182.4},
  doi          = {10.4204/EPTCS.182.4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PhamDL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/AtleeG15,
  editor       = {Joanne M. Atlee and
                  Stefania Gnesi},
  title        = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
                  FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
  series       = {{EPTCS}},
  volume       = {182},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.182},
  doi          = {10.4204/EPTCS.182},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AtleeG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}