Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. - Ioannis T. Kassios; Peter Müller 001; Malte Schwerhoff (VSTTE, 2012)

Constraint Semantics for Abstract Read Permissions. - John Tang Boyland; Peter Müller 001; Malte Schwerhoff; Alexander J. Summers (FTfJP@ECOOP, 2014)

Lightweight Support for Magic Wands in an Automatic Verifier. - Malte Schwerhoff; Alexander J. Summers (ECOOP, 2015)

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact). - Malte Schwerhoff; Alexander J. Summers (Dagstuhl Artifacts Ser., 2015)

Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution. - Peter Müller 001; Malte Schwerhoff; Alexander J. Summers (CAV (1), 2016)

Viper: A Verification Infrastructure for Permission-Based Reasoning. - Peter Müller 001; Malte Schwerhoff; Alexander J. Summers (VMCAI, 2016)

Advancing Automated, Permission-Based Program Verification Using Symbolic Execution. - Malte Schwerhoff (2016)

Viper: A Verification Infrastructure for Permission-Based Reasoning. - Peter Müller 001; Malte Schwerhoff; Alexander J. Summers (Dependable Software Systems Engineering, 2017)

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper). - Felix A. Wolf; Malte Schwerhoff; Peter Müller 001 (CoRR, 2020)

Concise outlines for a complex logic: a proof outline checker for TaDA. - Felix A. Wolf; Malte Schwerhoff; Peter Müller 001 (Formal Methods Syst. Des., 2022)

A Generic Methodology for the Modular Verification of Security Protocol Implementations. - Linard Arquint; Malte Schwerhoff; Vaibhav Mehta; Peter Müller 001 (CCS, 2023)

Verification Algorithms for Automated Separation Logic Verifiers. - Marco Eilers; Malte Schwerhoff; Peter Müller 001 (CAV (1), 2024)

Fifteen Years of Viper. - Marco Eilers; Malte Schwerhoff; Alexander J. Summers; Peter Müller 001 (CAV (1), 2025)