Malte Schwerhoff
Malte Schwerhoff
Lecturer Computer Science, ETH Zurich
Verified email at inf.ethz.ch
Title
Cited by
Cited by
Year
Viper: A verification infrastructure for permission-based reasoning
P Müller, M Schwerhoff, AJ Summers
International conference on verification, model checking, and abstract …, 2016
1862016
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers
ETH Zurich, 2014
362014
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, M Novacek, M Schwerhoff, AJ Summers
362014
Lightweight Suppoert for Magic Wands in an Automatic Verifier
M Schwerhoff, AJ Summers
29th European Conference on Object-Oriented Programming (ECOOP 2015) 37, 614-638, 2015
292015
Automatic verification of iterated separating conjunctions using symbolic execution
P Müller, M Schwerhoff, AJ Summers
International Conference on Computer Aided Verification, 405-425, 2016
282016
Comparing verification condition generation with symbolic execution: an experience report
IT Kassios, P Müller, M Schwerhoff
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
242012
Symbolic execution for Chalice
M Schwerhoff
Eidgenössische Technische Hochschule Zürich, Departement of Computer Science …, 2011
162011
Advancing Automated, Permission-Based Program Verification Using Symbolic Execution
M Schwerhoff
ETH Zurich, 2016
132016
Constraint semantics for abstract read permissions
JT Boyland, P Müller, M Schwerhoff, AJ Summers
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 1-6, 2014
102014
Verifying scala traits
M Schwerhoff
Semester Report, Swiss Federal Institute of Technology Zurich (ETH), 2010
52010
Debugging Symbolic Execution
I Colombo, M Schwerhoff, P Müller
Master's Thesis, ETH Zurich, 2012
42012
Profiling Symbolic Execution
L Arquint
ETH Zurich, 2019
12019
Recording symbolic executions
A Buob, M Schwerhoff, P Müller
12015
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)
FA Wolf, M Schwerhoff, P Müller
arXiv preprint arXiv:2010.07080, 2020
2020
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
P Müller, FA Wolf, M Schwerhoff
arXiv, 2010.07080, 2020
2020
Adding Generalized Magic Wand Support to a Verification Condition Generation Based Verifier
A Gamal, AJ Summers, M Schwerhoff
2018
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)
M Schwerhoff, AJ Summers
DARTS-Dagstuhl Artifacts Series 1, 2015
2015
Concurrent Object-Oriented Programming with SCOOP
S Hudon, M Schwerhoff
2009
Comparing Verification Condition Generation with Symbolic Execution
M Schwerhoff
EIN FRAMEWORK ZUR ALGORITHMENVISUALISIERUNG
M Schwerhoff, M Luis
The system can't perform the operation now. Try again later.
Articles 1–20