default search action
Peter Müller 0001
Person information
- affiliation: ETH Zürich, Department of Computer Science, Switzerland
- affiliation: Microsoft Research, Redmond, USA
- affiliation: University of Hagen, Germany
Other persons with the same name
- Peter Müller — disambiguation page
- Peter Müller 0002 — IBM Zurich, Switzerland
- Peter Müller 0003 — University of Texas, MD Anderson Center, Austin, TX, USA
- Peter Müller 0004 — TU Darmstadt, Germany
- Peter Müller 0005 — Universität Würzburg, Institut für Matematik, Germany
- Peter Müller 0006 (aka: Peter O. Müller) — ABB Research Center, Germany
- Peter Müller 0007 — Zuse Institute Berlin (ZIB), Germany
- Peter Müller 0008 (aka: Peter Siegfried Müller 0008) — Max Planck Institute for Informatics, Saarbrücken, Germany
- Peter Müller 0009 — Universitauml:t Bonn, Institut für Tierwissenschaften, Germany
- Peter Müller 0010 — TU Darmstadt, Institut f. Informatik, Germany
- Peter Müller 0011 — Siemens AG, München, Germany
- Peter Müller 0012 — University of Munich, Munich Center for Technology in Society, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Thibault Dardinier, Peter Müller:
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties. Proc. ACM Program. Lang. 8(PLDI): 1485-1509 (2024) - [j27]Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers:
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language. Proc. ACM Program. Lang. 8(PLDI): 1510-1534 (2024) - [c96]Marco Eilers, Malte Schwerhoff, Peter Müller:
Verification Algorithms for Automated Separation Logic Verifiers. CAV (1) 2024: 362-386 - [i33]Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers:
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version). CoRR abs/2404.03614 (2024) - [i32]João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig:
Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR abs/2405.06074 (2024) - [i31]Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers:
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities. CoRR abs/2405.08372 (2024) - [i30]Marco Eilers, Malte Schwerhoff, Peter Müller:
Verification Algorithms for Automated Separation Logic Verifiers. CoRR abs/2405.10661 (2024) - [i29]Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller:
Formal Foundations for Translational Separation Logic Verifiers (extended version). CoRR abs/2407.20002 (2024) - 2023
- [j26]Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller:
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). Formal Aspects Comput. 35(2): 7:1-7:27 (2023) - [j25]Thibault Dardinier, Gaurav Parthasarathy, Peter Müller:
Verification-Preserving Inlining in Automatic Separation Logic Verifiers. Proc. ACM Program. Lang. 7(OOPSLA1): 789-818 (2023) - [j24]Jonás Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey:
Leveraging Rust Types for Program Synthesis. Proc. ACM Program. Lang. 7(PLDI): 1414-1437 (2023) - [j23]Marco Eilers, Thibault Dardinier, Peter Müller:
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. Proc. ACM Program. Lang. 7(PLDI): 1682-1707 (2023) - [c95]Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller:
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CCS 2023: 1377-1391 - [c94]Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP 2023: 1077-1093 - [i28]Thibault Dardinier, Peter Müller:
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version). CoRR abs/2301.10037 (2023) - [i27]Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller:
Refinement Proofs in Rust Using Ghost Locks. CoRR abs/2311.14452 (2023) - [i26]Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi:
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports 13(7): 66-95 (2023) - 2022
- [b2]Laurent Chuat, Markus Legner, David A. Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig:
The Complete Guide to SCION - From Design Principles to Formal Verification. Information Security and Cryptography, Springer 2022, ISBN 978-3-031-05287-3 - [j22]Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise outlines for a complex logic: a proof outline checker for TaDA. Formal Methods Syst. Des. 61(1): 110-136 (2022) - [j21]Thibault Dardinier, Peter Müller, Alexander J. Summers:
Fractional resources in unbounded separation logic. Proc. ACM Program. Lang. 6(OOPSLA2): 1066-1092 (2022) - [c93]Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers:
Sound Automation of Magic Wands. CAV (2) 2022: 130-151 - [c92]Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers:
The Prusti Project: Formal Verification for Rust. NFM 2022: 88-108 - [d2]Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations. Version v1.0.0. Zenodo, 2022 [all versions] - [d1]Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations. Version v1.0.0. Zenodo, 2022 [all versions] - [i25]Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexander J. Summers, Peter Müller:
Sound Automation of Magic Wands (extended version). CoRR abs/2205.11325 (2022) - [i24]Thibault Dardinier, Gaurav Parthasarathy, Peter Müller:
Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version). CoRR abs/2208.10456 (2022) - [i23]Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers:
Compositional Reasoning for Side-effectful Iterators and Iterator Adapters. CoRR abs/2210.09857 (2022) - [i22]Marco Eilers, Thibault Dardinier, Peter Müller:
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. CoRR abs/2211.08459 (2022) - [i21]Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller:
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CoRR abs/2212.02626 (2022) - [i20]Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR abs/2212.04171 (2022) - 2021
- [j20]Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers:
Rich specifications for Ethereum smart contract verification. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [j19]Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers:
Modular specification and verification of closures in Rust. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [j18]Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller:
VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. 23(6): 883-893 (2021) - [j17]Peter Müller:
Introduction to the Special Section on ESOP 2020. ACM Trans. Program. Lang. Syst. 43(4): 13:1 (2021) - [c91]Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller:
Gobra: Modular Specification and Verification of Go Programs. CAV (1) 2021: 367-379 - [c90]Gaurav Parthasarathy, Peter Müller, Alexander J. Summers:
Formally Validating a Practical Verification Condition Generator. CAV (2) 2021: 704-727 - [c89]Marco Eilers, Severin Meier, Peter Müller:
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security. CAV (1) 2021: 718-741 - [c88]Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller:
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers. FM 2021: 273-291 - [c87]Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. FM 2021: 407-426 - [p3]Peter Müller, Natarajan Shankar:
The First Fifteen Years of the Verified Software Project. Theories of Programming 2021: 93-124 - [i19]Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers:
Modular Verification of Collaborating Smart Contracts. CoRR abs/2104.10274 (2021) - [i18]Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller:
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers. CoRR abs/2105.04385 (2021) - [i17]Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller:
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR abs/2105.13840 (2021) - [i16]Gaurav Parthasarathy, Peter Müller, Alexander J. Summers:
Formally Validating a Practical Verification Condition Generator (extended version). CoRR abs/2105.14381 (2021) - [i15]Aurel Bílý, Christoph Matheja, Peter Müller:
Flexible Refinement Proofs in Separation Logic. CoRR abs/2110.13559 (2021) - 2020
- [j16]Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers:
How do programmers use unsafe rust? Proc. ACM Program. Lang. 4(OOPSLA): 136:1-136:27 (2020) - [j15]Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin:
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4(OOPSLA): 152:1-152:31 (2020) - [j14]Alexander J. Summers, Peter Müller:
Automating deductive verification for weak-memory programs (extended version). Int. J. Softw. Tools Technol. Transf. 22(6): 709-728 (2020) - [j13]Marco Eilers, Peter Müller, Samuel Hitz:
Modular Product Programs. ACM Trans. Program. Lang. Syst. 42(1): 3:1-3:37 (2020) - [c86]Alexandra Bugariu, Peter Müller:
Automatically testing string solvers. ICSE 2020: 1459-1470 - [e6]Peter Müller:
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. Lecture Notes in Computer Science 12075, Springer 2020, ISBN 978-3-030-44913-1 [contents] - [i14]Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller:
VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR abs/2008.13610 (2020) - [i13]Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin:
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR abs/2010.04749 (2020) - [i12]Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper). CoRR abs/2010.07080 (2020)
2010 – 2019
- 2019
- [j12]Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller:
Modular verification of heap reachability properties in separation logic. Proc. ACM Program. Lang. 3(OOPSLA): 121:1-121:28 (2019) - [j11]Vytautas Astrauskas, Peter Müller, Federico Poli, Alexander J. Summers:
Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. 3(OOPSLA): 147:1-147:30 (2019) - [c85]Nils Becker, Peter Müller, Alexander J. Summers:
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. TACAS (1) 2019: 99-116 - [i11]Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller:
Modular Verification of Heap Reachability Properties in Separation Logic. CoRR abs/1908.05799 (2019) - 2018
- [c84]Peter Müller:
The Binomial Heap Verification Challenge in Viper. Principled Software Development 2018: 203-219 - [c83]Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller:
MaxSMT-Based Type Inference for Python 3. CAV (2) 2018: 12-19 - [c82]Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller:
Permission Inference for Array Programs. CAV (2) 2018: 55-74 - [c81]Marco Eilers, Peter Müller:
Nagini: A Static Verifier for Python. CAV (1) 2018: 596-603 - [c80]Marco Eilers, Peter Müller, Samuel Hitz:
Modular Product Programs. ESOP 2018: 502-529 - [c79]Caterina Urban, Peter Müller:
An Abstract Interpretation Framework for Input Data Usage. ESOP 2018: 683-710 - [c78]Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller:
Automatically testing implementations of numerical abstract domains. ASE 2018: 768-778 - [c77]Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev:
Static serializability analysis for causal consistency. PLDI 2018: 90-104 - [c76]Caterina Urban, Samuel Ueltschi, Peter Müller:
Abstract Interpretation of CTL Properties. SAS 2018: 402-422 - [c75]Alexander J. Summers, Peter Müller:
Automating Deductive Verification for Weak-Memory Programs. TACAS (1) 2018: 190-209 - [e5]Peter Müller, Ina Schaefer:
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer 2018, ISBN 978-3-319-98046-1 [contents] - [i10]Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller:
Permission Inference for Array Programs. CoRR abs/1804.04091 (2018) - [i9]Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller:
Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR abs/1807.07822 (2018) - 2017
- [c74]Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth:
Precise Version Control of Trees with Line-Based Version Control Systems. FASE 2017: 152-169 - [c73]Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller:
A general framework for dynamic stub injection. ICSE 2017: 586-596 - [c72]Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev:
Serializability for eventual consistency: criterion, analysis, and applications. POPL 2017: 458-472 - [p2]Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Viper: A Verification Infrastructure for Permission-Based Reasoning. Dependable Software Systems Engineering 2017: 104-125 - [e4]Peter Müller:
31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. LIPIcs 74, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-035-4 [contents] - [i8]Alexander J. Summers, Peter Müller:
Automating Deductive Verification for Weak-Memory Programs. CoRR abs/1703.06368 (2017) - 2016
- [c71]Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution. CAV (1) 2016: 405-425 - [c70]Dimitar Asenov, Otmar Hilliges, Peter Müller:
The Effect of Richer Visualizations on Code Comprehension. CHI 2016: 5040-5045 - [c69]Alexander J. Summers, Peter Müller:
Actor Services - Modular Verification of Message Passing Programs. ESOP 2016: 699-726 - [c68]Maria Christakis, Peter Müller, Valentin Wüstholz:
Guiding dynamic symbolic execution toward unverified program executions. ICSE 2016: 144-155 - [c67]Dimitar Asenov, Peter Müller, Lukas Vogel:
The IDE as a scriptable information system. ASE 2016: 444-449 - [c66]Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz:
Integrated Environment for Diagnosing Verification Errors. TACAS 2016: 424-441 - [c65]Cédric Favre, Hagen Völzer, Peter Müller:
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). TACAS 2016: 463-479 - [c64]Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Viper: A Verification Infrastructure for Permission-Based Reasoning. VMCAI 2016: 41-62 - [i7]Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution. CoRR abs/1603.00649 (2016) - [i6]Dimitar Asenov, Peter Müller, Lukas Vogel:
The IDE as a Scriptable Information System (extended version). CoRR abs/1607.04452 (2016) - [i5]Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp:
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). Dagstuhl Reports 6(5): 56-71 (2016) - 2015
- [c63]Pontus Boström, Peter Müller:
Modular Verification of Finite Blocking in Non-terminating Programs. ECOOP 2015: 639-663 - [c62]Maria Christakis, Peter Müller, Valentin Wüstholz:
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI 2015: 336-354 - [c61]Pietro Ferrara, Peter Müller, Milos Novácek:
Automatic Inference of Heap Properties Exploiting Value Domains. VMCAI 2015: 393-411 - [i4]Peter Müller:
Building automatic program verifiers. PLMW@POPL 2015: 3:1 - 2014
- [c60]John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Constraint Semantics for Abstract Read Permissions. FTfJP@ECOOP 2014: 2:1-2:6 - [c59]Lucas Brutschy, Pietro Ferrara, Peter Müller:
TouchGuru: Integrating Static Analysis with a Mobile Development Environment. MobileDeLi 2014: 33-34 - [c58]Lucas Brutschy, Pietro Ferrara, Peter Müller:
Static analysis for independent app developers. OOPSLA 2014: 847-860 - [c57]Maria Christakis, Patrick Emmisberger, Peter Müller:
Dynamic Test Generation with Static Fields and Initializers. RV 2014: 269-284 - [c56]Maria Christakis, Peter Müller, Valentin Wüstholz:
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM 2014: 65-80 - [c55]Dimitar Asenov, Peter Müller:
Envision: A fast and flexible visual code editor with fluid interactions (Overview). VL/HCC 2014: 9-12 - 2013
- [c54]Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers:
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. ECOOP 2013: 451-476 - [c53]Dimitar Asenov, Peter Müller:
Customizing the visualization and interaction for embedded domain-specific languages in a structured editor. VL/HCC 2013: 127-130 - [c52]Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers:
Abstract Read Permissions: Fractional Permissions without the Fractions. VMCAI 2013: 315-334 - [p1]Werner Dietl, Peter Müller:
Object Ownership in Program Verification. Aliasing in Object-Oriented Programming 2013: 289-318 - 2012
- [j10]John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson:
Behavioral interface specification languages. ACM Comput. Surv. 44(3): 16:1-16:58 (2012) - [c51]Maria Christakis, Peter Müller, Valentin Wüstholz:
Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146 - [c50]Pietro Ferrara, Peter Müller:
Automatic Inference of Access Permissions. VMCAI 2012: 202-218 - [c49]Ioannis T. Kassios, Peter Müller, Malte Schwerhoff:
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE 2012: 196-208 - [e3]Rajeev Joshi, Peter Müller, Andreas Podelski:
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7152, Springer 2012, ISBN 978-3-642-27704-7 [contents] - 2011
- [j9]Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter:
Specification and verification: the Spec# experience. Commun. ACM 54(6): 81-91 (2011) - [j8]Werner Dietl, Sophia Drossopoulou, Peter Müller:
Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20:1-20:62 (2011) - [c48]Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers:
Fractional permissions without the fractions. FTfJP@ECOOP 2011: 1:1-1:6 - [c47]Werner Dietl, Michael D. Ernst, Peter Müller:
Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357 - [c46]Peter Müller, Joseph N. Ruskiewicz:
Using Debuggers to Understand Failed Verification Attempts. FM 2011: 73-87 - [c45]Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß:
The 1st Verified Software Competition: Experience Report. FM 2011: 154-168 - [c44]Alexander J. Summers, Peter Müller:
Freedom before commitment: a lightweight type system for object initialisation. OOPSLA 2011: 1013-1032 - [r1]Peter Müller:
Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Encyclopedia of Parallel Computing 2011: 704-710 - 2010