Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-09 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
