Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/birthday/poetzsch2018.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.