| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 445 | 2016 |
| Advancing Automated, Permission-Based Program Verification Using Symbolic Execution M Schwerhoff ETH Zurich, 2016 | 46 | 2016 |
| Automatic verification of iterated separating conjunctions using symbolic execution P Müller, M Schwerhoff, AJ Summers Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 43 | 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 | 42 | 2014 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, M Novacek, M Schwerhoff, AJ Summers | 42 | 2014 |
| Lightweight support for magic wands in an automatic verifier M Schwerhoff, AJ Summers 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 41 | 2015 |
| Comparing verification condition generation with symbolic execution: an experience report IT Kassios, P Müller, M Schwerhoff Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 25 | 2012 |
| Symbolic execution for Chalice M Schwerhoff Eidgenössische Technische Hochschule Zürich, Departement of Computer Science …, 2011 | 16 | 2011 |
| Concise outlines for a complex logic: a proof outline checker for TaDA FA Wolf, M Schwerhoff, P Müller Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 15 | 2021 |
| 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 (full paper) FA Wolf, M Schwerhoff, P Müller arXiv preprint arXiv:2010.07080, 2020 | 3 | 2020 |
| A generic methodology for the modular verification of security protocol implementations L Arquint, M Schwerhoff, V Mehta, P Müller Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 2 | 2023 |
| 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 Dagstuhl Artifacts Ser. 1 (1), 10:1-10:2, 2015 | | 2015 |
Peter MüllerETH ZurichE-mail confirmado em inf.ethz.ch
