| 2025 | CAV | Fifteen Years of Viper. | Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Peter Mller |
| 2024 | CAV | Verification Algorithms for Automated Separation Logic Verifiers. | Marco Eilers, Malte Schwerhoff, Peter Mller |
| 2023 | CCS | A Generic Methodology for the Modular Verification of Security Protocol Implementations. | Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Mller |
| 2021 | FM | Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. | Felix A. Wolf, Malte Schwerhoff, Peter Mller |
| 2016 | CAV | Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution. | Peter Mller, Malte Schwerhoff, Alexander J. Summers |
| 2016 | VMCAI | Viper: A Verification Infrastructure for Permission-Based Reasoning. | Peter Mller, Malte Schwerhoff, Alexander J. Summers |
| 2015 | ECOOP | Lightweight Support for Magic Wands in an Automatic Verifier. | Malte Schwerhoff, Alexander J. Summers |
| 2014 | ECOOP | Constraint Semantics for Abstract Read Permissions. | John Tang Boyland, Peter Mller, Malte Schwerhoff, Alexander J. Summers |