Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Peter Müller 0001
@article{DBLP:journals/fac/BugariuTM23, author = {Alexandra Bugariu and Arshavir Ter{-}Gabrielyan and Peter M{\"{u}}ller}, title = {Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)}, journal = {Formal Aspects Comput.}, volume = {35}, number = {2}, pages = {7:1--7:27}, year = {2023}, url = {https://doi.org/10.1145/3571748}, doi = {10.1145/3571748}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BugariuTM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DardinierPM23, author = {Thibault Dardinier and Gaurav Parthasarathy and Peter M{\"{u}}ller}, title = {Verification-Preserving Inlining in Automatic Separation Logic Verifiers}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA1}}, pages = {789--818}, year = {2023}, url = {https://doi.org/10.1145/3586054}, doi = {10.1145/3586054}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/DardinierPM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FialaI0PS23, author = {Jon{\'{a}}s Fiala and Shachar Itzhaky and Peter M{\"{u}}ller and Nadia Polikarpova and Ilya Sergey}, title = {Leveraging Rust Types for Program Synthesis}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{PLDI}}, pages = {1414--1437}, year = {2023}, url = {https://doi.org/10.1145/3591278}, doi = {10.1145/3591278}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/FialaI0PS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/EilersD023, author = {Marco Eilers and Thibault Dardinier and Peter M{\"{u}}ller}, title = {CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{PLDI}}, pages = {1682--1707}, year = {2023}, url = {https://doi.org/10.1145/3591289}, doi = {10.1145/3591289}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/EilersD023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ArquintSM023, author = {Linard Arquint and Malte Schwerhoff and Vaibhav Mehta and Peter M{\"{u}}ller}, editor = {Weizhi Meng and Christian Damsgaard Jensen and Cas Cremers and Engin Kirda}, title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations}, booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2023, Copenhagen, Denmark, November 26-30, 2023}, pages = {1377--1391}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3576915.3623105}, doi = {10.1145/3576915.3623105}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ArquintSM023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/ArquintWLSSWBM23, author = {Linard Arquint and Felix A. Wolf and Joseph Lallemand and Ralf Sasse and Christoph Sprenger and Sven N. Wiesner and David A. Basin and Peter M{\"{u}}ller}, title = {Sound Verification of Security Protocols: From Design to Interoperable Implementations}, booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco, CA, USA, May 21-25, 2023}, pages = {1077--1093}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/SP46215.2023.10179325}, doi = {10.1109/SP46215.2023.10179325}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sp/ArquintWLSSWBM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-10037, author = {Thibault Dardinier and Peter M{\"{u}}ller}, title = {Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)}, journal = {CoRR}, volume = {abs/2301.10037}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.10037}, doi = {10.48550/ARXIV.2301.10037}, eprinttype = {arXiv}, eprint = {2301.10037}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-10037.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-14452, author = {Aurel B{\'{\i}}l{\'{y}} and Jo{\~{a}}o C. Pereira and Jan Sch{\"{a}}r and Peter M{\"{u}}ller}, title = {Refinement Proofs in Rust Using Ghost Locks}, journal = {CoRR}, volume = {abs/2311.14452}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.14452}, doi = {10.48550/ARXIV.2311.14452}, eprinttype = {arXiv}, eprint = {2311.14452}, timestamp = {Thu, 30 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-14452.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/GurfinkelMM0B23, author = {Arie Gurfinkel and Isabella Mastroeni and Antoine Min{\'{e}} and Peter M{\"{u}}ller and Anna Becchi}, title = {Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)}, journal = {Dagstuhl Reports}, volume = {13}, number = {7}, pages = {66--95}, year = {2023}, url = {https://doi.org/10.4230/DagRep.13.7.66}, doi = {10.4230/DAGREP.13.7.66}, timestamp = {Thu, 14 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GurfinkelMM0B23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/isc/Chuat22, author = {Laurent Chuat and Markus Legner and David A. Basin and David Hausheer and Samuel Hitz and Peter M{\"{u}}ller and Adrian Perrig}, title = {The Complete Guide to {SCION} - From Design Principles to Formal Verification}, series = {Information Security and Cryptography}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-05288-0}, doi = {10.1007/978-3-031-05288-0}, isbn = {978-3-031-05287-3}, timestamp = {Wed, 25 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/isc/Chuat22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/WolfSM22, author = {Felix A. Wolf and Malte Schwerhoff and Peter M{\"{u}}ller}, title = {Concise outlines for a complex logic: a proof outline checker for TaDA}, journal = {Formal Methods Syst. Des.}, volume = {61}, number = {1}, pages = {110--136}, year = {2022}, url = {https://doi.org/10.1007/s10703-023-00427-w}, doi = {10.1007/S10703-023-00427-W}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/WolfSM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DardinierMS22, author = {Thibault Dardinier and Peter M{\"{u}}ller and Alexander J. Summers}, title = {Fractional resources in unbounded separation logic}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{OOPSLA2}}, pages = {1066--1092}, year = {2022}, url = {https://doi.org/10.1145/3563326}, doi = {10.1145/3563326}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DardinierMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DardinierPWMS22, author = {Thibault Dardinier and Gaurav Parthasarathy and No{\'{e}} Weeks and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Sharon Shoham and Yakir Vizel}, title = {Sound Automation of Magic Wands}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13372}, pages = {130--151}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13188-2\_7}, doi = {10.1007/978-3-031-13188-2\_7}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/DardinierPWMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/AstrauskasBFGMM22, author = {Vytautas Astrauskas and Aurel B{\'{\i}}l{\'{y}} and Jon{\'{a}}s Fiala and Zachary Grannan and Christoph Matheja and Peter M{\"{u}}ller and Federico Poli and Alexander J. Summers}, editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez}, title = {The Prusti Project: Formal Verification for Rust}, booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13260}, pages = {88--108}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06773-0\_5}, doi = {10.1007/978-3-031-06773-0\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/AstrauskasBFGMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-11325, author = {Thibault Dardinier and Gaurav Parthasarathy and No{\'{e}} Weeks and Alexander J. Summers and Peter M{\"{u}}ller}, title = {Sound Automation of Magic Wands (extended version)}, journal = {CoRR}, volume = {abs/2205.11325}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.11325}, doi = {10.48550/ARXIV.2205.11325}, eprinttype = {arXiv}, eprint = {2205.11325}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-11325.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-10456, author = {Thibault Dardinier and Gaurav Parthasarathy and Peter M{\"{u}}ller}, title = {Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version)}, journal = {CoRR}, volume = {abs/2208.10456}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.10456}, doi = {10.48550/ARXIV.2208.10456}, eprinttype = {arXiv}, eprint = {2208.10456}, timestamp = {Mon, 29 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-10456.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-09857, author = {Aurel B{\'{\i}}l{\'{y}} and Jonas Hansen and Peter M{\"{u}}ller and Alexander J. Summers}, title = {Compositional Reasoning for Side-effectful Iterators and Iterator Adapters}, journal = {CoRR}, volume = {abs/2210.09857}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.09857}, doi = {10.48550/ARXIV.2210.09857}, eprinttype = {arXiv}, eprint = {2210.09857}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-09857.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-08459, author = {Marco Eilers and Thibault Dardinier and Peter M{\"{u}}ller}, title = {CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity}, journal = {CoRR}, volume = {abs/2211.08459}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.08459}, doi = {10.48550/ARXIV.2211.08459}, eprinttype = {arXiv}, eprint = {2211.08459}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-08459.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-02626, author = {Linard Arquint and Malte Schwerhoff and Vaibhav Mehta and Peter M{\"{u}}ller}, title = {A Generic Methodology for the Modular Verification of Security Protocol Implementations}, journal = {CoRR}, volume = {abs/2212.02626}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.02626}, doi = {10.48550/ARXIV.2212.02626}, eprinttype = {arXiv}, eprint = {2212.02626}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-02626.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-04171, author = {Linard Arquint and Felix A. Wolf and Joseph Lallemand and Ralf Sasse and Christoph Sprenger and Sven N. Wiesner and David A. Basin and Peter M{\"{u}}ller}, title = {Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)}, journal = {CoRR}, volume = {abs/2212.04171}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.04171}, doi = {10.48550/ARXIV.2212.04171}, eprinttype = {arXiv}, eprint = {2212.04171}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-04171.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BramEMSS21, author = {Christian Br{\"{a}}m and Marco Eilers and Peter M{\"{u}}ller and Robin Sierra and Alexander J. Summers}, title = {Rich specifications for Ethereum smart contract verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{OOPSLA}}, pages = {1--30}, year = {2021}, url = {https://doi.org/10.1145/3485523}, doi = {10.1145/3485523}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BramEMSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WolffBMMS21, author = {Fabian Wolff and Aurel B{\'{\i}}l{\'{y}} and Christoph Matheja and Peter M{\"{u}}ller and Alexander J. Summers}, title = {Modular specification and verification of closures in Rust}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{OOPSLA}}, pages = {1--29}, year = {2021}, url = {https://doi.org/10.1145/3485522}, doi = {10.1145/3485522}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WolffBMMS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/DrossFHMM21, author = {Claire Dross and Carlo A. Furia and Marieke Huisman and Rosemary Monahan and Peter M{\"{u}}ller}, title = {VerifyThis 2019: a program verification competition}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {6}, pages = {883--893}, year = {2021}, url = {https://doi.org/10.1007/s10009-021-00619-x}, doi = {10.1007/S10009-021-00619-X}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/DrossFHMM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/Muller21, author = {Peter M{\"{u}}ller}, title = {Introduction to the Special Section on {ESOP} 2020}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {43}, number = {4}, pages = {13:1}, year = {2021}, url = {https://doi.org/10.1145/3484490}, doi = {10.1145/3484490}, timestamp = {Tue, 07 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/Muller21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/WolfACOPM21, author = {Felix A. Wolf and Linard Arquint and Martin Clochard and Wytse Oortwijn and Jo{\~{a}}o Carlos Pereira and Peter M{\"{u}}ller}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Gobra: Modular Specification and Verification of Go Programs}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {367--379}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_17}, doi = {10.1007/978-3-030-81685-8\_17}, timestamp = {Sat, 18 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/WolfACOPM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ParthasarathyMS20, author = {Gaurav Parthasarathy and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Formally Validating a Practical Verification Condition Generator}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, pages = {704--727}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9\_33}, doi = {10.1007/978-3-030-81688-9\_33}, timestamp = {Fri, 23 Jul 2021 16:41:31 +0200}, biburl = {https://dblp.org/rec/conf/cav/ParthasarathyMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/EilersMM21, author = {Marco Eilers and Severin Meier and Peter M{\"{u}}ller}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {718--741}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_34}, doi = {10.1007/978-3-030-81685-8\_34}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/EilersMM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BugariuTM21, author = {Alexandra Bugariu and Arshavir Ter{-}Gabrielyan and Peter M{\"{u}}ller}, editor = {Marieke Huisman and Corina S. Pasareanu and Naijun Zhan}, title = {Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers}, booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual Event, November 20-26, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13047}, pages = {273--291}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-90870-6\_15}, doi = {10.1007/978-3-030-90870-6\_15}, timestamp = {Thu, 11 Nov 2021 16:19:19 +0100}, biburl = {https://dblp.org/rec/conf/fm/BugariuTM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/WolfSM21, author = {Felix A. Wolf and Malte Schwerhoff and Peter M{\"{u}}ller}, editor = {Marieke Huisman and Corina S. Pasareanu and Naijun Zhan}, title = {Concise Outlines for a Complex Logic: {A} Proof Outline Checker for TaDA}, booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual Event, November 20-26, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13047}, pages = {407--426}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-90870-6\_22}, doi = {10.1007/978-3-030-90870-6\_22}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/WolfSM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mc/21/0001S21, author = {Peter M{\"{u}}ller and Natarajan Shankar}, editor = {Cliff B. Jones and Jayadev Misra}, title = {The First Fifteen Years of the Verified Software Project}, booktitle = {Theories of Programming: The Life and Works of Tony Hoare}, series = {{ACM} Books}, volume = {39}, pages = {93--124}, publisher = {{ACM} / Morgan {\&} Claypool}, year = {2021}, url = {https://doi.org/10.1145/3477355.3477362}, doi = {10.1145/3477355.3477362}, timestamp = {Fri, 18 Aug 2023 18:15:50 +0200}, biburl = {https://dblp.org/rec/books/mc/21/0001S21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-10274, author = {Christian Br{\"{a}}m and Marco Eilers and Peter M{\"{u}}ller and Robin Sierra and Alexander J. Summers}, title = {Modular Verification of Collaborating Smart Contracts}, journal = {CoRR}, volume = {abs/2104.10274}, year = {2021}, url = {https://arxiv.org/abs/2104.10274}, eprinttype = {arXiv}, eprint = {2104.10274}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-10274.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-04385, author = {Alexandra Bugariu and Arshavir Ter{-}Gabrielyan and Peter M{\"{u}}ller}, title = {Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers}, journal = {CoRR}, volume = {abs/2105.04385}, year = {2021}, url = {https://arxiv.org/abs/2105.04385}, eprinttype = {arXiv}, eprint = {2105.04385}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-04385.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-13840, author = {Felix A. Wolf and Linard Arquint and Martin Clochard and Wytse Oortwijn and Jo{\~{a}}o Carlos Pereira and Peter M{\"{u}}ller}, title = {Gobra: Modular Specification and Verification of Go Programs (extended version)}, journal = {CoRR}, volume = {abs/2105.13840}, year = {2021}, url = {https://arxiv.org/abs/2105.13840}, eprinttype = {arXiv}, eprint = {2105.13840}, timestamp = {Sat, 18 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-13840.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-14381, author = {Gaurav Parthasarathy and Peter M{\"{u}}ller and Alexander J. Summers}, title = {Formally Validating a Practical Verification Condition Generator (extended version)}, journal = {CoRR}, volume = {abs/2105.14381}, year = {2021}, url = {https://arxiv.org/abs/2105.14381}, eprinttype = {arXiv}, eprint = {2105.14381}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-14381.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-13559, author = {Aurel B{\'{\i}}l{\'{y}} and Christoph Matheja and Peter M{\"{u}}ller}, title = {Flexible Refinement Proofs in Separation Logic}, journal = {CoRR}, volume = {abs/2110.13559}, year = {2021}, url = {https://arxiv.org/abs/2110.13559}, eprinttype = {arXiv}, eprint = {2110.13559}, timestamp = {Thu, 28 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-13559.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AstrauskasMP0S20, author = {Vytautas Astrauskas and Christoph Matheja and Federico Poli and Peter M{\"{u}}ller and Alexander J. Summers}, title = {How do programmers use unsafe rust?}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {136:1--136:27}, year = {2020}, url = {https://doi.org/10.1145/3428204}, doi = {10.1145/3428204}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/AstrauskasMP0S20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0001KEW0CB20, author = {Christoph Sprenger and Tobias Klenze and Marco Eilers and Felix A. Wolf and Peter M{\"{u}}ller and Martin Clochard and David A. Basin}, title = {Igloo: soundly linking compositional refinement and separation logic for distributed system verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {152:1--152:31}, year = {2020}, url = {https://doi.org/10.1145/3428220}, doi = {10.1145/3428220}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/0001KEW0CB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/SummersM20, author = {Alexander J. Summers and Peter M{\"{u}}ller}, title = {Automating deductive verification for weak-memory programs (extended version)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {22}, number = {6}, pages = {709--728}, year = {2020}, url = {https://doi.org/10.1007/s10009-020-00559-y}, doi = {10.1007/S10009-020-00559-Y}, timestamp = {Tue, 17 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/SummersM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/EilersMH20, author = {Marco Eilers and Peter M{\"{u}}ller and Samuel Hitz}, title = {Modular Product Programs}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {42}, number = {1}, pages = {3:1--3:37}, year = {2020}, url = {https://doi.org/10.1145/3324783}, doi = {10.1145/3324783}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/EilersMH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Bugariu020, author = {Alexandra Bugariu and Peter M{\"{u}}ller}, editor = {Gregg Rothermel and Doo{-}Hwan Bae}, title = {Automatically testing string solvers}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020}, pages = {1459--1470}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3377811.3380398}, doi = {10.1145/3377811.3380398}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/Bugariu020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esop/2020, editor = {Peter M{\"{u}}ller}, title = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44914-8}, doi = {10.1007/978-3-030-44914-8}, isbn = {978-3-030-44913-1}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-13610, author = {Claire Dross and Carlo A. Furia and Marieke Huisman and Rosemary Monahan and Peter M{\"{u}}ller}, title = {VerifyThis 2019: {A} Program Verification Competition (Extended Report)}, journal = {CoRR}, volume = {abs/2008.13610}, year = {2020}, url = {https://arxiv.org/abs/2008.13610}, eprinttype = {arXiv}, eprint = {2008.13610}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-13610.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-04749, author = {Christoph Sprenger and Tobias Klenze and Marco Eilers and Felix A. Wolf and Peter M{\"{u}}ller and Martin Clochard and David A. Basin}, title = {Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification}, journal = {CoRR}, volume = {abs/2010.04749}, year = {2020}, url = {https://arxiv.org/abs/2010.04749}, eprinttype = {arXiv}, eprint = {2010.04749}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-04749.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-07080, author = {Felix A. Wolf and Malte Schwerhoff and Peter M{\"{u}}ller}, title = {Concise Outlines for a Complex Logic: {A} Proof Outline Checker for TaDA (Full Paper)}, journal = {CoRR}, volume = {abs/2010.07080}, year = {2020}, url = {https://arxiv.org/abs/2010.07080}, eprinttype = {arXiv}, eprint = {2010.07080}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-07080.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Ter-GabrielyanS19, author = {Arshavir Ter{-}Gabrielyan and Alexander J. Summers and Peter M{\"{u}}ller}, title = {Modular verification of heap reachability properties in separation logic}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{OOPSLA}}, pages = {121:1--121:28}, year = {2019}, url = {https://doi.org/10.1145/3360547}, doi = {10.1145/3360547}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Ter-GabrielyanS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Astrauskas0PS19, author = {Vytautas Astrauskas and Peter M{\"{u}}ller and Federico Poli and Alexander J. Summers}, title = {Leveraging rust types for modular specification and verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{OOPSLA}}, pages = {147:1--147:30}, year = {2019}, url = {https://doi.org/10.1145/3360573}, doi = {10.1145/3360573}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/Astrauskas0PS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BeckerMS19, author = {Nils Becker and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Tom{\'{a}}s Vojnar and Lijun Zhang}, title = {The Axiom Profiler: Understanding and Debugging {SMT} Quantifier Instantiations}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, {TACAS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11427}, pages = {99--116}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17462-0\_6}, doi = {10.1007/978-3-030-17462-0\_6}, timestamp = {Fri, 31 Jan 2020 21:32:25 +0100}, biburl = {https://dblp.org/rec/conf/tacas/BeckerMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-05799, author = {Arshavir Ter{-}Gabrielyan and Alexander J. Summers and Peter M{\"{u}}ller}, title = {Modular Verification of Heap Reachability Properties in Separation Logic}, journal = {CoRR}, volume = {abs/1908.05799}, year = {2019}, url = {http://arxiv.org/abs/1908.05799}, eprinttype = {arXiv}, eprint = {1908.05799}, timestamp = {Mon, 19 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-05799.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Muller18, author = {Peter M{\"{u}}ller}, editor = {Peter M{\"{u}}ller and Ina Schaefer}, title = {The Binomial Heap Verification Challenge in Viper}, booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday}, pages = {203--219}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98047-8\_13}, doi = {10.1007/978-3-319-98047-8\_13}, timestamp = {Sun, 22 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Muller18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HassanUE018, author = {Mostafa Hassan and Caterina Urban and Marco Eilers and Peter M{\"{u}}ller}, editor = {Hana Chockler and Georg Weissenbacher}, title = {MaxSMT-Based Type Inference for Python 3}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10982}, pages = {12--19}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96142-2\_2}, doi = {10.1007/978-3-319-96142-2\_2}, timestamp = {Fri, 09 Apr 2021 18:35:26 +0200}, biburl = {https://dblp.org/rec/conf/cav/HassanUE018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DohrauSUM018, author = {J{\'{e}}r{\^{o}}me Dohrau and Alexander J. Summers and Caterina Urban and Severin M{\"{u}}nger and Peter M{\"{u}}ller}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Permission Inference for Array Programs}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10982}, pages = {55--74}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96142-2\_7}, doi = {10.1007/978-3-319-96142-2\_7}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/DohrauSUM018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Eilers018, author = {Marco Eilers and Peter M{\"{u}}ller}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Nagini: {A} Static Verifier for Python}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10981}, pages = {596--603}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96145-3\_33}, doi = {10.1007/978-3-319-96145-3\_33}, timestamp = {Fri, 09 Apr 2021 18:35:27 +0200}, biburl = {https://dblp.org/rec/conf/cav/Eilers018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/EilersMH18, author = {Marco Eilers and Peter M{\"{u}}ller and Samuel Hitz}, editor = {Amal Ahmed}, title = {Modular Product Programs}, booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10801}, pages = {502--529}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89884-1\_18}, doi = {10.1007/978-3-319-89884-1\_18}, timestamp = {Tue, 05 Jul 2022 08:30:25 +0200}, biburl = {https://dblp.org/rec/conf/esop/EilersMH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/UrbanM18, author = {Caterina Urban and Peter M{\"{u}}ller}, editor = {Amal Ahmed}, title = {An Abstract Interpretation Framework for Input Data Usage}, booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10801}, pages = {683--710}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89884-1\_24}, doi = {10.1007/978-3-319-89884-1\_24}, timestamp = {Sun, 08 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/UrbanM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/BugariuWC018, author = {Alexandra Bugariu and Valentin W{\"{u}}stholz and Maria Christakis and Peter M{\"{u}}ller}, editor = {Marianne Huchard and Christian K{\"{a}}stner and Gordon Fraser}, title = {Automatically testing implementations of numerical abstract domains}, booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} 2018, Montpellier, France, September 3-7, 2018}, pages = {768--778}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3238147.3240464}, doi = {10.1145/3238147.3240464}, timestamp = {Thu, 23 Jun 2022 19:54:17 +0200}, biburl = {https://dblp.org/rec/conf/kbse/BugariuWC018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/BrutschyD0V18, author = {Lucas Brutschy and Dimitar K. Dimitrov and Peter M{\"{u}}ller and Martin T. Vechev}, editor = {Jeffrey S. Foster and Dan Grossman}, title = {Static serializability analysis for causal consistency}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2018, Philadelphia, PA, USA, June 18-22, 2018}, pages = {90--104}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3192366.3192415}, doi = {10.1145/3192366.3192415}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/BrutschyD0V18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/UrbanU018, author = {Caterina Urban and Samuel Ueltschi and Peter M{\"{u}}ller}, editor = {Andreas Podelski}, title = {Abstract Interpretation of {CTL} Properties}, booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg, Germany, August 29-31, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11002}, pages = {402--422}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99725-4\_24}, doi = {10.1007/978-3-319-99725-4\_24}, timestamp = {Mon, 28 Aug 2023 21:17:53 +0200}, biburl = {https://dblp.org/rec/conf/sas/UrbanU018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Summers018, author = {Alexander J. Summers and Peter M{\"{u}}ller}, editor = {Dirk Beyer and Marieke Huisman}, title = {Automating Deductive Verification for Weak-Memory Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10805}, pages = {190--209}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89960-2\_11}, doi = {10.1007/978-3-319-89960-2\_11}, timestamp = {Fri, 09 Apr 2021 18:45:37 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Summers018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2018poetzsch, editor = {Peter M{\"{u}}ller and Ina Schaefer}, title = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98047-8}, doi = {10.1007/978-3-319-98047-8}, isbn = {978-3-319-98046-1}, timestamp = {Wed, 31 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/2018poetzsch.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-04091, author = {J{\'{e}}r{\^{o}}me Dohrau and Alexander J. Summers and Caterina Urban and Severin M{\"{u}}nger and Peter M{\"{u}}ller}, title = {Permission Inference for Array Programs}, journal = {CoRR}, volume = {abs/1804.04091}, year = {2018}, url = {http://arxiv.org/abs/1804.04091}, eprinttype = {arXiv}, eprint = {1804.04091}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-04091.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-07822, author = {Florentin Guth and Valentin W{\"{u}}stholz and Maria Christakis and Peter M{\"{u}}ller}, title = {Specification Mining for Smart Contracts with Automatic Abstraction Tuning}, journal = {CoRR}, volume = {abs/1807.07822}, year = {2018}, url = {http://arxiv.org/abs/1807.07822}, eprinttype = {arXiv}, eprint = {1807.07822}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-07822.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/AsenovG0O17, author = {Dimitar Asenov and Balz Guenat and Peter M{\"{u}}ller and Martin Otth}, editor = {Marieke Huisman and Julia Rubin}, title = {Precise Version Control of Trees with Line-Based Version Control Systems}, booktitle = {Fundamental Approaches to Software Engineering - 20th International Conference, {FASE} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10202}, pages = {152--169}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54494-5\_9}, doi = {10.1007/978-3-662-54494-5\_9}, timestamp = {Fri, 09 Apr 2021 18:43:03 +0200}, biburl = {https://dblp.org/rec/conf/fase/AsenovG0O17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChristakisEG017, author = {Maria Christakis and Patrick Emmisberger and Patrice Godefroid and Peter M{\"{u}}ller}, editor = {Sebasti{\'{a}}n Uchitel and Alessandro Orso and Martin P. Robillard}, title = {A general framework for dynamic stub injection}, booktitle = {Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017}, pages = {586--596}, publisher = {{IEEE} / {ACM}}, year = {2017}, url = {https://doi.org/10.1109/ICSE.2017.60}, doi = {10.1109/ICSE.2017.60}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ChristakisEG017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BrutschyD0V17, author = {Lucas Brutschy and Dimitar K. Dimitrov and Peter M{\"{u}}ller and Martin T. Vechev}, editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {Serializability for eventual consistency: criterion, analysis, and applications}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, pages = {458--472}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3009837.3009895}, doi = {10.1145/3009837.3009895}, timestamp = {Mon, 05 Feb 2024 20:33:37 +0100}, biburl = {https://dblp.org/rec/conf/popl/BrutschyD0V17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/0001SS17, author = {Peter M{\"{u}}ller and Malte Schwerhoff and Alexander J. Summers}, editor = {Alexander Pretschner and Doron Peled and Thomas Hutzelmann}, title = {Viper: {A} Verification Infrastructure for Permission-Based Reasoning}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {50}, pages = {104--125}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-810-5-104}, doi = {10.3233/978-1-61499-810-5-104}, timestamp = {Tue, 06 Aug 2019 09:52:02 +0200}, biburl = {https://dblp.org/rec/series/natosec/0001SS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ecoop/2017, editor = {Peter M{\"{u}}ller}, title = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017, June 19-23, 2017, Barcelona, Spain}, series = {LIPIcs}, volume = {74}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {http://www.dagstuhl.de/dagpub/978-3-95977-035-4}, isbn = {978-3-95977-035-4}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Summers017, author = {Alexander J. Summers and Peter M{\"{u}}ller}, title = {Automating Deductive Verification for Weak-Memory Programs}, journal = {CoRR}, volume = {abs/1703.06368}, year = {2017}, url = {http://arxiv.org/abs/1703.06368}, eprinttype = {arXiv}, eprint = {1703.06368}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Summers017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/0001SS16, author = {Peter M{\"{u}}ller and Malte Schwerhoff and Alexander J. Summers}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution}, booktitle = {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}, pages = {405--425}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4\_22}, doi = {10.1007/978-3-319-41528-4\_22}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/0001SS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/AsenovH016, author = {Dimitar Asenov and Otmar Hilliges and Peter M{\"{u}}ller}, editor = {Jofish Kaye and Allison Druin and Cliff Lampe and Dan Morris and Juan Pablo Hourcade}, title = {The Effect of Richer Visualizations on Code Comprehension}, booktitle = {Proceedings of the 2016 {CHI} Conference on Human Factors in Computing Systems, San Jose, CA, USA, May 7-12, 2016}, pages = {5040--5045}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2858036.2858372}, doi = {10.1145/2858036.2858372}, timestamp = {Wed, 01 Jun 2022 08:38:38 +0200}, biburl = {https://dblp.org/rec/conf/chi/AsenovH016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Summers016, author = {Alexander J. Summers and Peter M{\"{u}}ller}, editor = {Peter Thiemann}, title = {Actor Services - Modular Verification of Message Passing Programs}, booktitle = {Programming Languages and Systems - 25th European Symposium on Programming, {ESOP} 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 = {9632}, pages = {699--726}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49498-1\_27}, doi = {10.1007/978-3-662-49498-1\_27}, timestamp = {Mon, 23 Mar 2020 12:22:51 +0100}, biburl = {https://dblp.org/rec/conf/esop/Summers016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Christakis0W16, author = {Maria Christakis and Peter M{\"{u}}ller and Valentin W{\"{u}}stholz}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {Guiding dynamic symbolic execution toward unverified program executions}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, pages = {144--155}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2884781.2884843}, doi = {10.1145/2884781.2884843}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/Christakis0W16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Asenov0V16, author = {Dimitar Asenov and Peter M{\"{u}}ller and Lukas Vogel}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {The {IDE} as a scriptable information system}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {444--449}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970329}, doi = {10.1145/2970276.2970329}, timestamp = {Sat, 30 Sep 2023 09:51:40 +0200}, biburl = {https://dblp.org/rec/conf/kbse/Asenov0V16.bib}, 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}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, 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}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {424--441}, publisher = {Springer}, year = {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/conf/tacas/ChristakisL0W16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FavreVM16, author = {C{\'{e}}dric Favre and Hagen V{\"{o}}lzer and Peter M{\"{u}}ller}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)}, 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}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {463--479}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_27}, doi = {10.1007/978-3-662-49674-9\_27}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FavreVM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/0001SS16, author = {Peter M{\"{u}}ller and Malte Schwerhoff and Alexander J. Summers}, editor = {Barbara Jobstmann and K. Rustan M. Leino}, title = {Viper: {A} Verification Infrastructure for Permission-Based Reasoning}, booktitle = {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}, pages = {41--62}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49122-5\_2}, doi = {10.1007/978-3-662-49122-5\_2}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/0001SS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/0001SS16, author = {Peter M{\"{u}}ller and Malte Schwerhoff and Alexander J. Summers}, title = {Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution}, journal = {CoRR}, volume = {abs/1603.00649}, year = {2016}, url = {http://arxiv.org/abs/1603.00649}, eprinttype = {arXiv}, eprint = {1603.00649}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/0001SS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Asenov0V16, author = {Dimitar Asenov and Peter M{\"{u}}ller and Lukas Vogel}, title = {The {IDE} as a Scriptable Information System (extended version)}, journal = {CoRR}, volume = {abs/1607.04452}, year = {2016}, url = {http://arxiv.org/abs/1607.04452}, eprinttype = {arXiv}, eprint = {1607.04452}, timestamp = {Sat, 01 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Asenov0V16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/DolbyGMT16, author = {Julian Dolby and Orna Grumberg and Peter M{\"{u}}ller and Omer Tripp}, title = {Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)}, journal = {Dagstuhl Reports}, volume = {6}, number = {5}, pages = {56--71}, year = {2016}, url = {https://doi.org/10.4230/DagRep.6.5.56}, doi = {10.4230/DAGREP.6.5.56}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DolbyGMT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/BostromM15, author = {Pontus Bostr{\"{o}}m and Peter M{\"{u}}ller}, editor = {John Tang Boyland}, title = {Modular Verification of Finite Blocking in Non-terminating Programs}, booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015, July 5-10, 2015, Prague, Czech Republic}, series = {LIPIcs}, volume = {37}, pages = {639--663}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.639}, doi = {10.4230/LIPICS.ECOOP.2015.639}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/BostromM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/Christakis0W15, author = {Maria Christakis and Peter M{\"{u}}ller and Valentin W{\"{u}}stholz}, editor = {Deepak D'Souza and Akash Lal and Kim Guldstrand Larsen}, title = {An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8931}, pages = {336--354}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46081-8\_19}, doi = {10.1007/978-3-662-46081-8\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/Christakis0W15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/Ferrara0N15, author = {Pietro Ferrara and Peter M{\"{u}}ller and Milos Nov{\'{a}}cek}, editor = {Deepak D'Souza and Akash Lal and Kim Guldstrand Larsen}, title = {Automatic Inference of Heap Properties Exploiting Value Domains}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8931}, pages = {393--411}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46081-8\_22}, doi = {10.1007/978-3-662-46081-8\_22}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/Ferrara0N15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Muller15, author = {Peter M{\"{u}}ller}, title = {Building automatic program verifiers}, booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015}, pages = {3:1}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2792434.2792437}, doi = {10.1145/2792434.2792437}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Muller15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/Boyland0SS14, author = {John Tang Boyland and Peter M{\"{u}}ller and Malte Schwerhoff and Alexander J. Summers}, editor = {David J. Pearce}, title = {Constraint Semantics for Abstract Read Permissions}, booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014}, pages = {2:1--2:6}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2635631.2635847}, doi = {10.1145/2635631.2635847}, timestamp = {Wed, 26 May 2021 08:40:06 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/Boyland0SS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/BrutschyF014a, author = {Lucas Brutschy and Pietro Ferrara and Peter M{\"{u}}ller}, editor = {Aharon Abadi and Danny Dig and Eli Tilevich}, title = {TouchGuru: Integrating Static Analysis with a Mobile Development Environment}, booktitle = {Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, MobileDeLi 2014, Portland, OR, USA, October 20-24, 2014}, pages = {33--34}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2688412.2688421}, doi = {10.1145/2688412.2688421}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/BrutschyF014a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/BrutschyF014, author = {Lucas Brutschy and Pietro Ferrara and Peter M{\"{u}}ller}, editor = {Andrew P. Black and Todd D. Millstein}, title = {Static analysis for independent app developers}, booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014}, pages = {847--860}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660193.2660219}, doi = {10.1145/2660193.2660219}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/BrutschyF014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/ChristakisEM14, author = {Maria Christakis and Patrick Emmisberger and Peter M{\"{u}}ller}, editor = {Borzoo Bonakdarpour and Scott A. Smolka}, title = {Dynamic Test Generation with Static Fields and Initializers}, booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8734}, pages = {269--284}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11164-3\_23}, doi = {10.1007/978-3-319-11164-3\_23}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/ChristakisEM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/ChristakisMW14, author = {Maria Christakis and Peter M{\"{u}}ller and Valentin W{\"{u}}stholz}, editor = {Dimitra Giannakopoulou and Gwen Sala{\"{u}}n}, title = {Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations}, booktitle = {Software Engineering and Formal Methods - 12th International Conference, {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8702}, pages = {65--80}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10431-7\_6}, doi = {10.1007/978-3-319-10431-7\_6}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/sefm/ChristakisMW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/Asenov014, author = {Dimitar Asenov and Peter M{\"{u}}ller}, editor = {Scott D. Fleming and Andrew Fish and Christopher Scaffidi}, title = {Envision: {A} fast and flexible visual code editor with fluid interactions (Overview)}, booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014}, pages = {9--12}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/VLHCC.2014.6883014}, doi = {10.1109/VLHCC.2014.6883014}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/Asenov014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/HeuleKMS13, author = {Stefan Heule and Ioannis T. Kassios and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Giuseppe Castagna}, title = {Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions}, booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7920}, pages = {451--476}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39038-8\_19}, doi = {10.1007/978-3-642-39038-8\_19}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/HeuleKMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/AsenovM13, author = {Dimitar Asenov and Peter M{\"{u}}ller}, editor = {Caitlin Kelleher and Margaret M. Burnett and Stefan Sauer}, title = {Customizing the visualization and interaction for embedded domain-specific languages in a structured editor}, booktitle = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing, San Jose, CA, USA, September 15-19, 2013}, pages = {127--130}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/VLHCC.2013.6645255}, doi = {10.1109/VLHCC.2013.6645255}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/AsenovM13.bib}, 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}, editor = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni}, 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}, series = {Lecture Notes in Computer Science}, volume = {7737}, pages = {315--334}, publisher = {Springer}, year = {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/conf/vmcai/HeuleLMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/DietlM13, author = {Werner Dietl and Peter M{\"{u}}ller}, editor = {Dave Clarke and James Noble and Tobias Wrigstad}, title = {Object Ownership in Program Verification}, booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification}, series = {Lecture Notes in Computer Science}, volume = {7850}, pages = {289--318}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36946-9\_11}, doi = {10.1007/978-3-642-36946-9\_11}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/series/lncs/DietlM13.bib}, 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/journals/csur/HatcliffLLMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/ChristakisMW12, author = {Maria Christakis and Peter M{\"{u}}ller and Valentin W{\"{u}}stholz}, editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry}, title = {Collaborative Verification and Testing with Explicit Assumptions}, booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7436}, pages = {132--146}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32759-9\_13}, doi = {10.1007/978-3-642-32759-9\_13}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/ChristakisMW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/FerraraM12, author = {Pietro Ferrara and Peter M{\"{u}}ller}, editor = {Viktor Kuncak and Andrey Rybalchenko}, title = {Automatic Inference of Access Permissions}, booktitle = {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}, pages = {202--218}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_14}, doi = {10.1007/978-3-642-27940-9\_14}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/FerraraM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/KassiosMS12, author = {Ioannis T. Kassios and Peter M{\"{u}}ller and Malte Schwerhoff}, editor = {Rajeev Joshi and Peter M{\"{u}}ller and Andreas Podelski}, title = {Comparing Verification Condition Generation with Symbolic Execution: An Experience Report}, booktitle = {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}, pages = {196--208}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27705-4\_16}, doi = {10.1007/978-3-642-27705-4\_16}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/vstte/KassiosMS12.bib}, 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 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/2012.bib}, 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, 07 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/BarnettFLMSV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/DietlDM11, author = {Werner Dietl and Sophia Drossopoulou and Peter M{\"{u}}ller}, title = {Separating ownership topology and encapsulation with generic universe types}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {33}, number = {6}, pages = {20:1--20:62}, year = {2011}, url = {https://doi.org/10.1145/2049706.2049709}, doi = {10.1145/2049706.2049709}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/DietlDM11.bib}, 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}, editor = {Stephen N. Freund}, 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}, publisher = {{ACM}}, year = {2011}, 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/conf/ecoop/HeuleL0S11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/DietlEM11, author = {Werner Dietl and Michael D. Ernst and Peter M{\"{u}}ller}, editor = {Mira Mezini}, title = {Tunable Static Inference for Generic Universe Types}, booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6813}, pages = {333--357}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22655-7\_16}, doi = {10.1007/978-3-642-22655-7\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/DietlEM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/MullerR11, author = {Peter M{\"{u}}ller and Joseph N. Ruskiewicz}, editor = {Michael J. Butler and Wolfram Schulte}, title = {Using Debuggers to Understand Failed Verification Attempts}, booktitle = {{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}, pages = {73--87}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_8}, doi = {10.1007/978-3-642-21437-0\_8}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/MullerR11.bib}, 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}}, editor = {Michael J. Butler and Wolfram Schulte}, 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}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {154--168}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_14}, doi = {10.1007/978-3-642-21437-0\_14}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/SummersM11, author = {Alexander J. Summers and Peter M{\"{u}}ller}, editor = {Cristina Videira Lopes and Kathleen Fisher}, title = {Freedom before commitment: a lightweight type system for object initialisation}, booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2011, part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011}, pages = {1013--1032}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2048066.2048142}, doi = {10.1145/2048066.2048142}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/SummersM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/parallel/Muller11, author = {Peter M{\"{u}}ller}, editor = {David A. Padua}, title = {Formal Methods-Based Tools for Race, Deadlock, and Other Errors}, booktitle = {Encyclopedia of Parallel Computing}, pages = {704--710}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-0-387-09766-4\_399}, doi = {10.1007/978-0-387-09766-4\_399}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/parallel/Muller11.bib}, 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}, editor = {Andrew D. Gordon}, 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}, series = {Lecture Notes in Computer Science}, volume = {6012}, pages = {407--426}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11957-6\_22}, doi = {10.1007/978-3-642-11957-6\_22}, timestamp = {Mon, 14 Feb 2022 09:20:30 +0100}, biburl = {https://dblp.org/rec/conf/esop/LeinoMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/DarvasM10, author = {{\'{A}}d{\'{a}}m Darvas and Peter M{\"{u}}ller}, editor = {David S. Rosenblum and Gabriele Taentzer}, title = {Proving Consistency and Completeness of Model Classes Using Theory Interpretation}, booktitle = {Fundamental Approaches to Software Engineering, 13th International Conference, {FASE} 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 = {6013}, pages = {218--232}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12029-9\_16}, doi = {10.1007/978-3-642-12029-9\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/DarvasM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/LehnerM10, author = {Hermann Lehner and Peter M{\"{u}}ller}, editor = {David S. Rosenblum and Gabriele Taentzer}, title = {Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups}, booktitle = {Fundamental Approaches to Software Engineering, 13th International Conference, {FASE} 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 = {6013}, pages = {338--352}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12029-9\_24}, doi = {10.1007/978-3-642-12029-9\_24}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/LehnerM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/NordioCMMT10, author = {Martin Nordio and Cristiano Calcagno and Bertrand Meyer and Peter M{\"{u}}ller and Julian Tschannen}, editor = {Jan Vitek}, title = {Reasoning about Function Objects}, booktitle = {Objects, Models, Components, Patterns, 48th International Conference, {TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6141}, pages = {79--96}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13953-6\_5}, doi = {10.1007/978-3-642-13953-6\_5}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/tools/NordioCMMT10.bib}, 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 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/laser/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/SummersDM09, author = {Alexander J. Summers and Sophia Drossopoulou and Peter M{\"{u}}ller}, title = {Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods}, journal = {J. Object Technol.}, volume = {8}, number = {4}, pages = {85--125}, year = {2009}, url = {https://doi.org/10.5381/jot.2009.8.4.a4}, doi = {10.5381/JOT.2009.8.4.A4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/SummersDM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/MullerR09, author = {Peter M{\"{u}}ller and Joseph N. Ruskiewicz}, editor = {Jean{-}Raymond Abrial and Uwe Gl{\"{a}}sser}, title = {A Modular Verification Methodology for C{\#} Delegates}, booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon B{\"{o}}rger on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5115}, pages = {187--203}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11447-2\_12}, doi = {10.1007/978-3-642-11447-2\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/MullerR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LeinoM09, author = {K. Rustan M. Leino and Peter M{\"{u}}ller}, editor = {Giuseppe Castagna}, 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}, series = {Lecture Notes in Computer Science}, volume = {5502}, pages = {378--393}, publisher = {Springer}, year = {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/conf/esop/LeinoM09.bib}, 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}, editor = {Alessandro Aldini and Gilles Barthe and Roberto Gorrieri}, title = {Verification of Concurrent Programs with Chalice}, booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009 Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5705}, pages = {195--222}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03829-7\_7}, doi = {10.1007/978-3-642-03829-7\_7}, timestamp = {Thu, 14 Oct 2021 10:12:35 +0200}, biburl = {https://dblp.org/rec/conf/fosad/LeinoMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/NordioCMM09, author = {Martin Nordio and Cristiano Calcagno and Peter M{\"{u}}ller and Bertrand Meyer}, editor = {Manuel Oriol and Bertrand Meyer}, title = {A Sound and Complete Program Logic for Eiffel}, booktitle = {Objects, Components, Models and Patterns, 47th International Conference, {TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {33}, pages = {195--214}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02571-6\_12}, doi = {10.1007/978-3-642-02571-6\_12}, timestamp = {Mon, 30 Oct 2017 11:35:08 +0100}, biburl = {https://dblp.org/rec/conf/tools/NordioCMM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/DarvasM08, author = {{\'{A}}d{\'{a}}m Darvas and Peter M{\"{u}}ller}, title = {Faithful mapping of model classes to mathematical structures}, journal = {{IET} Softw.}, volume = {2}, number = {6}, pages = {477--499}, year = {2008}, url = {https://doi.org/10.1049/iet-sen:20080011}, doi = {10.1049/IET-SEN:20080011}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/DarvasM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/DrossopoulouFMS08, author = {Sophia Drossopoulou and Adrian Francalanza and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Jan Vitek}, title = {A Unified Framework for Verification Techniques for Object Invariants}, booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5142}, pages = {412--437}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70592-5\_18}, doi = {10.1007/978-3-540-70592-5\_18}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouFMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/ClarkeDMNW08, author = {Dave Clarke and Sophia Drossopoulou and Peter M{\"{u}}ller and James Noble and Tobias Wrigstad}, editor = {Patrick Eugster}, title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming}, booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP} 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports}, series = {Lecture Notes in Computer Science}, volume = {5475}, pages = {30--41}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-02047-6\_4}, doi = {10.1007/978-3-642-02047-6\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDMNW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/AlbertBDHILMW08, author = {Elvira Albert and Anindya Banerjee and Sophia Drossopoulou and Marieke Huisman and Atsushi Igarashi and Gary T. Leavens and Peter M{\"{u}}ller and Tobias Wrigstad}, editor = {Patrick Eugster}, title = {Formal Techniques for Java-Like Programs}, booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP} 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports}, series = {Lecture Notes in Computer Science}, volume = {5475}, pages = {70--76}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-02047-6\_8}, doi = {10.1007/978-3-642-02047-6\_8}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/AlbertBDHILMW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LeinoM08, author = {K. Rustan M. Leino and Peter M{\"{u}}ller}, editor = {Sophia Drossopoulou}, 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}, series = {Lecture Notes in Computer Science}, volume = {4960}, pages = {307--321}, publisher = {Springer}, year = {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/conf/esop/LeinoM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/RudichDM08, author = {Arsenii Rudich and {\'{A}}d{\'{a}}m Darvas and Peter M{\"{u}}ller}, editor = {Jorge Cu{\'{e}}llar and T. S. E. Maibaum and Kaisa Sere}, title = {Checking Well-Formedness of Pure-Method Specifications}, booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5014}, pages = {68--83}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68237-0\_7}, doi = {10.1007/978-3-540-68237-0\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/RudichDM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/laser/LeinoM08, author = {K. Rustan M. Leino and Peter M{\"{u}}ller}, editor = {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}, series = {Lecture Notes in Computer Science}, volume = {6029}, pages = {91--139}, publisher = {Springer}, year = {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/conf/laser/LeinoM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/NordioMM08, author = {Martin Nordio and Peter M{\"{u}}ller and Bertrand Meyer}, editor = {Richard F. Paige and Bertrand Meyer}, title = {Proof-Transforming Compilation of Eiffel Programs}, booktitle = {Objects, Components, Models and Patterns, 46th International Conference, {TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {11}, pages = {316--335}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69824-1\_18}, doi = {10.1007/978-3-540-69824-1\_18}, timestamp = {Wed, 24 Jun 2020 15:26:33 +0200}, biburl = {https://dblp.org/rec/conf/tools/NordioMM08.bib}, 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}, editor = {Natarajan Shankar and Jim Woodcock}, title = {Flexible Immutability with Frozen Objects}, booktitle = {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}, pages = {192--208}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87873-5\_17}, doi = {10.1007/978-3-540-87873-5\_17}, timestamp = {Fri, 17 Feb 2023 09:02:02 +0100}, biburl = {https://dblp.org/rec/conf/vstte/LeinoMW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/DrossopoulouFMS08, author = {Sophia Drossopoulou and Adrian Francalanza and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett}, title = {A Unified Framework for Verification Techniques for Object Invariants}, booktitle = {Types, Logics and Semantics for State, 03.02. - 08.02.2008}, series = {Dagstuhl Seminar Proceedings}, volume = {08061}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1427}, timestamp = {Tue, 05 Jul 2022 08:30:25 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/DrossopoulouFMS08.bib}, 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 Aspects 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 = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LeavensLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/DietlDM07, author = {Werner Dietl and Sophia Drossopoulou and Peter M{\"{u}}ller}, editor = {Erik Ernst}, title = {Generic Universe Types}, booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4609}, pages = {28--53}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73589-2\_3}, doi = {10.1007/978-3-540-73589-2\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/DietlDM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/CunninghamDDFMS07, author = {Dave Cunningham and Werner Dietl and Sophia Drossopoulou and Adrian Francalanza and Peter M{\"{u}}ller and Alexander J. Summers}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Universe Types for Topology and Encapsulation}, booktitle = {Formal Methods for Components and Objects, 6th International Symposium, {FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5382}, pages = {72--112}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-92188-2\_4}, doi = {10.1007/978-3-540-92188-2\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmco/CunninghamDDFMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LeavensM07, author = {Gary T. Leavens and Peter M{\"{u}}ller}, title = {Information Hiding and Visibility in Interface Specifications}, booktitle = {29th International Conference on Software Engineering {(ICSE} 2007), Minneapolis, MN, USA, May 20-26, 2007}, pages = {385--395}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICSE.2007.44}, doi = {10.1109/ICSE.2007.44}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LeavensM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/MullerR07, author = {Peter M{\"{u}}ller and Arsenii Rudich}, editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.}, title = {Ownership transfer in universe types}, booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2007, October 21-25, 2007, Montreal, Quebec, Canada}, pages = {461--478}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1297027.1297061}, doi = {10.1145/1297027.1297061}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/MullerR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/JacobsMP07, author = {Bart Jacobs and Peter M{\"{u}}ller and Frank Piessens}, title = {Sound reasoning about unchecked exceptions}, booktitle = {Fifth {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England, {UK}}, pages = {113--122}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SEFM.2007.36}, doi = {10.1109/SEFM.2007.36}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/JacobsMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/DarvasM07, author = {{\'{A}}d{\'{a}}m Darvas and Peter M{\"{u}}ller}, editor = {Arnd Poetzsch{-}Heffter}, title = {Faithful mapping of model classes to mathematical structures}, booktitle = {Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September 3-4, 2007}, pages = {31--38}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1292316.1292320}, doi = {10.1145/1292316.1292320}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/DarvasM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/MullerN07, author = {Peter M{\"{u}}ller and Martin Nordio}, editor = {Arnd Poetzsch{-}Heffter}, title = {Proof-transforming compilation of programs with abrupt termination}, booktitle = {Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September 3-4, 2007}, pages = {39--46}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1292316.1292321}, doi = {10.1145/1292316.1292321}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/MullerN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LehnerM07, author = {Hermann Lehner and Peter M{\"{u}}ller}, editor = {Marieke Huisman and Fausto Spoto}, title = {Formal Translation of Bytecode into BoogiePL}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {35--50}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.059}, doi = {10.1016/J.ENTCS.2007.02.059}, timestamp = {Tue, 31 Jan 2023 15:42:47 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LehnerM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7091, editor = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {Mobility, Ubiquity and Security, 25.02. - 02.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07091}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/portals/07091/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7091.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BartheMMMS07, author = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, editor = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {07091 Executive Summary - Mobility, Ubiquity and Security}, booktitle = {Mobility, Ubiquity and Security, 25.02. - 02.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07091}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1101}, timestamp = {Thu, 10 Jun 2021 13:02:08 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BartheMMMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BartheMMMS07a, author = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, editor = {Gilles Barthe and Heiko Mantel and Peter M{\"{u}}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {07091 Abstracts Collection - Mobility, Ubiquity and Security}, booktitle = {Mobility, Ubiquity and Security, 25.02. - 02.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07091}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1102}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BartheMMMS07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/DarvasM06, author = {{\'{A}}d{\'{a}}m Darvas and Peter M{\"{u}}ller}, title = {Reasoning About Method Calls in Interface Specifications}, journal = {J. Object Technol.}, volume = {5}, number = {5}, pages = {59--85}, year = {2006}, url = {https://doi.org/10.5381/jot.2006.5.5.a3}, doi = {10.5381/JOT.2006.5.5.A3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/DarvasM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MullerPL06, author = {Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter and Gary T. Leavens}, title = {Modular invariants for layered object structures}, journal = {Sci. Comput. Program.}, volume = {62}, number = {3}, pages = {253--286}, year = {2006}, url = {https://doi.org/10.1016/j.scico.2006.03.001}, doi = {10.1016/J.SCICO.2006.03.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MullerPL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LeinoM06, author = {K. Rustan M. Leino and Peter M{\"{u}}ller}, editor = {Peter Sestoft}, 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}, series = {Lecture Notes in Computer Science}, volume = {3924}, pages = {115--130}, publisher = {Springer}, year = {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/conf/esop/LeinoM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europlop/GrolimundM06, author = {Dominik Grolimund and Peter M{\"{u}}ller}, editor = {Uwe Zdun and Lise B. Hvatum}, title = {A Pattern Language for Overlay Networks in Peer-to-Peer Systems}, booktitle = {EuroPLoP' 2006, Eleventh European Conference on Pattern Languages of Programs, Irsee, Germany, July 5-9, 2006}, pages = {95--140}, publisher = {{UVK} - Universitaetsverlag Konstanz}, year = {2006}, timestamp = {Wed, 01 Oct 2014 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europlop/GrolimundM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BannwartM06, author = {Fabian Bannwart and Peter M{\"{u}}ller}, editor = {Jayadev Misra and Tobias Nipkow and Emil Sekerinski}, title = {Changing Programs Correctly: Refactoring with Specifications}, booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4085}, pages = {492--507}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11813040\_33}, doi = {10.1007/11813040\_33}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/BannwartM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BartheBCGHMPPSV06, author = {Gilles Barthe and Lennart Beringer and Pierre Cr{\'{e}}gut and Benjamin Gr{\'{e}}goire and Martin Hofmann and Peter M{\"{u}}ller and Erik Poll and Germ{\'{a}}n Puebla and Ian Stark and Eric V{\'{e}}tillard}, editor = {Ugo Montanari and Donald Sannella and Roberto Bruni}, title = {{MOBIUS:} Mobility, Ubiquity, Security}, booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4661}, pages = {10--29}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-75336-0\_2}, doi = {10.1007/978-3-540-75336-0\_2}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BartheBCGHMPPSV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/DietlM05, author = {Werner Dietl and Peter M{\"{u}}ller}, title = {Universes: Lightweight Ownership for {JML}}, journal = {J. Object Technol.}, volume = {4}, number = {8}, pages = {5--32}, year = {2005}, url = {https://doi.org/10.5381/jot.2005.4.8.a1}, doi = {10.5381/JOT.2005.4.8.A1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/DietlM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/LeinoM05, author = {K. Rustan M. Leino and Peter M{\"{u}}ller}, editor = {John S. Fitzgerald and Ian J. Hayes and Andrzej Tarlecki}, 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}, series = {Lecture Notes in Computer Science}, volume = {3582}, pages = {26--42}, publisher = {Springer}, year = {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/conf/fm/LeinoM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/Muller05, author = {Peter M{\"{u}}ller}, editor = {Bertrand Meyer and Jim Woodcock}, title = {Reasoning about Object Structures Using Ownership}, 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}, series = {Lecture Notes in Computer Science}, volume = {4171}, pages = {93--104}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-69149-5\_12}, doi = {10.1007/978-3-540-69149-5\_12}, timestamp = {Fri, 17 Feb 2023 09:02:02 +0100}, biburl = {https://dblp.org/rec/conf/vstte/Muller05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BannwartM05, author = {Fabian Bannwart and Peter M{\"{u}}ller}, editor = {Fausto Spoto}, title = {A Program Logic for Bytecode}, booktitle = {Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {141}, number = {1}, pages = {255--273}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.02.026}, doi = {10.1016/J.ENTCS.2005.02.026}, timestamp = {Tue, 13 Dec 2022 11:21:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BannwartM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cassis/DietlMP04, author = {Werner Dietl and Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter}, editor = {Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean{-}Louis Lanet and Traian Muntean}, title = {A Type System for Checking Applet Isolation in Java Card}, booktitle = {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}, pages = {129--150}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30569-9\_7}, doi = {10.1007/978-3-540-30569-9\_7}, timestamp = {Fri, 09 Apr 2021 18:40:44 +0200}, biburl = {https://dblp.org/rec/conf/cassis/DietlMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/LeinoM04, author = {K. Rustan M. Leino and Peter M{\"{u}}ller}, editor = {Martin Odersky}, title = {Object Invariants in Dynamic Contexts}, booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3086}, pages = {491--516}, publisher = {Springer}, year = {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/conf/ecoop/LeinoM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/CoglioHKMP04, author = {Alessandro Coglio and Marieke Huisman and Joseph Kiniry and Peter M{\"{u}}ller and Erik Poll}, editor = {Jacques Malenfant and Bjarte M. {\O}stvold}, title = {Formal Techniques for Java-Like Programs (FTfJP)}, booktitle = {Object-Oriented Technology: {ECOOP} 2004 Workshop Reader, {ECOOP} 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports}, series = {Lecture Notes in Computer Science}, volume = {3344}, pages = {76--83}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30554-5\_8}, doi = {10.1007/978-3-540-30554-5\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/CoglioHKMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/MullerPL03, author = {Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter and Gary T. Leavens}, title = {Modular specification of frame properties in {JML}}, journal = {Concurr. Comput. Pract. Exp.}, volume = {15}, number = {2}, pages = {117--154}, year = {2003}, url = {https://doi.org/10.1002/cpe.713}, doi = {10.1002/CPE.713}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/concurrency/MullerPL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/EisenbachLMPP03, author = {Susan Eisenbach and Gary T. Leavens and Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter and Erik Poll}, editor = {Frank Buschmann and Alejandro P. Buchmann and Mariano Cilia}, title = {Formal Techniques for Java-Like Programs}, booktitle = {Object-Oriented Technology: {ECOOP} 2003 Workshop Reader, {ECOOP} 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports}, series = {Lecture Notes in Computer Science}, volume = {3013}, pages = {62--71}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-25934-3\_7}, doi = {10.1007/978-3-540-25934-3\_7}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/EisenbachLMPP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/Muller02, author = {Peter M{\"{u}}ller}, title = {Modular Specification and Verification of Object-Oriented Programs}, series = {Lecture Notes in Computer Science}, volume = {2262}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45651-1}, doi = {10.1007/3-540-45651-1}, isbn = {3-540-43167-5}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/Muller02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/DrossopoulouEJLMP00, author = {Sophia Drossopoulou and Susan Eisenbach and Bart Jacobs and Gary T. Leavens and Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter}, editor = {Jacques Malenfant and Sabine Moisan and Ana M. D. Moreira}, title = {Formal Techniques for Java Programs}, booktitle = {Object-Oriented Technology, {ECOOP} 2000 Workshops, Panels, and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1964}, pages = {41--54}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44555-2\_4}, doi = {10.1007/3-540-44555-2\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/DrossopoulouEJLMP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/JacobsLMP99, author = {Bart Jacobs and Gary T. Leavens and Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {Formal Techniques for Java Programs}, booktitle = {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}, pages = {97--115}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46589-8\_6}, doi = {10.1007/3-540-46589-8\_6}, timestamp = {Mon, 15 Jun 2020 17:08:35 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/JacobsLMP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/MullerP99, author = {Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {Alias Control Is Crucial for Modular Verification of Object-Oriented Programs}, booktitle = {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}, pages = {154--156}, publisher = {Springer}, year = {1999}, timestamp = {Wed, 01 Oct 2014 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/MullerP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Poetzsch-HeffterM99, author = {Arnd Poetzsch{-}Heffter and Peter M{\"{u}}ller}, editor = {S. Doaitse Swierstra}, title = {A Programming Logic for Sequential Java}, booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1576}, pages = {162--176}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49099-X\_11}, doi = {10.1007/3-540-49099-X\_11}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/Poetzsch-HeffterM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jit/MullerMP99, author = {Peter M{\"{u}}ller and J{\"{o}}rg Meyer and Arnd Poetzsch{-}Heffter}, editor = {Clemens H. Cap}, title = {Making Executable Interface Specifications More Expressive}, booktitle = {{JIT} '99, Java-Informations-Tage 1999, D{\"{u}}sseldorf 20./21. September 1999}, series = {Informatik Aktuell}, pages = {243--252}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60247-4\_23}, doi = {10.1007/978-3-642-60247-4\_23}, timestamp = {Fri, 11 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jit/MullerMP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jit/MullerP98, author = {Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter}, editor = {Clemens H. Cap}, title = {Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur}, booktitle = {{JIT} '98, Java-Informations-Tage 1998, Frankfurt/Main, 12./13. November 1998}, series = {Informatik Aktuell}, pages = {1--10}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-642-59984-2\_1}, doi = {10.1007/978-3-642-59984-2\_1}, timestamp = {Tue, 25 Jun 2019 12:37:38 +0200}, biburl = {https://dblp.org/rec/conf/jit/MullerP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/Poetzsch-HeffterM98, author = {Arnd Poetzsch{-}Heffter and Peter M{\"{u}}ller}, editor = {David Gries and Willem P. de Roever}, title = {Logical foundations for typed object-oriented languages}, 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}}, series = {{IFIP} Conference Proceedings}, volume = {125}, pages = {404--423}, publisher = {Chapman {\&} Hall}, year = {1998}, timestamp = {Wed, 01 Oct 2014 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/procomet/Poetzsch-HeffterM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/MullerP97, author = {Peter M{\"{u}}ller and Arnd Poetzsch{-}Heffter}, editor = {Matthias Jarke and Klaus Pasedach and Klaus Pohl}, title = {Formal Specification Techniques for Object-Oriented Programs}, booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September 1997}, series = {Informatik Aktuell}, pages = {602--611}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/978-3-642-60831-5\_80}, doi = {10.1007/978-3-642-60831-5\_80}, timestamp = {Tue, 23 May 2017 01:10:32 +0200}, biburl = {https://dblp.org/rec/conf/gi/MullerP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.