| Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002 | 386 | 2002 |
| Modular Specification and Verification of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001 | 386* | 2001 |
| Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004 | 297 | 2004 |
| Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016 | 273 | 2016 |
| Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005 | 238 | 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 | 213 | 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 | 213 | 2011 |
| A programming logic for sequential Java A Poetzsch-Heffter, P Müller European Symposium on Programming, 162-176, 1999 | 210 | 1999 |
| A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009 | 200 | 2009 |
| Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006 | 189 | 2006 |
| 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 | 181 | 2007 |
| Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009 | 152 | 2009 |
| 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 | 147* | 2008 |
| Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007 | 139 | 2007 |
| Ownership transfer in universe types P Müller, A Rudich Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007 | 112 | 2007 |
| Universes: A Type System for Alias and Dependency Control P Müller, A Poetzsch-Heffter http://132.176.114.181/imperia/md/content …, 2001 | 109 | 2001 |
| Universes: A type system for controlling representation exposure P Müller, A Poetzsch-Heffter Programming Languages and Fundamentals of Programming, 131-140, 1999 | 105 | 1999 |
| A verification methodology for model fields KRM Leino, P Müller Programming Languages and Systems, 115-130, 2006 | 95 | 2006 |
| 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 | 93 | 2019 |
| 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 | 89 | 2016 |
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
