Malte Schwerhoff

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 12

Top Topics

Propositional Dynamic Logic

Sequent Calculi

Test Generation

Top Venues

Dagstuhl Artifacts Ser.

Publications

Marco Eilers, Malte Schwerhoff, Peter Müller
Verification Algorithms for Automated Separation Logic Verifiers. CAV (1) (2024)
Marco Eilers, Malte Schwerhoff, Peter Müller
Verification Algorithms for Automated Separation Logic Verifiers. CoRR (2024)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CCS (2023)
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) (2022)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller
A Generic Methodology for the Modular Verification of Security Protocol Implementations. CoRR (2022)
Felix A. Wolf, Malte Schwerhoff, Peter Müller
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. FM (2021)
Felix A. Wolf, Malte Schwerhoff, Peter Müller
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper). CoRR (2020)
Peter Müller, Malte Schwerhoff, Alexander J. Summers
Viper: A Verification Infrastructure for Permission-Based Reasoning. VMCAI (2016)
Peter Müller, Malte Schwerhoff, Alexander J. Summers
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution. CoRR (2016)
Peter Müller, Malte Schwerhoff, Alexander J. Summers
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution. CAV (1) (2016)
Malte Schwerhoff, Alexander J. Summers
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Malte Schwerhoff, Alexander J. Summers
Lightweight Support for Magic Wands in an Automatic Verifier. ECOOP (2015)
John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers
Constraint Semantics for Abstract Read Permissions. FTfJP@ECOOP (2014)
Ioannis T. Kassios, Peter Müller, Malte Schwerhoff
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE (2012)