Search dblp for Publications

export results for "toc:db/series/lncs/lncs12345.bht:"

 download as .bib file

@incollection{DBLP:series/lncs/AlshnakatGLR20,
  author       = {Anoud Alshnakat and
                  Dilian Gurov and
                  Christian Lidstr{\"{o}}m and
                  Philipp R{\"{u}}mmer},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Constraint-Based Contract Inference for Deductive Verification},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {149--176},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_6},
  doi          = {10.1007/978-3-030-64354-6\_6},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/AlshnakatGLR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/BeckertHKT20,
  author       = {Bernhard Beckert and
                  Mihai Herda and
                  Michael Kirsten and
                  Shmuel S. Tyszberowicz},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Integration of Static and Dynamic Analysis Techniques for Checking
                  Noninterference},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {287--312},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_12},
  doi          = {10.1007/978-3-030-64354-6\_12},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BeckertHKT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/BoerBJPTT20,
  author       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Einar Broch Johnsen and
                  Violet Ka I Pun and
                  Silvia Lizeth Tapia Tarifa and
                  Lars Tveito},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {SymPaths: Symbolic Execution Meets Partial Order Reduction},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {313--338},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_13},
  doi          = {10.1007/978-3-030-64354-6\_13},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/BoerBJPTT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/GrebingU20,
  author       = {Sarah Grebing and
                  Mattias Ulbrich},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Usability Recommendations for User Guidance in Deductive Program Verification},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {261--284},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_11},
  doi          = {10.1007/978-3-030-64354-6\_11},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/GrebingU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/HiepBBG20,
  author       = {Hans{-}Dieter A. Hiep and
                  Jinting Bian and
                  Frank S. de Boer and
                  Stijn de Gouw},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {A Tutorial on Verifying LinkedList Using KeY},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {221--245},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_9},
  doi          = {10.1007/978-3-030-64354-6\_9},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/HiepBBG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/HuismanMUW20,
  author       = {Marieke Huisman and
                  Ra{\'{u}}l E. Monti and
                  Mattias Ulbrich and
                  Alexander Weigl},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {The VerifyThis Collaborative Long Term Challenge},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {246--260},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_10},
  doi          = {10.1007/978-3-030-64354-6\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/HuismanMUW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/KamburjanDHJ20,
  author       = {Eduard Kamburjan and
                  Crystal Chang Din and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Behavioral Contracts for Cooperative Scheduling},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {85--121},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_4},
  doi          = {10.1007/978-3-030-64354-6\_4},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/KamburjanDHJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/KnuppelKTBKBS20,
  author       = {Alexander Kn{\"{u}}ppel and
                  Stefan Kr{\"{u}}ger and
                  Thomas Th{\"{u}}m and
                  Richard Bubel and
                  Sebastian Krieter and
                  Eric Bodden and
                  Ina Schaefer},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Using Abstract Contracts for Verifying Evolving Features and Their
                  Interactions},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {122--148},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_5},
  doi          = {10.1007/978-3-030-64354-6\_5},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/KnuppelKTBKBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MitschP20,
  author       = {Stefan Mitsch and
                  Andr{\'{e}} Platzer},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {A Retrospective on Developing Hybrid System Provers in the KeYmaera
                  Family - {A} Tale of Three Provers},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {21--64},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_2},
  doi          = {10.1007/978-3-030-64354-6\_2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/MitschP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Mostowski20,
  author       = {Wojciech Mostowski},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for
                  Java},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {177--203},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_7},
  doi          = {10.1007/978-3-030-64354-6\_7},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/Mostowski20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MulderHJ20,
  author       = {Henk Mulder and
                  Marieke Huisman and
                  Sebastiaan J. C. Joosten},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Improving Performance of the VerCors Program Verifier},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {65--82},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_3},
  doi          = {10.1007/978-3-030-64354-6\_3},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/MulderHJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/SchifflABB20,
  author       = {Jonas Schiffl and
                  Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Formal Analysis of Smart Contracts: Applying the KeY System},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {204--218},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_8},
  doi          = {10.1007/978-3-030-64354-6\_8},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/SchifflABB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Schmitt20,
  author       = {Peter H. Schmitt},
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {A Short History of KeY},
  booktitle    = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6\_1},
  doi          = {10.1007/978-3-030-64354-6\_1},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/Schmitt20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/lncs/12345,
  editor       = {Wolfgang Ahrendt and
                  Bernhard Beckert and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Mattias Ulbrich},
  title        = {Deductive Software Verification: Future Perspectives - Reflections
                  on the Occasion of 20 Years of KeY},
  series       = {Lecture Notes in Computer Science},
  volume       = {12345},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64354-6},
  doi          = {10.1007/978-3-030-64354-6},
  isbn         = {978-3-030-64353-9},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/12345.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.