| Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016 | 656 | 2016 |
| Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002 | 409 | 2002 |
| Modular Specification and Verification of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001 | 409* | 2001 |
| Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004 | 334 | 2004 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... Department of Computer Science, Iowa State University 226, 2008 | 331 | 2008 |
| 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), 1-30, 2019 | 280 | 2019 |
| Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005 | 263 | 2005 |
| Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012 | 250 | 2012 |
| Specification and verification: the Spec# experience M Barnett, M Fähndrich, KRM Leino, P Müller, W Schulte, H Venter Communications of the ACM 54 (6), 81-91, 2011 | 247 | 2011 |
| A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009 | 239 | 2009 |
| A programming logic for sequential Java A Poetzsch-Heffter, P Müller European Symposium on Programming, 162-176, 1999 | 225 | 1999 |
| Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006 | 205 | 2006 |
| Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009 | 197 | 2009 |
| Specification and verification challenges for sequential object-oriented programs GT Leavens, KRM Leino, P Müller Formal Aspects of Computing 19 (2), 159-189, 2007 | 194 | 2007 |
| Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007 | 160 | 2007 |
| Guiding dynamic symbolic execution toward unverified program executions M Christakis, P Müller, V Wüstholz Proceedings of the 38th International Conference on Software Engineering …, 2016 | 139 | 2016 |
| How do programmers use unsafe Rust? V Astrauskas, C Matheja, F Poli, P Müller, AJ Summers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 130 | 2020 |
| Nagini: a static verifier for Python M Eilers, P Müller International Conference on Computer Aided Verification, 596-603, 2018 | 124 | 2018 |
| Ownership transfer in universe types P Müller, A Rudich Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007 | 123 | 2007 |
| Universes: A type system for controlling representation exposure P Müller, A Poetzsch-Heffter Programming Languages and Fundamentals of Programming, 131-140, 1999 | 115 | 1999 |
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
