| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers International conference on verification, model checking, and abstract …, 2016 | 288 | 2016 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, P Müller, M Nováček, M Schwerhoff, AJ Summers ETH Zurich, 2014 | 38 | 2014 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, M Novacek, M Schwerhoff, AJ Summers | 38 | 2014 |
| 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 | 37 | 2015 |
| 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 | 35 | 2016 |
| Advancing Automated, Permission-Based Program Verification Using Symbolic Execution M Schwerhoff ETH Zurich, 2016 | 30 | 2016 |
| 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 | 25 | 2012 |
| Symbolic execution for Chalice M Schwerhoff Eidgenössische Technische Hochschule Zürich, Departement of Computer Science …, 2011 | 16 | 2011 |
| 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 | 10 | 2014 |
| Verifying scala traits M Schwerhoff Semester Report, Swiss Federal Institute of Technology Zurich (ETH), 2010 | 5 | 2010 |
| Debugging Symbolic Execution I Colombo, M Schwerhoff, P Müller Master's Thesis, ETH Zurich, 2012 | 4 | 2012 |
| Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA FA Wolf, M Schwerhoff, P Müller International Symposium on Formal Methods, 407-426, 2021 | 2 | 2021 |
| 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 | 1 | 2020 |
| Profiling Symbolic Execution L Arquint ETH Zurich, 2019 | 1 | 2019 |
| Recording symbolic executions A Buob, M Schwerhoff, P Müller | 1 | 2015 |
| Explaining Unsatisfiability Proofs through Examples P Strebel, M Schwerhoff | | 2021 |
| 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 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
