BibTeX records: K. Rustan M. Leino

download as .bib file

@inproceedings{DBLP:conf/birthday/LeinoM18,
  author    = {K. Rustan M. Leino and
               Daniel Matichuk},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018poetzsch},
  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 17:54:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/LeinoM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Leino17,
  author    = {K. Rustan M. Leino},
  title     = {Accessible Software Verification with Dafny},
  journal   = {{IEEE} Software},
  volume    = {34},
  number    = {6},
  pages     = {94--97},
  year      = {2017},
  url       = {https://doi.org/10.1109/MS.2017.4121212},
  doi       = {10.1109/MS.2017.4121212},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/software/Leino17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Leino17,
  author    = {K. Rustan M. Leino},
  title     = {Modeling Concurrency in Dafny},
  booktitle = {Engineering Trustworthy Software Systems - Third International School,
               {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
  pages     = {115--142},
  year      = {2017},
  crossref  = {DBLP:conf/setss/2017},
  url       = {https://doi.org/10.1007/978-3-030-02928-9\_4},
  doi       = {10.1007/978-3-030-02928-9\_4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/setss/Leino17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BondHKLLPRST17,
  author    = {Barry Bond and
               Chris Hawblitzel and
               Manos Kapritsos and
               K. Rustan M. Leino and
               Jacob R. Lorch and
               Bryan Parno and
               Ashay Rane and
               Srinath T. V. Setty and
               Laure Thompson},
  title     = {Vale: Verifying High-Performance Cryptographic Assembly Code},
  booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
               BC, Canada, August 16-18, 2017},
  pages     = {917--934},
  year      = {2017},
  crossref  = {DBLP:conf/uss/2017},
  url       = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
  timestamp = {Fri, 01 Sep 2017 12:24:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/BondHKLLPRST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CertezeanuDELSW16,
  author    = {Razvan Certezeanu and
               Sophia Drossopoulou and
               Benjamin Egelund{-}M{\"{u}}ller and
               K. Rustan M. Leino and
               Sinduran Sivarajan and
               Mark J. Wheelhouse},
  title     = {Quicksort Revisited - Verifying Alternative Versions of Quicksort},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  pages     = {407--426},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016deboer},
  url       = {https://doi.org/10.1007/978-3-319-30734-3\_27},
  doi       = {10.1007/978-3-319-30734-3\_27},
  timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/CertezeanuDELSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeinoP16,
  author    = {K. Rustan M. Leino and
               Cl{\'{e}}ment Pit{-}Claudel},
  title     = {Trigger Selection Strategies to Stabilize Program Verifiers},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  pages     = {361--381},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-41528-4\_20},
  doi       = {10.1007/978-3-319-41528-4\_20},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/LeinoP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristakisL0W16,
  author    = {Maria Christakis and
               K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Valentin W{\"{u}}stholz},
  title     = {Integrated Environment for Diagnosing Verification Errors},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {424--441},
  year      = {2016},
  crossref  = {DBLP:conf/tacas/2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9\_25},
  doi       = {10.1007/978-3-662-49674-9\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ChristakisL0W16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2016,
  editor    = {Barbara Jobstmann and
               K. Rustan M. Leino},
  title     = {Verification, Model Checking, and Abstract Interpretation - 17th International
               Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
               2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9583},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5},
  doi       = {10.1007/978-3-662-49122-5},
  isbn      = {978-3-662-49121-8},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LeinoL15,
  author    = {K. Rustan M. Leino and
               Paqui Lucio},
  title     = {An Assertional Proof of the Stability and Correctness of Natural Mergesort},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {17},
  number    = {1},
  pages     = {6:1--6:22},
  year      = {2015},
  url       = {https://doi.org/10.1145/2814571},
  doi       = {10.1145/2814571},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/LeinoL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeinoW15,
  author    = {K. Rustan M. Leino and
               Valentin W{\"{u}}stholz},
  title     = {Fine-Grained Caching of Verification Results},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {380--397},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {https://doi.org/10.1007/978-3-319-21690-4\_22},
  doi       = {10.1007/978-3-319-21690-4\_22},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/LeinoW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AhmadiLN15,
  author    = {Reza Ahmadi and
               K. Rustan M. Leino and
               Jyrki Nummenmaa},
  title     = {Automatic verification of Dafny programs with traits},
  booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  pages     = {4:1--4:5},
  year      = {2015},
  crossref  = {DBLP:conf/ecoop/2015ftfjp},
  url       = {https://doi.org/10.1145/2786536.2786542},
  doi       = {10.1145/2786536.2786542},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/AhmadiLN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Leino15,
  author    = {K. Rustan M. Leino},
  title     = {Compiling Hilbert's epsilon operator},
  booktitle = {20th International Conferences on Logic for Programming, Artificial
               Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
               Fiji, November 24-28, 2015},
  pages     = {106--118},
  year      = {2015},
  crossref  = {DBLP:conf/lpar/2015s},
  url       = {http://www.easychair.org/publications/paper/255085},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Leino15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KoenigL16,
  author    = {Jason Koenig and
               K. Rustan M. Leino},
  title     = {Programming Language Features for Refinement},
  booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
               Oslo, Norway, 22nd June 2015},
  pages     = {87--106},
  year      = {2015},
  crossref  = {DBLP:journals/corr/DerrickBR16},
  url       = {https://doi.org/10.4204/EPTCS.209.7},
  doi       = {10.4204/EPTCS.209.7},
  timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KoenigL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeinoM14,
  author    = {K. Rustan M. Leino and
               Michal Moskal},
  title     = {Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {382--398},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_27},
  doi       = {10.1007/978-3-319-06410-9\_27},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/LeinoM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChristakisLS14,
  author    = {Maria Christakis and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Formalizing and Verifying a Modern Build Language},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  pages     = {643--657},
  year      = {2014},
  crossref  = {DBLP:conf/fm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_43},
  doi       = {10.1007/978-3-319-06410-9\_43},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/ChristakisLS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AminLR14,
  author    = {Nada Amin and
               K. Rustan M. Leino and
               Tiark Rompf},
  title     = {Computing with an {SMT} Solver},
  booktitle = {Tests and Proofs - 8th International Conference, {TAP} 2014, Held
               as Part of {STAF} 2014, York, UK, July 24-25, 2014. Proceedings},
  pages     = {20--35},
  year      = {2014},
  crossref  = {DBLP:conf/tap/2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3\_2},
  doi       = {10.1007/978-3-319-09099-3\_2},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/AminLR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LeinoW14,
  author    = {K. Rustan M. Leino and
               Valentin W{\"{u}}stholz},
  title     = {The Dafny Integrated Development Environment},
  booktitle = {Proceedings 1st Workshop on Formal Integrated Development Environment,
               {F-IDE} 2014, Grenoble, France, April 6, 2014},
  pages     = {3--15},
  year      = {2014},
  crossref  = {DBLP:journals/corr/DuboisGM14},
  url       = {https://doi.org/10.4204/EPTCS.149.2},
  doi       = {10.4204/EPTCS.149.2},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LeinoW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FlanaganLLNSS13,
  author    = {Cormac Flanagan and
               K. Rustan M. Leino and
               Mark Lillibridge and
               Greg Nelson and
               James B. Saxe and
               Raymie Stata},
  title     = {{PLDI} 2002: Extended static checking for Java},
  journal   = {{SIGPLAN} Notices},
  volume    = {48},
  number    = {4S},
  pages     = {22--33},
  year      = {2013},
  url       = {https://doi.org/10.1145/2502508.2502520},
  doi       = {10.1145/2502508.2502520},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/FlanaganLLNSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbdullaL13,
  author    = {Parosh Aziz Abdulla and
               K. Rustan M. Leino},
  title     = {Tools for software verification - Introduction to the special section
               from the seventeenth international conference on tools and algorithms
               for the construction and analysis of systems},
  journal   = {{STTT}},
  volume    = {15},
  number    = {2},
  pages     = {85--88},
  year      = {2013},
  url       = {https://doi.org/10.1007/s10009-013-0270-5},
  doi       = {10.1007/s10009-013-0270-5},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/AbdullaL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Leino04,
  author    = {K. Rustan M. Leino},
  title     = {Developing verified programs with dafny},
  booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  pages     = {1488--1490},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606754},
  doi       = {10.1109/ICSE.2013.6606754},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/Leino04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Leino13,
  author    = {K. Rustan M. Leino},
  title     = {Automating Theorem Proving with {SMT}},
  booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
               2013, Rennes, France, July 22-26, 2013. Proceedings},
  pages     = {2--16},
  year      = {2013},
  crossref  = {DBLP:conf/itp/2013},
  url       = {https://doi.org/10.1007/978-3-642-39634-2\_2},
  doi       = {10.1007/978-3-642-39634-2\_2},
  timestamp = {Wed, 25 Sep 2019 18:17:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/Leino13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HeuleLMS13,
  author    = {Stefan Heule and
               K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Alexander J. Summers},
  title     = {Abstract Read Permissions: Fractional Permissions without the Fractions},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
               Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  pages     = {315--334},
  year      = {2013},
  crossref  = {DBLP:conf/vmcai/2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9\_20},
  doi       = {10.1007/978-3-642-35873-9\_20},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/HeuleLMS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LeinoP13,
  author    = {K. Rustan M. Leino and
               Nadia Polikarpova},
  title     = {Verified Calculations},
  booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  pages     = {170--190},
  year      = {2013},
  crossref  = {DBLP:conf/vstte/2013},
  url       = {https://doi.org/10.1007/978-3-642-54108-7\_9},
  doi       = {10.1007/978-3-642-54108-7\_9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/LeinoP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HatcliffLLMP12,
  author    = {John Hatcliff and
               Gary T. Leavens and
               K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Matthew J. Parkinson},
  title     = {Behavioral interface specification languages},
  journal   = {{ACM} Comput. Surv.},
  volume    = {44},
  number    = {3},
  pages     = {16:1--16:58},
  year      = {2012},
  url       = {https://doi.org/10.1145/2187671.2187678},
  doi       = {10.1145/2187671.2187678},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/HatcliffLLMP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeinoY12,
  author    = {K. Rustan M. Leino and
               Kuat Yessenov},
  title     = {Stepwise refinement of heap-manipulating code in Chalice},
  journal   = {Formal Asp. Comput.},
  volume    = {24},
  number    = {4-6},
  pages     = {519--535},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00165-012-0254-3},
  doi       = {10.1007/s00165-012-0254-3},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/LeinoY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CatanoLR12,
  author    = {N{\'{e}}stor Cata{\~{n}}o and
               K. Rustan M. Leino and
               V{\'{\i}}ctor Rivera},
  title     = {The EventB2Dafny rodin plug-in},
  booktitle = {Proceedings of the Second International Workshop on Developing Tools
               as Plug-Ins, {TOPI} 2012, Zurich, Switzerland, June 3, 2012},
  pages     = {49--54},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012topi},
  url       = {https://doi.org/10.1109/TOPI.2012.6229810},
  doi       = {10.1109/TOPI.2012.6229810},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/CatanoLR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Leino12,
  author    = {K. Rustan M. Leino},
  title     = {Staged program development},
  booktitle = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '12, Tucson, AZ, USA, October 21-25, 2012},
  pages     = {3--4},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012s},
  url       = {https://doi.org/10.1145/2384716.2384719},
  doi       = {10.1145/2384716.2384719},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/Leino12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeinoM12,
  author    = {K. Rustan M. Leino and
               Aleksandar Milicevic},
  title     = {Program extrapolation with jennisys},
  booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
               part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages     = {411--430},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012},
  url       = {https://doi.org/10.1145/2384616.2384646},
  doi       = {10.1145/2384616.2384646},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/LeinoM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Leino12,
  author    = {K. Rustan M. Leino},
  title     = {Developing verified programs with Dafny},
  booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
               Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
               {USA}},
  pages     = {9--10},
  year      = {2012},
  crossref  = {DBLP:conf/sigada/2012},
  url       = {https://doi.org/10.1145/2402676.2402682},
  doi       = {10.1145/2402676.2402682},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigada/Leino12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Leino12a,
  author    = {K. Rustan M. Leino},
  title     = {Program proving using intermediate verification languages (IVLs) like
               boogie and why3},
  booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
               Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
               {USA}},
  pages     = {25--26},
  year      = {2012},
  crossref  = {DBLP:conf/sigada/2012},
  url       = {https://doi.org/10.1145/2402676.2402689},
  doi       = {10.1145/2402676.2402689},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigada/Leino12a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Leino12,
  author    = {K. Rustan M. Leino},
  title     = {Automating Induction with an {SMT} Solver},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  pages     = {315--331},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9\_21},
  doi       = {10.1007/978-3-642-27940-9\_21},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Leino12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Leino12,
  author    = {K. Rustan M. Leino},
  title     = {Developing Verified Programs with Dafny},
  booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
               Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
               Proceedings},
  pages     = {82},
  year      = {2012},
  crossref  = {DBLP:conf/vstte/2012},
  url       = {https://doi.org/10.1007/978-3-642-27705-4\_7},
  doi       = {10.1007/978-3-642-27705-4\_7},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/Leino12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/KoenigL12,
  author    = {Jason Koenig and
               K. Rustan M. Leino},
  title     = {Getting Started with Dafny: {A} Guide},
  booktitle = {Software Safety and Security - Tools for Analysis and Verification},
  pages     = {152--181},
  year      = {2012},
  crossref  = {DBLP:series/natosec/33},
  url       = {https://doi.org/10.3233/978-1-61499-028-4-152},
  doi       = {10.3233/978-1-61499-028-4-152},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/natosec/KoenigL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BarnettFLMSV11,
  author    = {Mike Barnett and
               Manuel F{\"{a}}hndrich and
               K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Wolfram Schulte and
               Herman Venter},
  title     = {Specification and verification: the Spec{\#} experience},
  journal   = {Commun. {ACM}},
  volume    = {54},
  number    = {6},
  pages     = {81--91},
  year      = {2011},
  url       = {https://doi.org/10.1145/1953122.1953145},
  doi       = {10.1145/1953122.1953145},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/BarnettFLMSV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HeuleL0S11,
  author    = {Stefan Heule and
               K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Alexander J. Summers},
  title     = {Fractional permissions without the fractions},
  booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
               Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
  pages     = {1:1--1:6},
  year      = {2011},
  crossref  = {DBLP:conf/ecoop/2011ftfjp},
  url       = {https://doi.org/10.1145/2076674.2076675},
  doi       = {10.1145/2076674.2076675},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/HeuleL0S11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
  author    = {Vladimir Klebanov and
               Peter M{\"{u}}ller and
               Natarajan Shankar and
               Gary T. Leavens and
               Valentin W{\"{u}}stholz and
               Eyad Alkassar and
               Rob Arthan and
               Derek Bronish and
               Rod Chapman and
               Ernie Cohen and
               Mark A. Hillebrand and
               Bart Jacobs and
               K. Rustan M. Leino and
               Rosemary Monahan and
               Frank Piessens and
               Nadia Polikarpova and
               Tom Ridge and
               Jan Smans and
               Stephan Tobies and
               Thomas Tuerk and
               Mattias Ulbrich and
               Benjamin Wei{\ss}},
  title     = {The 1st Verified Software Competition: Experience Report},
  booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
               Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  pages     = {154--168},
  year      = {2011},
  crossref  = {DBLP:conf/fm/2011},
  url       = {https://doi.org/10.1007/978-3-642-21437-0\_14},
  doi       = {10.1007/978-3-642-21437-0\_14},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/HerbertLQ11,
  author    = {Luke Herbert and
               K. Rustan M. Leino and
               Jose Quaresma},
  title     = {Using Dafny, an Automatic Program Verifier},
  booktitle = {Tools for Practical Software Verification, LASER, International Summer
               School 2011, Elba Island, Italy, Revised Tutorial Lectures},
  pages     = {156--181},
  year      = {2011},
  crossref  = {DBLP:conf/laser/2011},
  url       = {https://doi.org/10.1007/978-3-642-35746-6\_6},
  doi       = {10.1007/978-3-642-35746-6\_6},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/laser/HerbertLQ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Leino11,
  author    = {K. Rustan M. Leino},
  title     = {From Retrospective Verification to Forward-Looking Development},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {1},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5\_1},
  doi       = {10.1007/978-3-642-20398-5\_1},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/Leino11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GouesLM11,
  author    = {Claire {Le Goues} and
               K. Rustan M. Leino and
               Michal Moskal},
  title     = {The Boogie Verification Debugger (Tool Paper)},
  booktitle = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  pages     = {407--414},
  year      = {2011},
  crossref  = {DBLP:conf/sefm/2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6\_28},
  doi       = {10.1007/978-3-642-24690-6\_28},
  timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/GouesLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2011,
  editor    = {Parosh Aziz Abdulla and
               K. Rustan M. Leino},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6605},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9},
  doi       = {10.1007/978-3-642-19835-9},
  isbn      = {978-3-642-19834-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leino10,
  author    = {K. Rustan M. Leino},
  title     = {Learning to do program verification},
  journal   = {Commun. {ACM}},
  volume    = {53},
  number    = {6},
  pages     = {106},
  year      = {2010},
  url       = {https://doi.org/10.1145/1743546.1743573},
  doi       = {10.1145/1743546.1743573},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/Leino10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HoenickeLPSW10,
  author    = {Jochen Hoenicke and
               K. Rustan M. Leino and
               Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Doomed program points},
  journal   = {Formal Methods in System Design},
  volume    = {37},
  number    = {2-3},
  pages     = {171--199},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10703-010-0102-0},
  doi       = {10.1007/s10703-010-0102-0},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/HoenickeLPSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Leino10,
  author    = {K. Rustan M. Leino},
  title     = {Tools and Behavioral Abstraction: {A} Direction for Software Engineering},
  booktitle = {The Future of Software Engineering},
  pages     = {115--124},
  year      = {2010},
  crossref  = {DBLP:conf/birthday/2010meyer},
  url       = {https://doi.org/10.1007/978-3-642-15187-3\_7},
  doi       = {10.1007/978-3-642-15187-3\_7},
  timestamp = {Tue, 23 May 2017 01:06:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/Leino10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeinoMS10,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Jan Smans},
  title     = {Deadlock-Free Channels and Locks},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
               {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
               2010. Proceedings},
  pages     = {407--426},
  year      = {2010},
  crossref  = {DBLP:conf/esop/2010},
  url       = {https://doi.org/10.1007/978-3-642-11957-6\_22},
  doi       = {10.1007/978-3-642-11957-6\_22},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LeinoMS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Leino10,
  author    = {K. Rustan M. Leino},
  title     = {Dafny: An Automatic Program Verifier for Functional Correctness},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  pages     = {348--370},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  url       = {https://doi.org/10.1007/978-3-642-17511-4\_20},
  doi       = {10.1007/978-3-642-17511-4\_20},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Leino10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeinoR10,
  author    = {K. Rustan M. Leino and
               Philipp R{\"{u}}mmer},
  title     = {A Polymorphic Intermediate Verification Language: Design and Logical
               Encoding},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               16th International Conference, {TACAS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  pages     = {312--327},
  year      = {2010},
  crossref  = {DBLP:conf/tacas/2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2\_26},
  doi       = {10.1007/978-3-642-12002-2\_26},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/LeinoR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Leino10,
  author    = {K. Rustan M. Leino},
  title     = {Verifying Concurrent Programs with Chalice},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
               Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  pages     = {2},
  year      = {2010},
  crossref  = {DBLP:conf/vmcai/2010},
  url       = {https://doi.org/10.1007/978-3-642-11319-2\_2},
  doi       = {10.1007/978-3-642-11319-2\_2},
  timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Leino10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LeinoM10,
  author    = {K. Rustan M. Leino and
               Rosemary Monahan},
  title     = {Dafny Meets the Verification Benchmarks Challenge},
  booktitle = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  pages     = {112--126},
  year      = {2010},
  crossref  = {DBLP:conf/vstte/2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9\_8},
  doi       = {10.1007/978-3-642-15057-9\_8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/LeinoM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BarnettL10,
  author    = {Michael Barnett and
               K. Rustan M. Leino},
  title     = {To Goto Where No Statement Has Gone Before},
  booktitle = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  pages     = {157--168},
  year      = {2010},
  crossref  = {DBLP:conf/vstte/2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9\_11},
  doi       = {10.1007/978-3-642-15057-9\_11},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/BarnettL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeinoM09,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {A Basis for Verifying Multi-threaded Programs},
  booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
               {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
               Proceedings},
  pages     = {378--393},
  year      = {2009},
  crossref  = {DBLP:conf/esop/2009},
  url       = {https://doi.org/10.1007/978-3-642-00590-9\_27},
  doi       = {10.1007/978-3-642-00590-9\_27},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LeinoM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LeinoM09,
  author    = {K. Rustan M. Leino and
               Ronald Middelkoop},
  title     = {Proving Consistency of Pure Methods and Model Fields},
  booktitle = {Fundamental Approaches to Software Engineering, 12th International
               Conference, {FASE} 2009, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
               22-29, 2009. Proceedings},
  pages     = {231--245},
  year      = {2009},
  crossref  = {DBLP:conf/fase/2009},
  url       = {https://doi.org/10.1007/978-3-642-00593-0\_16},
  doi       = {10.1007/978-3-642-00593-0\_16},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/LeinoM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
  author    = {Jochen Hoenicke and
               K. Rustan M. Leino and
               Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {It's Doomed; We Can Prove It},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  pages     = {338--353},
  year      = {2009},
  crossref  = {DBLP:conf/fm/2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3\_22},
  doi       = {10.1007/978-3-642-05089-3\_22},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HoenickeLPSW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/LeinoMS09,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Jan Smans},
  title     = {Verification of Concurrent Programs with Chalice},
  booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
               Tutorial Lectures},
  pages     = {195--222},
  year      = {2009},
  crossref  = {DBLP:conf/fosad/2009},
  url       = {https://doi.org/10.1007/978-3-642-03829-7\_7},
  doi       = {10.1007/978-3-642-03829-7\_7},
  timestamp = {Sat, 19 Oct 2019 20:15:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fosad/LeinoMS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeinoM09,
  author    = {K. Rustan M. Leino and
               Rosemary Monahan},
  title     = {Reasoning about comprehensions with first-order {SMT} solvers},
  booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
               Honolulu, Hawaii, USA, March 9-12, 2009},
  pages     = {615--622},
  year      = {2009},
  crossref  = {DBLP:conf/sac/2009},
  url       = {https://doi.org/10.1145/1529282.1529411},
  doi       = {10.1145/1529282.1529411},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/LeinoM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JacobsPSLS08,
  author    = {Bart Jacobs and
               Frank Piessens and
               Jan Smans and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {A programming model for concurrent object-oriented programs},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {31},
  number    = {1},
  pages     = {1:1--1:48},
  year      = {2008},
  url       = {https://doi.org/10.1145/1452044.1452045},
  doi       = {10.1145/1452044.1452045},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/JacobsPSLS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Leino08,
  author    = {K. Rustan M. Leino},
  title     = {Position Statement: Ceaselessly-Analyzing Development Environments,
               One Direction for the Next 40 Years of Software Engineering},
  booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
               and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
               Turku, Finland},
  pages     = {11},
  year      = {2008},
  crossref  = {DBLP:conf/compsac/2008},
  url       = {https://doi.org/10.1109/COMPSAC.2008.242},
  doi       = {10.1109/COMPSAC.2008.242},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/Leino08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeinoM08,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {Verification of Equivalent-Results Methods},
  booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  pages     = {307--321},
  year      = {2008},
  crossref  = {DBLP:conf/esop/2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6\_24},
  doi       = {10.1007/978-3-540-78739-6\_24},
  timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LeinoM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/LeinoW08,
  author    = {K. Rustan M. Leino and
               Angela Wallenburg},
  title     = {Class-local object invariants},
  booktitle = {Proceeding of the 1st Annual India Software Engineering Conference,
               {ISEC} 2008, Hyderabad, India, February 19-22, 2008},
  pages     = {57--66},
  year      = {2008},
  crossref  = {DBLP:conf/indiaSE/2008},
  url       = {https://doi.org/10.1145/1342211.1342225},
  doi       = {10.1145/1342211.1342225},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/indiaSE/LeinoW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/LeinoM08,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {Using the Spec{\#} Language, Methodology, and Tools to Write Bug-Free
               Programs},
  booktitle = {Advanced Lectures on Software Engineering, {LASER} Summer School 2007/2008},
  pages     = {91--139},
  year      = {2008},
  crossref  = {DBLP:conf/laser/2008},
  url       = {https://doi.org/10.1007/978-3-642-13010-6\_4},
  doi       = {10.1007/978-3-642-13010-6\_4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/laser/LeinoM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BohmeLW08,
  author    = {Sascha B{\"{o}}hme and
               K. Rustan M. Leino and
               Burkhart Wolff},
  title     = {HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier},
  booktitle = {Theorem Proving in Higher Order Logics, 21st International Conference,
               TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
  pages     = {150--166},
  year      = {2008},
  crossref  = {DBLP:conf/tphol/2008},
  url       = {https://doi.org/10.1007/978-3-540-71067-7\_15},
  doi       = {10.1007/978-3-540-71067-7\_15},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/BohmeLW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LeinoMW08,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller and
               Angela Wallenburg},
  title     = {Flexible Immutability with Frozen Objects},
  booktitle = {Verified Software: Theories, Tools, Experiments, Second International
               Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  pages     = {192--208},
  year      = {2008},
  crossref  = {DBLP:conf/vstte/2008},
  url       = {https://doi.org/10.1007/978-3-540-87873-5\_17},
  doi       = {10.1007/978-3-540-87873-5\_17},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/LeinoMW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeavensLM07,
  author    = {Gary T. Leavens and
               K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {Specification and verification challenges for sequential object-oriented
               programs},
  journal   = {Formal Asp. Comput.},
  volume    = {19},
  number    = {2},
  pages     = {159--189},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00165-007-0026-7},
  doi       = {10.1007/s00165-007-0026-7},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/LeavensLM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Leino07,
  author    = {K. Rustan M. Leino},
  title     = {Designing Verification Conditions for Software},
  booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
               Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  pages     = {345},
  year      = {2007},
  crossref  = {DBLP:conf/cade/2007},
  url       = {https://doi.org/10.1007/978-3-540-73595-3\_23},
  doi       = {10.1007/978-3-540-73595-3\_23},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Leino07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeinoS07,
  author    = {K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Using History Invariants to Verify Observers},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
               {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
               and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
               - April 1, 2007, Proceedings},
  pages     = {80--94},
  year      = {2007},
  crossref  = {DBLP:conf/esop/2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6\_7},
  doi       = {10.1007/978-3-540-71316-6\_7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LeinoS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DarvasL07,
  author    = {{\'{A}}d{\'{a}}m Darvas and
               K. Rustan M. Leino},
  title     = {Practical Reasoning About Invocations and Implementations of Pure
               Methods},
  booktitle = {Fundamental Approaches to Software Engineering, 10th International
               Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
               on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
               March 24 - April 1, 2007, Proceedings},
  pages     = {336--351},
  year      = {2007},
  crossref  = {DBLP:conf/fase/2007},
  url       = {https://doi.org/10.1007/978-3-540-71289-3\_26},
  doi       = {10.1007/978-3-540-71289-3\_26},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/DarvasL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Leino07,
  author    = {K. Rustan M. Leino},
  title     = {Specifying and verifying software},
  booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages     = {2},
  year      = {2007},
  crossref  = {DBLP:conf/kbse/2007},
  url       = {https://doi.org/10.1145/1321631.1321633},
  doi       = {10.1145/1321631.1321633},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/Leino07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Leino07,
  author    = {K. Rustan M. Leino},
  title     = {Verifying Object-Oriented Software: Lessons and Challenges},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  pages     = {2},
  year      = {2007},
  crossref  = {DBLP:conf/tacas/2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1\_2},
  doi       = {10.1007/978-3-540-71209-1\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/Leino07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Leino06,
  author    = {K. Rustan M. Leino},
  title     = {Specifying and Verifying Programs in Spec{\#}},
  booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
               Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
               2006. Revised Papers},
  pages     = {20},
  year      = {2006},
  crossref  = {DBLP:conf/ershov/2006},
  url       = {https://doi.org/10.1007/978-3-540-70881-0\_3},
  doi       = {10.1007/978-3-540-70881-0\_3},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/Leino06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeinoM06,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {A Verification Methodology for Model Fields},
  booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
               {ESOP} 2006, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
               2006, Proceedings},
  pages     = {115--130},
  year      = {2006},
  crossref  = {DBLP:conf/esop/2006},
  url       = {https://doi.org/10.1007/11693024\_9},
  doi       = {10.1007/11693024\_9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LeinoM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/ChangRL05,
  author    = {Bor{-}Yuh Evan Chang and
               K. Rustan M. Leino},
  title     = {Inferring Object Invariants: Extended Abstract},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {131},
  pages     = {63--74},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.01.023},
  doi       = {10.1016/j.entcs.2005.01.023},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/ChangRL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Leino05,
  author    = {K. Rustan M. Leino},
  title     = {Efficient weakest preconditions},
  journal   = {Inf. Process. Lett.},
  volume    = {93},
  number    = {6},
  pages     = {281--288},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.ipl.2004.10.015},
  doi       = {10.1016/j.ipl.2004.10.015},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Leino05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeinoMS05,
  author    = {K. Rustan M. Leino and
               Todd D. Millstein and
               James B. Saxe},
  title     = {Generating error traces from verification-condition counterexamples},
  journal   = {Sci. Comput. Program.},
  volume    = {55},
  number    = {1-3},
  pages     = {209--226},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.scico.2004.05.016},
  doi       = {10.1016/j.scico.2004.05.016},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/LeinoMS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurdyCCEKLLP05,
  author    = {Lilian Burdy and
               Yoonsik Cheon and
               David R. Cok and
               Michael D. Ernst and
               Joseph R. Kiniry and
               Gary T. Leavens and
               K. Rustan M. Leino and
               Erik Poll},
  title     = {An overview of {JML} tools and applications},
  journal   = {{STTT}},
  volume    = {7},
  number    = {3},
  pages     = {212--232},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10009-004-0167-4},
  doi       = {10.1007/s10009-004-0167-4},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BurdyCCEKLLP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LeinoL05,
  author    = {K. Rustan M. Leino and
               Francesco Logozzo},
  title     = {Loop Invariants on Demand},
  booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
               2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
  pages     = {119--134},
  year      = {2005},
  crossref  = {DBLP:conf/aplas/2005},
  url       = {https://doi.org/10.1007/11575467\_9},
  doi       = {10.1007/11575467\_9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/LeinoL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Leino05,
  author    = {K. Rustan M. Leino},
  title     = {Program Verification and Programming Methodology},
  booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  pages     = {73},
  year      = {2005},
  crossref  = {DBLP:conf/asm/2005},
  url       = {http://www.univ-paris12.fr/lacl/dima/asm05/krml154.ps},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/Leino05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeinoM05,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {Modular Verification of Static Class Invariants},
  booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  pages     = {26--42},
  year      = {2005},
  crossref  = {DBLP:conf/fm/2005},
  url       = {https://doi.org/10.1007/11526841\_4},
  doi       = {10.1007/11526841\_4},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/LeinoM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BarnettCDJL05,
  author    = {Michael Barnett and
               Bor{-}Yuh Evan Chang and
               Robert DeLine and
               Bart Jacobs and
               K. Rustan M. Leino},
  title     = {Boogie: {A} Modular Reusable Verifier for Object-Oriented Programs},
  booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
               {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
               Lectures},
  pages     = {364--387},
  year      = {2005},
  crossref  = {DBLP:conf/fmco/2005},
  url       = {https://doi.org/10.1007/11804192\_17},
  doi       = {10.1007/11804192\_17},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/BarnettCDJL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BarnettL05,
  author    = {Michael Barnett and
               K. Rustan M. Leino},
  title     = {Weakest-precondition of unstructured programs},
  booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
               Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
               September 5-6, 2005},
  pages     = {82--87},
  year      = {2005},
  crossref  = {DBLP:conf/paste/2005},
  url       = {https://doi.org/10.1145/1108792.1108813},
  doi       = {10.1145/1108792.1108813},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/paste/BarnettL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacobsPLS05,
  author    = {Bart Jacobs and
               Frank Piessens and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Safe Concurrency for Aggregate Objects with Invariants},
  booktitle = {Third {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  pages     = {137--147},
  year      = {2005},
  crossref  = {DBLP:conf/sefm/2005},
  url       = {https://doi.org/10.1109/SEFM.2005.39},
  doi       = {10.1109/SEFM.2005.39},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/JacobsPLS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Leino05,
  author    = {K. Rustan M. Leino},
  title     = {Invariants on Demand},
  booktitle = {Third {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  pages     = {148--149},
  year      = {2005},
  crossref  = {DBLP:conf/sefm/2005},
  url       = {https://doi.org/10.1109/SEFM.2005.25},
  doi       = {10.1109/SEFM.2005.25},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/Leino05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeinoMO05,
  author    = {K. Rustan M. Leino and
               Madan Musuvathi and
               Xinming Ou},
  title     = {A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating
               Theorem Prover},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               11th International Conference, {TACAS} 2005, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2005,
               Edinburgh, UK, April 4-8, 2005, Proceedings},
  pages     = {334--348},
  year      = {2005},
  crossref  = {DBLP:conf/tacas/2005},
  url       = {https://doi.org/10.1007/978-3-540-31980-1\_22},
  doi       = {10.1007/978-3-540-31980-1\_22},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/LeinoMO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChangL05,
  author    = {Bor{-}Yuh Evan Chang and
               K. Rustan M. Leino},
  title     = {Abstract Interpretation with Alien Expressions and Heap Structures},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
               Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  pages     = {147--163},
  year      = {2005},
  crossref  = {DBLP:conf/vmcai/2005},
  url       = {https://doi.org/10.1007/978-3-540-30579-8\_11},
  doi       = {10.1007/978-3-540-30579-8\_11},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/ChangL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BarnettDFJLSV05,
  author    = {Michael Barnett and
               Robert DeLine and
               Manuel F{\"{a}}hndrich and
               Bart Jacobs and
               K. Rustan M. Leino and
               Wolfram Schulte and
               Herman Venter},
  title     = {The Spec{\#} Programming System: Challenges and Directions},
  booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
               2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
               2005, Revised Selected Papers and Discussions},
  pages     = {144--152},
  year      = {2005},
  crossref  = {DBLP:conf/vstte/2005},
  url       = {https://doi.org/10.1007/978-3-540-69149-5\_16},
  doi       = {10.1007/978-3-540-69149-5\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/BarnettDFJLSV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BurrowsL04,
  author    = {Michael Burrows and
               K. Rustan M. Leino},
  title     = {Finding stale-value errors in concurrent programs},
  journal   = {Concurrency - Practice and Experience},
  volume    = {16},
  number    = {12},
  pages     = {1161--1172},
  year      = {2004},
  url       = {https://doi.org/10.1002/cpe.866},
  doi       = {10.1002/cpe.866},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/BurrowsL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BarnettDFLS04,
  author    = {Michael Barnett and
               Robert DeLine and
               Manuel F{\"{a}}hndrich and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Verification of Object-Oriented Programs with Invariants},
  journal   = {Journal of Object Technology},
  volume    = {3},
  number    = {6},
  pages     = {27--56},
  year      = {2004},
  url       = {https://doi.org/10.5381/jot.2004.3.6.a2},
  doi       = {10.5381/jot.2004.3.6.a2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jot/BarnettDFLS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BarnettLS04,
  author    = {Mike Barnett and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {The Spec{\#} Programming System: An Overview},
  booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
               Devices, International Workshop, {CASSIS} 2004, Marseille, France,
               March 10-14, 2004, Revised Selected Papers},
  pages     = {49--69},
  year      = {2004},
  crossref  = {DBLP:conf/cassis/2004},
  url       = {https://doi.org/10.1007/978-3-540-30569-9\_3},
  doi       = {10.1007/978-3-540-30569-9\_3},
  timestamp = {Sat, 19 Oct 2019 20:08:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cassis/BarnettLS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LeinoM04,
  author    = {K. Rustan M. Leino and
               Peter M{\"{u}}ller},
  title     = {Object Invariants in Dynamic Contexts},
  booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
               Oslo, Norway, June 14-18, 2004, Proceedings},
  pages     = {491--516},
  year      = {2004},
  crossref  = {DBLP:conf/ecoop/2004},
  url       = {https://doi.org/10.1007/978-3-540-24851-4\_22},
  doi       = {10.1007/978-3-540-24851-4\_22},
  timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/LeinoM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Leino04,
  author    = {K. Rustan M. Leino},
  title     = {Challenges in Increasing Tool Support for Programming},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
               Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
               Papers},
  pages     = {35--35},
  year      = {2004},
  crossref  = {DBLP:conf/ictac/2004},
  url       = {https://doi.org/10.1007/978-3-540-31862-0\_3},
  doi       = {10.1007/978-3-540-31862-0\_3},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/Leino04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LeinoS04,
  author    = {K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Exception Safety for C{\#}},
  booktitle = {2nd International Conference on Software Engineering and Formal Methods
               {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  pages     = {218--227},
  year      = {2004},
  crossref  = {DBLP:conf/sefm/2004},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.14},
  doi       = {10.1109/SEFM.2004.14},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/LeinoS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0408045,
  author    = {Viktor Kuncak and
               K. Rustan M. Leino},
  title     = {On computing the fixpoint of a set of boolean equations},
  journal   = {CoRR},
  volume    = {cs.PL/0408045},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.PL/0408045},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-PL-0408045},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BurdyCCEKLLP03,
  author    = {Lilian Burdy and
               Yoonsik Cheon and
               David R. Cok and
               Michael D. Ernst and
               Joseph Kiniry and
               Gary T. Leavens and
               K. Rustan M. Leino and
               Erik Poll},
  title     = {An overview of {JML} tools and applications},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {80},
  pages     = {75--91},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)80810-7},
  doi       = {10.1016/S1571-0661(04)80810-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BurdyCCEKLLP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbadiL03,
  author    = {Mart{\'{\i}}n Abadi and
               K. Rustan M. Leino},
  title     = {A Logic of Object-Oriented Programs},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  pages     = {11--41},
  year      = {2003},
  crossref  = {DBLP:conf/birthday/2003manna},
  url       = {https://doi.org/10.1007/978-3-540-39910-0\_2},
  doi       = {10.1007/978-3-540-39910-0\_2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/AbadiL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FahndrichL03,
  author    = {Manuel F{\"{a}}hndrich and
               K. Rustan M. Leino},
  title     = {Declaring and checking non-null types in an object-oriented language},
  booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages and Applications, {OOPSLA} 2003, October
               26-30, 2003, Anaheim, CA, {USA}},
  pages     = {302--312},
  year      = {2003},
  crossref  = {DBLP:conf/oopsla/2003p},
  url       = {https://doi.org/10.1145/949305.949332},
  doi       = {10.1145/949305.949332},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/FahndrichL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Leino03,
  author    = {K. Rustan M. Leino},
  title     = {A {SAT} Characterization of Boolean-Program Correctness},
  booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  pages     = {104--120},
  year      = {2003},
  crossref  = {DBLP:conf/spin/2003},
  url       = {https://doi.org/10.1007/3-540-44829-2\_7},
  doi       = {10.1007/3-540-44829-2\_7},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Leino03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LeinoN02,
  author    = {K. Rustan M. Leino and
               Greg Nelson},
  title     = {Data abstraction and information hiding},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {24},
  number    = {5},
  pages     = {491--553},
  year      = {2002},
  url       = {https://doi.org/10.1145/570886.570888},
  doi       = {10.1145/570886.570888},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/LeinoN02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganLLNSS02,
  author    = {Cormac Flanagan and
               K. Rustan M. Leino and
               Mark Lillibridge and
               Greg Nelson and
               James B. Saxe and
               Raymie Stata},
  title     = {Extended Static Checking for Java},
  booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
               2002},
  pages     = {234--245},
  year      = {2002},
  crossref  = {DBLP:conf/pldi/2002},
  url       = {https://doi.org/10.1145/512529.512558},
  doi       = {10.1145/512529.512558},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/FlanaganLLNSS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeinoPZ02,
  author    = {K. Rustan M. Leino and
               Arnd Poetzsch{-}Heffter and
               Yunhong Zhou},
  title     = {Using Data Groups to Specify and Check Side Effects},
  booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
               2002},
  pages     = {246--257},
  year      = {2002},
  crossref  = {DBLP:conf/pldi/2002},
  url       = {https://doi.org/10.1145/512529.512559},
  doi       = {10.1145/512529.512559},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/LeinoPZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FlanaganJL01,
  author    = {Cormac Flanagan and
               Rajeev Joshi and
               K. Rustan M. Leino},
  title     = {Annotation inference for modular checkers},
  journal   = {Inf. Process. Lett.},
  volume    = {77},
  number    = {2-4},
  pages     = {97--108},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0020-0190(00)00196-4},
  doi       = {10.1016/S0020-0190(00)00196-4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/FlanaganJL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Leino01,
  author    = {K. Rustan M. Leino},
  title     = {Real estate of names},
  journal   = {Inf. Process. Lett.},
  volume    = {77},
  number    = {2-4},
  pages     = {169--171},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0020-0190(00)00198-8},
  doi       = {10.1016/S0020-0190(00)00198-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Leino01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Leino01,
  author    = {K. Rustan M. Leino},
  title     = {Extended Static Checking: {A} Ten-Year Perspective},
  booktitle = {Informatics - 10 Years Back. 10 Years Ahead},
  pages     = {157--175},
  year      = {2001},
  crossref  = {DBLP:conf/dagstuhl/2001},
  url       = {https://doi.org/10.1007/3-540-44577-3\_11},
  doi       = {10.1007/3-540-44577-3\_11},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/Leino01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FlanaganL01,
  author    = {Cormac Flanagan and
               K. Rustan M. Leino},
  title     = {Houdini, an Annotation Assistant for ESC/Java},
  booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
               Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
               2001, Proceedings},
  pages     = {500--517},
  year      = {2001},
  crossref  = {DBLP:conf/fm/2001},
  url       = {https://doi.org/10.1007/3-540-45251-6\_29},
  doi       = {10.1007/3-540-45251-6\_29},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/FlanaganL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Leino01,
  author    = {K. Rustan M. Leino},
  title     = {Applications of Extended Static Checking},
  booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
               July 16-18, 2001, Proceedings},
  pages     = {185--193},
  year      = {2001},
  crossref  = {DBLP:conf/sas/2001},
  url       = {https://doi.org/10.1007/3-540-47764-0\_11},
  doi       = {10.1007/3-540-47764-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/Leino01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JoshiL00,
  author    = {Rajeev Joshi and
               K. Rustan M. Leino},
  title     = {A semantic approach to secure information flow},
  journal   = {Sci. Comput. Program.},
  volume    = {37},
  number    = {1-3},
  pages     = {113--138},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0167-6423(99)00024-6},
  doi       = {10.1016/S0167-6423(99)00024-6},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JoshiL00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeavensRLPJ00,
  author    = {Gary T. Leavens and
               Clyde Ruby and
               K. Rustan M. Leino and
               Erik Poll and
               Bart Jacobs},
  title     = {{JML} (poster session): notations and tools supporting detailed design
               in Java},
  booktitle = {Object Oriented Programming Systems Languages and Applications Conference,
               {OOPSLA} 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum
               to the proceedings},
  pages     = {105--106},
  year      = {2000},
  crossref  = {DBLP:conf/oopsla/2000a},
  url       = {https://doi.org/10.1145/367845.367996},
  doi       = {10.1145/367845.367996},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/LeavensRLPJ00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Leino99,
  author    = {K. Rustan M. Leino},
  title     = {Computing Permutation Encodings},
  journal   = {Formal Asp. Comput.},
  volume    = {11},
  number    = {1},
  pages     = {56--74},
  year      = {1999},
  url       = {https://doi.org/10.1007/s001650050036},
  doi       = {10.1007/s001650050036},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Leino99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LeinoS99,
  author    = {K. Rustan M. Leino and
               Raymie Stata},
  title     = {Virginity: {A} Contribution to the Specification of Object-Oriented
               Software},
  journal   = {Inf. Process. Lett.},
  volume    = {70},
  number    = {2},
  pages     = {99--105},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0020-0190(99)00043-5},
  doi       = {10.1016/S0020-0190(99)00043-5},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/LeinoS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LeinoM99,
  author    = {K. Rustan M. Leino and
               Rajit Manohar},
  title     = {Joining Specification Statements},
  journal   = {Theor. Comput. Sci.},
  volume    = {216},
  number    = {1-2},
  pages     = {375--394},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0304-3975(98)00165-0},
  doi       = {10.1016/S0304-3975(98)00165-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/LeinoM99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/LeinoSS99,
  author    = {K. Rustan M. Leino and
               James B. Saxe and
               Raymie Stata},
  title     = {Checking Java Programs via Guarded Commands},
  booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  pages     = {110--111},
  year      = {1999},
  crossref  = {DBLP:conf/ecoopw/1999},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/LeinoSS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Leino98,
  author    = {K. Rustan M. Leino},
  title     = {Recursive Object Types in a Logic of Object-Oriented Programs},
  journal   = {Nord. J. Comput.},
  volume    = {5},
  number    = {4},
  pages     = {330--360},
  year      = {1998},
  timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/njc/Leino98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LeinoN98,
  author    = {K. Rustan M. Leino and
               Greg Nelson},
  title     = {An Extended Static Checker for Modular-3},
  booktitle = {Compiler Construction, 7th International Conference, CC'98, Held as
               Part of the European Joint Conferences on the Theory and Practice
               of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998,
               Proceedings},
  pages     = {302--305},
  year      = {1998},
  crossref  = {DBLP:conf/cc/1998},
  url       = {https://doi.org/10.1007/BFb0026441},
  doi       = {10.1007/BFb0026441},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/LeinoN98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Leino98,
  author    = {K. Rustan M. Leino},
  title     = {Recursive Object Types in a Logic of Object-Oriented Programs},
  booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium
               on Programming, Held as Part of the European Joint Conferences on
               the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March
               28 - April 4, 1998, Proceedings},
  pages     = {170--184},
  year      = {1998},
  crossref  = {DBLP:conf/esop/1998},
  url       = {https://doi.org/10.1007/BFb0053570},
  doi       = {10.1007/BFb0053570},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Leino98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LeinoJ98,
  author    = {K. Rustan M. Leino and
               Rajeev Joshi},
  title     = {A Semantic Approach to Secure Information Flow},
  booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
               15-17, 1998, Proceedings},
  pages     = {254--271},
  year      = {1998},
  crossref  = {DBLP:conf/mpc/1998},
  url       = {https://doi.org/10.1007/BFb0054294},
  doi       = {10.1007/BFb0054294},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/LeinoJ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Leino98,
  author    = {K. Rustan M. Leino},
  title     = {Data Groups: Specifying the Modification of Extended State},
  booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages {\&} Applications {(OOPSLA} '98),
               Vancouver, British Columbia, Canada, October 18-22, 1998},
  pages     = {144--153},
  year      = {1998},
  crossref  = {DBLP:conf/oopsla/1998},
  url       = {https://doi.org/10.1145/286936.286953},
  doi       = {10.1145/286936.286953},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/Leino98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Leino98,
  author    = {K. Rustan M. Leino},
  title     = {Extended static checking},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  pages     = {1--2},
  year      = {1998},
  crossref  = {DBLP:conf/procomet/1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/procomet/Leino98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AbadiL97,
  author    = {Mart{\'{\i}}n Abadi and
               K. Rustan M. Leino},
  title     = {A Logic of Object-Oriented Programs},
  booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
               Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  pages     = {682--696},
  year      = {1997},
  crossref  = {DBLP:conf/tapsoft/1997},
  url       = {https://doi.org/10.1007/BFb0030634},
  doi       = {10.1007/BFb0030634},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/AbadiL97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Leino95,
  author    = {K. Rustan M. Leino},
  title     = {A Method for Showing Progress},
  journal   = {Formal Asp. Comput.},
  volume    = {7},
  number    = {5},
  pages     = {576--580},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01211633},
  doi       = {10.1007/BF01211633},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/Leino95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ManoharL95,
  author    = {Rajit Manohar and
               K. Rustan M. Leino},
  title     = {Conditional Composition},
  journal   = {Formal Asp. Comput.},
  volume    = {7},
  number    = {6},
  pages     = {683--703},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01211001},
  doi       = {10.1007/BF01211001},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/ManoharL95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Leino95,
  author    = {K. Rustan M. Leino},
  title     = {Constructing a Program with Exceptions},
  journal   = {Inf. Process. Lett.},
  volume    = {53},
  number    = {3},
  pages     = {159--163},
  year      = {1995},
  url       = {https://doi.org/10.1016/0020-0190(94)00197-7},
  doi       = {10.1016/0020-0190(94)00197-7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Leino95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/LeinoS94,
  author    = {K. Rustan M. Leino and
               Jan L. A. van de Snepscheut},
  title     = {Semantics of Exceptions},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  pages     = {447--466},
  year      = {1994},
  crossref  = {DBLP:conf/procomet/1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/procomet/LeinoS94},
  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 17:54:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018poetzsch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2017,
  editor    = {Jonathan P. Bowen and
               Zhiming Liu and
               Zili Zhang},
  title     = {Engineering Trustworthy Software Systems - Third International School,
               {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {11174},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02928-9},
  doi       = {10.1007/978-3-030-02928-9},
  isbn      = {978-3-030-02927-2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/setss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2017,
  editor    = {Engin Kirda and
               Thomas Ristenpart},
  title     = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
               BC, Canada, August 16-18, 2017},
  publisher = {{USENIX} Association},
  year      = {2017},
  url       = {https://www.usenix.org/conference/usenixsecurity17},
  timestamp = {Fri, 01 Sep 2017 12:24:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Einar Broch Johnsen},
  title     = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30734-3},
  doi       = {10.1007/978-3-319-30734-3},
  isbn      = {978-3-319-30733-6},
  timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2016deboer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-1,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9779},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41528-4},
  doi       = {10.1007/978-3-319-41528-4},
  isbn      = {978-3-319-41527-7},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2016,
  editor    = {Marsha Chechik and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9636},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9},
  doi       = {10.1007/978-3-662-49674-9},
  isbn      = {978-3-662-49673-2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015-1,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9206},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21690-4},
  doi       = {10.1007/978-3-319-21690-4},
  isbn      = {978-3-319-21689-8},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2015-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015ftfjp,
  editor    = {Rosemary Monahan},
  title     = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786536},
  doi       = {10.1145/2786536},
  isbn      = {978-1-4503-3656-7},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2015ftfjp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015s,
  editor    = {Ansgar Fehnker and
               Annabelle McIver and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {20th International Conferences on Logic for Programming, Artificial
               Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
               Fiji, November 24-28, 2015},
  series    = {EPiC Series in Computing},
  volume    = {35},
  publisher = {EasyChair},
  year      = {2015},
  url       = {http://www.easychair.org/publications/volume/LPAR-20},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2015s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DerrickBR16,
  editor    = {John Derrick and
               Eerke A. Boiten and
               Steve Reeves},
  title     = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
               Oslo, Norway, 22nd June 2015},
  series    = {{EPTCS}},
  volume    = {209},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.209},
  doi       = {10.4204/EPTCS.209},
  timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DerrickBR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2014,
  editor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  title     = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9},
  doi       = {10.1007/978-3-319-06410-9},
  isbn      = {978-3-319-06409-3},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2014,
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Tests and Proofs - 8th International Conference, {TAP} 2014, Held
               as Part of {STAF} 2014, York, UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3},
  doi       = {10.1007/978-3-319-09099-3},
  isbn      = {978-3-319-09098-6},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuboisGM14,
  editor    = {Catherine Dubois and
               Dimitra Giannakopoulou and
               Dominique M{\'{e}}ry},
  title     = {Proceedings 1st Workshop on Formal Integrated Development Environment,
               {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series    = {{EPTCS}},
  volume    = {149},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.149},
  doi       = {10.4204/EPTCS.149},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DuboisGM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013,
  editor    = {David Notkin and
               Betty H. C. Cheng and
               Klaus Pohl},
  title     = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6596173/proceeding},
  isbn      = {978-1-4673-3076-3},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2013,
  editor    = {Sandrine Blazy and
               Christine Paulin{-}Mohring and
               David Pichardie},
  title     = {Interactive Theorem Proving - 4th International Conference, {ITP}
               2013, Rennes, France, July 22-26, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7998},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39634-2},
  doi       = {10.1007/978-3-642-39634-2},
  isbn      = {978-3-642-39633-5},
  timestamp = {Wed, 25 Sep 2019 18:17:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2013,
  editor    = {Roberto Giacobazzi and
               Josh Berdine and
               Isabella Mastroeni},
  title     = {Verification, Model Checking, and Abstract Interpretation, 14th International
               Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7737},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9},
  doi       = {10.1007/978-3-642-35873-9},
  isbn      = {978-3-642-35872-2},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2013,
  editor    = {Ernie Cohen and
               Andrey Rybalchenko},
  title     = {Verified Software: Theories, Tools, Experiments - 5th International
               Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8164},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54108-7},
  doi       = {10.1007/978-3-642-54108-7},
  isbn      = {978-3-642-54107-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012topi,
  editor    = {Diego Garbervetsky and
               Sunghun Kim},
  title     = {Proceedings of the Second International Workshop on Developing Tools
               as Plug-Ins, {TOPI} 2012, Zurich, Switzerland, June 3, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6220301/proceeding},
  isbn      = {978-1-4673-1820-4},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2012topi},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012s,
  editor    = {Gary T. Leavens},
  title     = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '12, Tucson, AZ, USA, October 21-25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384716},
  isbn      = {978-1-4503-1563-0},
  timestamp = {Fri, 19 Oct 2012 08:42:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
               part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384616},
  isbn      = {978-1-4503-1561-6},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigada/2012,
  editor    = {Ben Brosgol and
               Jeff Boleng and
               S. Tucker Taft},
  title     = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
               Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
               {USA}},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2402676},
  isbn      = {978-1-4503-1505-0},
  timestamp = {Wed, 05 Dec 2012 15:18:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigada/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7148},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2012,
  editor    = {Rajeev Joshi and
               Peter M{\"{u}}ller and
               Andreas Podelski},
  title     = {Verified Software: Theories, Tools, Experiments - 4th International
               Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7152},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27705-4},
  doi       = {10.1007/978-3-642-27705-4},
  isbn      = {978-3-642-27704-7},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/33,
  editor    = {Tobias Nipkow and
               Orna Grumberg and
               Benedikt Hauptmann},
  title     = {Software Safety and Security - Tools for Analysis and Verification},
  series    = {{NATO} Science for Peace and Security Series - {D:} Information and
               Communication Security},
  volume    = {33},
  publisher = {{IOS} Press},
  year      = {2012},
  url       = {http://booksonline.iospress.com/volume/software-safety-and-security},
  isbn      = {978-1-61499-027-7},
  timestamp = {Tue, 30 Sep 2014 10:17:29 +0200},
  biburl    = {https://dblp.org/rec/bib/series/natosec/33},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2011ftfjp,
  editor    = {Stephen N. Freund},
  title     = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
               Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2076674},
  doi       = {10.1145/2076674},
  isbn      = {978-1-4503-0893-9},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2011ftfjp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2011,
  editor    = {Michael J. Butler and
               Wolfram Schulte},
  title     = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
               Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6664},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21437-0},
  doi       = {10.1007/978-3-642-21437-0},
  isbn      = {978-3-642-21436-3},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2011,
  editor    = {Bertrand Meyer and
               Martin Nordio},
  title     = {Tools for Practical Software Verification, LASER, International Summer
               School 2011, Elba Island, Italy, Revised Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7682},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35746-6},
  doi       = {10.1007/978-3-642-35746-6},
  isbn      = {978-3-642-35745-9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/laser/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
  editor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6617},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5},
  doi       = {10.1007/978-3-642-20398-5},
  isbn      = {978-3-642-20397-8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
  editor    = {Gilles Barthe and
               Alberto Pardo and
               Gerardo Schneider},
  title     = {Software Engineering and Formal Methods - 9th International Conference,
               {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7041},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24690-6},
  doi       = {10.1007/978-3-642-24690-6},
  isbn      = {978-3-642-24689-0},
  timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2010meyer,
  editor    = {Sebastian Nanz},
  title     = {The Future of Software Engineering},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-15187-3},
  doi       = {10.1007/978-3-642-15187-3},
  isbn      = {978-3-642-15186-6},
  timestamp = {Tue, 23 May 2017 01:06:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2010meyer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2010,
  editor    = {Andrew D. Gordon},
  title     = {Programming Languages and Systems, 19th European Symposium on Programming,
               {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6012},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11957-6},
  doi       = {10.1007/978-3-642-11957-6},
  isbn      = {978-3-642-11956-9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2010,
  editor    = {Javier Esparza and
               Rupak Majumdar},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               16th International Conference, {TACAS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6015},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2},
  doi       = {10.1007/978-3-642-12002-2},
  isbn      = {978-3-642-12001-5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2010,
  editor    = {Gilles Barthe and
               Manuel V. Hermenegildo},
  title     = {Verification, Model Checking, and Abstract Interpretation, 11th International
               Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5944},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11319-2},
  doi       = {10.1007/978-3-642-11319-2},
  isbn      = {978-3-642-11318-5},
  timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2010,
  editor    = {Gary T. Leavens and
               Peter W. O'Hearn and
               Sriram K. Rajamani},
  title     = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6217},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9},
  doi       = {10.1007/978-3-642-15057-9},
  isbn      = {978-3-642-15056-2},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2009,
  editor    = {Giuseppe Castagna},
  title     = {Programming Languages and Systems, 18th European Symposium on Programming,
               {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5502},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00590-9},
  doi       = {10.1007/978-3-642-00590-9},
  isbn      = {978-3-642-00589-3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2009,
  editor    = {Marsha Chechik and
               Martin Wirsing},
  title     = {Fundamental Approaches to Software Engineering, 12th International
               Conference, {FASE} 2009, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
               22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5503},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00593-0},
  doi       = {10.1007/978-3-642-00593-0},
  isbn      = {978-3-642-00592-3},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3},
  doi       = {10.1007/978-3-642-05089-3},
  isbn      = {978-3-642-05088-6},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2009,
  editor    = {Alessandro Aldini and
               Gilles Barthe and
               Roberto Gorrieri},
  title     = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
               Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {5705},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03829-7},
  doi       = {10.1007/978-3-642-03829-7},
  isbn      = {978-3-642-03828-0},
  timestamp = {Sat, 19 Oct 2019 20:15:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fosad/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2009,
  editor    = {Sung Y. Shin and
               Sascha Ossowski},
  title     = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
               Honolulu, Hawaii, USA, March 9-12, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1529282},
  doi       = {10.1145/1529282},
  isbn      = {978-1-60558-166-8},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2008,
  title     = {Proceedings of the 32nd Annual {IEEE} International Computer Software
               and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
               Turku, Finland},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4591502/proceeding},
  isbn      = {978-0-7695-3262-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2008,
  editor    = {Sophia Drossopoulou},
  title     = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4960},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6},
  doi       = {10.1007/978-3-540-78739-6},
  isbn      = {978-3-540-78738-9},
  timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/indiaSE/2008,
  editor    = {Gautam Shroff and
               Pankaj Jalote and
               Sriram K. Rajamani},
  title     = {Proceeding of the 1st Annual India Software Engineering Conference,
               {ISEC} 2008, Hyderabad, India, February 19-22, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-59593-917-3},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/indiaSE/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2008,
  editor    = {Peter M{\"{u}}ller},
  title     = {Advanced Lectures on Software Engineering, {LASER} Summer School 2007/2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {6029},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13010-6},
  doi       = {10.1007/978-3-642-13010-6},
  isbn      = {978-3-642-13009-0},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/laser/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2008,
  editor    = {Otmane A{\"{\i}}t Mohamed and
               C{\'{e}}sar A. Mu{\~{n}}oz and
               Sofi{\`{e}}ne Tahar},
  title     = {Theorem Proving in Higher Order Logics, 21st International Conference,
               TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5170},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-71067-7},
  doi       = {10.1007/978-3-540-71067-7},
  isbn      = {978-3-540-71065-3},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2008,
  editor    = {Natarajan Shankar and
               Jim Woodcock},
  title     = {Verified Software: Theories, Tools, Experiments, Second International
               Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5295},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87873-5},
  doi       = {10.1007/978-3-540-87873-5},
  isbn      = {978-3-540-87872-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007,
  editor    = {Frank Pfenning},
  title     = {Automated Deduction - CADE-21, 21st International Conference on Automated
               Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4603},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73595-3},
  doi       = {10.1007/978-3-540-73595-3},
  isbn      = {978-3-540-73594-6},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2007,
  editor    = {Rocco {De Nicola}},
  title     = {Programming Languages and Systems, 16th European Symposium on Programming,
               {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
               and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
               - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6},
  doi       = {10.1007/978-3-540-71316-6},
  isbn      = {978-3-540-71314-2},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2007,
  editor    = {Matthew B. Dwyer and
               Ant{\'{o}}nia Lopes},
  title     = {Fundamental Approaches to Software Engineering, 10th International
               Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
               on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
               March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4422},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71289-3},
  doi       = {10.1007/978-3-540-71289-3},
  isbn      = {978-3-540-71288-6},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2007,
  editor    = {R. E. Kurt Stirewalt and
               Alexander Egyed and
               Bernd Fischer},
  title     = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1321631},
  doi       = {10.1145/1321631},
  isbn      = {978-1-59593-882-4},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2007,
  editor    = {Orna Grumberg and
               Michael Huth},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4424},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1},
  doi       = {10.1007/978-3-540-71209-1},
  isbn      = {978-3-540-71208-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2006,
  editor    = {Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics, 6th International Andrei Ershov
               Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
               2006. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4378},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-70881-0},
  doi       = {10.1007/978-3-540-70881-0},
  isbn      = {978-3-540-70880-3},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2006,
  editor    = {Peter Sestoft},
  title     = {Programming Languages and Systems, 15th European Symposium on Programming,
               {ESOP} 2006, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
               2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3924},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11693024},
  doi       = {10.1007/11693024},
  isbn      = {3-540-33095-X},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2005,
  editor    = {Kwangkeun Yi},
  title     = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
               2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3780},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11575467},
  doi       = {10.1007/11575467},
  isbn      = {3-540-29735-9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2005,
  title     = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  year      = {2005},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2005,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, 4th International Symposium,
               {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {4111},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11804192},
  doi       = {10.1007/11804192},
  isbn      = {3-540-36749-7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2005,
  editor    = {Michael D. Ernst and
               Thomas P. Jensen},
  title     = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
               Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
               September 5-6, 2005},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1108792},
  isbn      = {1-59593-239-9},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/paste/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2005,
  editor    = {Bernhard K. Aichernig and
               Bernhard Beckert},
  title     = {Third {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10529/proceeding},
  isbn      = {0-7695-2435-4},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2005,
  editor    = {Nicolas Halbwachs and
               Lenore D. Zuck},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               11th International Conference, {TACAS} 2005, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2005,
               Edinburgh, UK, April 4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3440},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107194},
  doi       = {10.1007/b107194},
  isbn      = {3-540-25333-5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2005,
  editor    = {Radhia Cousot},
  title     = {Verification, Model Checking, and Abstract Interpretation, 6th International
               Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3385},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b105073},
  doi       = {10.1007/b105073},
  isbn      = {3-540-24297-X},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2005,
  editor    = {Bertrand Meyer and
               Jim Woodcock},
  title     = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
               2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
               2005, Revised Selected Papers and Discussions},
  series    = {Lecture Notes in Computer Science},
  volume    = {4171},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69149-5},
  doi       = {10.1007/978-3-540-69149-5},
  isbn      = {978-3-540-69147-1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cassis/2004,
  editor    = {Gilles Barthe and
               Lilian Burdy and
               Marieke Huisman and
               Jean{-}Louis Lanet and
               Traian Muntean},
  title     = {Construction and Analysis of Safe, Secure, and Interoperable Smart
               Devices, International Workshop, {CASSIS} 2004, Marseille, France,
               March 10-14, 2004, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3362},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b105030},
  doi       = {10.1007/b105030},
  isbn      = {3-540-24287-2},
  timestamp = {Sat, 19 Oct 2019 20:08:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cassis/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2004,
  editor    = {Martin Odersky},
  title     = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
               Oslo, Norway, June 14-18, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3086},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98195},
  doi       = {10.1007/b98195},
  isbn      = {3-540-22159-X},
  timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2004,
  editor    = {Zhiming Liu and
               Keijiro Araki},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
               Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3407},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107116},
  doi       = {10.1007/b107116},
  isbn      = {3-540-25304-1},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2004,
  title     = {2nd International Conference on Software Engineering and Formal Methods
               {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/9328/proceeding},
  isbn      = {0-7695-2222-X},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2003manna,
  editor    = {Nachum Dershowitz},
  title     = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2772},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12001},
  doi       = {10.1007/b12001},
  isbn      = {3-540-21002-4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2003manna},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2003p,
  editor    = {Ron Crocker and
               Guy L. Steele Jr.},
  title     = {Proceedings of the 2003 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages and Applications, {OOPSLA} 2003, October
               26-30, 2003, Anaheim, CA, {USA}},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-712-5},
  timestamp = {Mon, 02 Feb 2004 12:55:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2003p},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44829-2},
  doi       = {10.1007/3-540-44829-2},
  isbn      = {3-540-40117-2},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2002,
  editor    = {Jens Knoop and
               Laurie J. Hendren},
  title     = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
               2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=512529},
  isbn      = {1-58113-463-0},
  timestamp = {Mon, 21 May 2012 16:19:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2001,
  editor    = {Reinhard Wilhelm},
  title     = {Informatics - 10 Years Back. 10 Years Ahead},
  series    = {Lecture Notes in Computer Science},
  volume    = {2000},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44577-3},
  doi       = {10.1007/3-540-44577-3},
  isbn      = {3-540-41635-8},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2001,
  editor    = {Jos{\'{e}} Nuno Oliveira and
               Pamela Zave},
  title     = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
               Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2021},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45251-6},
  doi       = {10.1007/3-540-45251-6},
  isbn      = {3-540-41791-5},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2001,
  editor    = {Patrick Cousot},
  title     = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
               July 16-18, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2126},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-47764-0},
  doi       = {10.1007/3-540-47764-0},
  isbn      = {3-540-42314-1},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2000a,
  editor    = {James Haungs},
  title     = {Object Oriented Programming Systems Languages and Applications Conference,
               {OOPSLA} 2000, Minneapolis, MN, USA, October 15-19, 2000, Addendum
               to the proceedings},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=367845},
  isbn      = {1-58113-307-3},
  timestamp = {Mon, 13 May 2013 10:40:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2000a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoopw/1999,
  editor    = {Ana M. D. Moreira and
               Serge Demeyer},
  title     = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1743},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46589-8},
  doi       = {10.1007/3-540-46589-8},
  isbn      = {3-540-66954-X},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/1998,
  editor    = {Kai Koskimies},
  title     = {Compiler Construction, 7th International Conference, CC'98, Held as
               Part of the European Joint Conferences on the Theory and Practice
               of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1383},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0026418},
  doi       = {10.1007/BFb0026418},
  isbn      = {3-540-64304-4},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1998,
  editor    = {Chris Hankin},
  title     = {Programming Languages and Systems - ESOP'98, 7th European Symposium
               on Programming, Held as Part of the European Joint Conferences on
               the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March
               28 - April 4, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1381},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053558},
  doi       = {10.1007/BFb0053558},
  isbn      = {3-540-64302-8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1998,
  editor    = {Johan Jeuring},
  title     = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
               15-17, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1422},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054279},
  doi       = {10.1007/BFb0054279},
  isbn      = {3-540-64591-8},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/1998,
  editor    = {Bj{\o}rn N. Freeman{-}Benson and
               Craig Chambers},
  title     = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming Systems, Languages {\&} Applications {(OOPSLA} '98),
               Vancouver, British Columbia, Canada, October 18-22, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=286936},
  isbn      = {1-58113-005-8},
  timestamp = {Tue, 11 Jun 2013 10:03:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  isbn      = {0-412-83760-9},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/procomet/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1997,
  editor    = {Michel Bidoit and
               Max Dauchet},
  title     = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
               Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1214},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0030581},
  doi       = {10.1007/BFb0030581},
  isbn      = {3-540-62781-2},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/procomet/1994,
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  publisher = {North-Holland},
  year      = {1994},
  isbn      = {0-444-82020-5},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/procomet/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics