Search dblp for Publications

export results for "toc:db/conf/birthday/poetzsch2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/0001D18,
  author       = {Klaus Schneider and
                  Marc Dahlem},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Are Synchronous Programs Logic Programs?},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {251--266},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_16},
  doi          = {10.1007/978-3-319-98047-8\_16},
  timestamp    = {Wed, 31 Oct 2018 17:54:14 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/0001D18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001PMM18,
  author       = {James Noble and
                  Alex Potanin and
                  Toby C. Murray and
                  Mark S. Miller},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Abstract and Concrete Data Types vs Object Capabilities},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {221--240},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_14},
  doi          = {10.1007/978-3-319-98047-8\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/0001PMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AhrendtPS18,
  author       = {Wolfgang Ahrendt and
                  Gordon J. Pace and
                  Gerardo Schneider},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Smart Contracts: {A} Killer Application for Deductive Source Code
                  Verification},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_1},
  doi          = {10.1007/978-3-319-98047-8\_1},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AhrendtPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaoL18,
  author       = {Yuyan Bao and
                  Gary T. Leavens},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {A Methodology for Invariants, Framing, and Subtyping in {JML}},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {19--39},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_2},
  doi          = {10.1007/978-3-319-98047-8\_2},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BaoL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeckertU18,
  author       = {Bernhard Beckert and
                  Mattias Ulbrich},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Trends in Relational Program Verification},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_3},
  doi          = {10.1007/978-3-319-98047-8\_3},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BeckertU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BieniusaZB18,
  author       = {Annette Bieniusa and
                  Peter Zeller and
                  Shraddha Barke},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Collaborative Work Management with a Highly-Available Kanban Board},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {59--72},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_4},
  doi          = {10.1007/978-3-319-98047-8\_4},
  timestamp    = {Mon, 06 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BieniusaZB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BischofBLS18,
  author       = {Simon Bischof and
                  Joachim Breitner and
                  Denis Lohner and
                  Gregor Snelting},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Illi Isabellistes Se Custodes Egregios Praestabant},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {267--282},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_17},
  doi          = {10.1007/978-3-319-98047-8\_17},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BischofBLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Blech18,
  author       = {Jan Olaf Blech},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {A Case for Certifying Compilers in Industrial Automation},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {73--86},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_5},
  doi          = {10.1007/978-3-319-98047-8\_5},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Blech18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG18,
  author       = {Frank S. de Boer and
                  Stijn de Gouw},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Compositional Semantics for Concurrent Object Groups in {ABS}},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {87--98},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_6},
  doi          = {10.1007/978-3-319-98047-8\_6},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BoerG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DamianiHKL18,
  author       = {Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Eduard Kamburjan and
                  Michael Lienhardt},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Same Same But Different: Interoperability of Software Product Line
                  Variants},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {99--117},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_7},
  doi          = {10.1007/978-3-319-98047-8\_7},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/DamianiHKL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GurovW18,
  author       = {Dilian Gurov and
                  Jonas Westman},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {A Hoare Logic Contract Theory: An Exercise in Denotational Semantics},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {119--127},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_8},
  doi          = {10.1007/978-3-319-98047-8\_8},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/GurovW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuismanJ18,
  author       = {Marieke Huisman and
                  Sebastiaan J. C. Joosten},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Towards Reliable Concurrent Software},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {129--146},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_9},
  doi          = {10.1007/978-3-319-98047-8\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HuismanJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JohnsenY18,
  author       = {Einar Broch Johnsen and
                  Ingrid Chieh Yu},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Dynamic Software Updates and Context Adaptation for Distributed Active
                  Objects},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {147--164},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_10},
  doi          = {10.1007/978-3-319-98047-8\_10},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/JohnsenY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KourieSCW18,
  author       = {Derrick G. Kourie and
                  Tinus Strauss and
                  Loek Cleophas and
                  Bruce W. Watson},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Using {CSP} to Develop Quality Concurrent Software},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {165--184},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_11},
  doi          = {10.1007/978-3-319-98047-8\_11},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/KourieSCW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LeinoM18,
  author       = {K. Rustan M. Leino and
                  Daniel Matichuk},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Modular Verification Scopes via Export Sets and Translucent Exports},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {185--202},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_12},
  doi          = {10.1007/978-3-319-98047-8\_12},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/LeinoM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MeyerW18,
  author       = {Roland Meyer and
                  Sebastian Wolff},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Reasoning About Weak Semantics via Strong Semantics},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {283--303},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_18},
  doi          = {10.1007/978-3-319-98047-8\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MeyerW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Muller18,
  author       = {Peter M{\"{u}}ller},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {The Binomial Heap Verification Challenge in Viper},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {203--219},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_13},
  doi          = {10.1007/978-3-319-98047-8\_13},
  timestamp    = {Sun, 22 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Muller18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Schaefer18,
  author       = {Ina Schaefer},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {A Personal History of Delta Modelling},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {241--250},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_15},
  doi          = {10.1007/978-3-319-98047-8\_15},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Schaefer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZambonR18,
  author       = {Eduardo Zambon and
                  Arend Rensink},
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Recipes for Coffee: Compositional Construction of {JAVA} Control Flow
                  Graphs in {GROOVE}},
  booktitle    = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  pages        = {305--323},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8\_19},
  doi          = {10.1007/978-3-319-98047-8\_19},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/ZambonR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018poetzsch,
  editor       = {Peter M{\"{u}}ller and
                  Ina Schaefer},
  title        = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
                  on the Occasion of his 60th Birthday},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98047-8},
  doi          = {10.1007/978-3-319-98047-8},
  isbn         = {978-3-319-98046-1},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2018poetzsch.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics