Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/DialloGM16,
  author       = {Nafi Diallo and
                  Wided Ghardallou and
                  Ali Mili},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Program Repair by Stepwise Correctness Enhancement},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {1--15},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.1},
  doi          = {10.4204/EPTCS.208.1},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DialloGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GudmundssonLABG16,
  author       = {Vignir Gudmundsson and
                  Mikael Lindvall and
                  Luca Aceto and
                  Johann Bergthorsson and
                  Dharmalingam Ganesan},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Model-based Testing of Mobile Systems - An Empirical Study on QuizUp
                  Android App},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {16--30},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.2},
  doi          = {10.4204/EPTCS.208.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GudmundssonLABG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HolthusenQSSW16,
  author       = {S{\"{o}}nke Holthusen and
                  Sophie Quinton and
                  Ina Schaefer and
                  Johannes Schlatow and
                  Martin Wegner},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Using Multi-Viewpoint Contracts for Negotiation of Embedded Software
                  Updates},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {31--45},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.3},
  doi          = {10.4204/EPTCS.208.3},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/HolthusenQSSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SokolskyZLM16,
  author       = {Oleg Sokolsky and
                  Teng Zhang and
                  Insup Lee and
                  Michael McDougall},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Monitoring Assumptions in Assume-Guarantee Contracts},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {46--53},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.4},
  doi          = {10.4204/EPTCS.208.4},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SokolskyZLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/VellaF16,
  author       = {Annalizz Vella and
                  Adrian Francalanza},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Preliminary Results Towards Contract Monitorability},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {54--63},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.5},
  doi          = {10.4204/EPTCS.208.5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/VellaF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/AcetoFI16,
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208},
  doi          = {10.4204/EPTCS.208},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AcetoFI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}