Malte Schwerhoff

According to our database, Malte Schwerhoff authored at least 11 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Generic Methodology for the Modular Verification of Security Protocol Implementations.

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Müller

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Concise outlines for a complex logic: a proof outline checker for TaDA.

Felix A. Wolf, Malte Schwerhoff, Peter Müller

Formal Methods Syst. Des., August, 2022

2020

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).

Felix A. Wolf, Malte Schwerhoff, Peter Müller

CoRR, 2020

2017

Viper: A Verification Infrastructure for Permission-Based Reasoning.

Peter Müller, Malte Schwerhoff, Alexander J. Summers

Proceedings of the Dependable Software Systems Engineering, 2017

2016

Advancing Automated, Permission-Based Program Verification Using Symbolic Execution.

Malte Schwerhoff

PhD thesis, 2016

Viper: A Verification Infrastructure for Permission-Based Reasoning.

Peter Müller, Malte Schwerhoff, Alexander J. Summers

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution.

Peter Müller, Malte Schwerhoff, Alexander J. Summers

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact).

Malte Schwerhoff, Alexander J. Summers

Dagstuhl Artifacts Ser., 2015

Lightweight Support for Magic Wands in an Automatic Verifier.

Malte Schwerhoff, Alexander J. Summers

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Constraint Semantics for Abstract Read Permissions.

John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

2012

Comparing Verification Condition Generation with Symbolic Execution: An Experience Report.

Ioannis T. Kassios, Peter Müller, Malte Schwerhoff

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012