| Viper: A verification infrastructure for permission-based reasoning P Müller, M Schwerhoff, AJ Summers International Conference on Verification, Model Checking, and Abstract …, 2016 | 152 | 2016 |
| The Relationship Between Separation Logic and Implicit Dynamic Frames MJ Parkinson, AJ Summers Logical Methods in Computer Science 8 (3), 1-54, 2012 | 85 | 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 | 55 | 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 | 51 | 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 | 42 | 2013 |
| 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 | 34 | 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 | 34* | 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 | 31 | 2011 |
| Considerate reasoning and the composite design pattern AJ Summers, S Drossopoulou International Conference on Verification, Model Checking, and Abstract …, 2010 | 27 | 2010 |
| 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 | 26 | 2016 |
| 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 | 26 | 2015 |
| The need for flexible object invariants AJ Summers, S Drossopoulou, P Müller International Workshop on Aliasing, Confinement and Ownership in Object …, 2009 | 26 | 2009 |
| 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 | 22 | 2019 |
| 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 | 21 | 2007 |
| Actor Services : Modular Verification of Message Passing Programs AJ Summers, P Müller 25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016 | 20* | 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 | 16* | 2018 |
| Approaches to polymorphism in classical sequent calculus AJ Summers, S Van Bakel European Symposium on Programming, 84-99, 2006 | 15 | 2006 |
| A formal semantics for isorecursive and equirecursive state abstractions AJ Summers, S Drossopoulou European Conference on Object-Oriented Programming, 129-153, 2013 | 14 | 2013 |
| Towards a semantic model for Java wildcards AJ Summers, N Cameron, M Dezani-Ciancaglini, S Drossopoulou Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010 | 11 | 2010 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
