Malte Schwerhoff

17 papers A* 1A 1B 2Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Fifteen Years of Viper.
CAV (1)
Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Peter Müller
2024 — conf
Verification Algorithms for Automated Separation Logic Verifiers.
CAV (1)
Marco Eilers, Malte Schwerhoff, Peter Müller
2024 J jnl
Verification Algorithms for Automated Separation Logic Verifiers.
CoRR
Marco Eilers, Malte Schwerhoff, Peter Müller
2023 A* conf
A Generic Methodology for the Modular Verification of Security Protocol Implementations.
CCS
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
2022 J jnl
A Generic Methodology for the Modular Verification of Security Protocol Implementations.
CoRR
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
2022 J jnl
Concise outlines for a complex logic: a proof outline checker for TaDA.
Formal Methods Syst. Des.
Felix A. Wolf, Malte Schwerhoff, Peter Müller
2021 B conf
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA.
FM
Felix A. Wolf, Malte Schwerhoff, Peter Müller
2020 J jnl
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).
CoRR
Felix A. Wolf, Malte Schwerhoff, Peter Müller
2017 — ch.
Viper: A Verification Infrastructure for Permission-Based Reasoning.
Dependable Software Systems Engineering
Peter Müller, Malte Schwerhoff, Alexander J. Summers
2016 — —
Advancing Automated, Permission-Based Program Verification Using Symbolic Execution.
Malte Schwerhoff
2016 — conf
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution.
CAV (1)
Peter Müller, Malte Schwerhoff, Alexander J. Summers
2016 J jnl
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution.
CoRR
Peter Müller, Malte Schwerhoff, Alexander J. Summers
2016 B conf
Viper: A Verification Infrastructure for Permission-Based Reasoning.
VMCAI
Peter Müller, Malte Schwerhoff, Alexander J. Summers
2015 J jnl
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact).
Dagstuhl Artifacts Ser.
Malte Schwerhoff, Alexander J. Summers
2015 A conf
Lightweight Support for Magic Wands in an Automatic Verifier.
ECOOP
Malte Schwerhoff, Alexander J. Summers
2014 — conf
Constraint Semantics for Abstract Read Permissions.
FTfJP@ECOOP
John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers
2012 — conf
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report.
VSTTE
Ioannis T. Kassios, Peter Müller, Malte Schwerhoff