Malte Schwerhoff

17 papers A* 1A 1B 2Journal 6Unranked 5

Year	Rank	Type	Title / 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