| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers International conference on verification, model checking, and abstract …, 2016 | 186 | 2016 |
| The Relationship Between Separation Logic and Implicit Dynamic Frames MJ Parkinson, AJ Summers Logical Methods in Computer Science 8 (3), 1-54, 2012 | 92 | 2012 |
| A unified framework for verification techniques for object invariants S Drossopoulou, A Francalanza, P Müller, AJ Summers European Conference on Object-Oriented Programming, 412-437, 2008 | 56 | 2008 |
| Freedom before commitment: a lightweight type system for object initialisation AJ Summers, P Müller Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 55* | 2011 |
| Abstract read permissions: Fractional permissions without the fractions S Heule, KRM Leino, P Müller, AJ Summers International Conference on Verification, Model Checking, and Abstract …, 2013 | 44 | 2013 |
| Leveraging Rust types for modular specification and verification V Astrauskas, P Müller, F Poli, AJ Summers Proceedings of the ACM on Programming Languages 3 (OOPSLA), 147, 2019 | 39 | 2019 |
| Viper: A verification infrastructure for permission-based reasoning U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers Technical Report - ETH-Zürich, 2014 | 36 | 2014 |
| Universe types for topology and encapsulation D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ... International Symposium on Formal Methods for Components and Objects, 72-112, 2007 | 35 | 2007 |
| Verification condition generation for permission logics with abstract predicates and abstraction functions S Heule, IT Kassios, P Müller, AJ Summers European Conference on Object-Oriented Programming, 451-476, 2013 | 33 | 2013 |
| Fractional permissions without the fractions S Heule, KRM Leino, P Müller, AJ Summers Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs …, 2011 | 30 | 2011 |
| Considerate reasoning and the composite design pattern AJ Summers, S Drossopoulou International Conference on Verification, Model Checking, and Abstract …, 2010 | 30 | 2010 |
| Lightweight Support for Magic Wands in an Automatic Verifier M Schwerhoff, AJ Summers 29th European Conference on Object-Oriented Programming (ECOOP 2015) 37, 614 …, 2015 | 29 | 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 | 28 | 2016 |
| The need for flexible object invariants AJ Summers, S Drossopoulou, P Müller IWACO 9, 1-9, 2009 | 27 | 2009 |
| Actor Services : Modular Verification of Message Passing Programs AJ Summers, P Müller 25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016 | 25* | 2016 |
| Automating Deductive Verification for Weak-Memory Programs AJ Summers, P Müller Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018 | 23* | 2018 |
| Pandora: A reasoning toolbox using natural deduction style K Broda, J Ma, G Sinnadurai, A Summers Logic Journal of the IGPL 15 (4), 293-304, 2007 | 22 | 2007 |
| A formal semantics for isorecursive and equirecursive state abstractions AJ Summers, S Drossopoulou European Conference on Object-Oriented Programming, 129-153, 2013 | 18 | 2013 |
| Approaches to polymorphism in classical sequent calculus AJ Summers, S Van Bakel European Symposium on Programming, 84-99, 2006 | 15 | 2006 |
| 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 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
