| Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002 | 356 | 2002 |
| Modular Specification and Verification of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001 | 353* | 2001 |
| Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004 | 275 | 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 | 268* | 2008 |
| Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005 | 227 | 2005 |
| A programming logic for sequential Java A Poetzsch-Heffter, P Müller European Symposium on Programming, 162-176, 1999 | 207 | 1999 |
| Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006 | 175 | 2006 |
| A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009 | 172 | 2009 |
| 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 | 171 | 2011 |
| 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 | 170 | 2007 |
| Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 16, 2012 | 167 | 2012 |
| Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007 | 133 | 2007 |
| Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009 | 125 | 2009 |
| Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016 | 117 | 2016 |
| Ownership transfer in universe types P Müller, A Rudich ACM SIGPLAN Notices 42 (10), 461-478, 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 | 105 | 2001 |
| Universes: A type system for controlling representation exposure P Müller, A Poetzsch-Heffter Programming Languages and Fundamentals of Programming, 131-140, 1999 | 103 | 1999 |
| A verification methodology for model fields KRM Leino, P Müller Programming Languages and Systems, 115-130, 2006 | 94 | 2006 |
| A program logic for bytecode F Bannwart, P Müller Electronic Notes in Theoretical Computer Science 141 (1), 255-273, 2005 | 71 | 2005 |
| Logical foundations for typed object-oriented languages A Poetzsch-Heffter, P Müller Proceedings of the IFIP TC2/WG2. 2, 2.3 International Conference on …, 1998 | 69 | 1998 |
Arnd Poetzsch-HeffterProfessor für Informatik, University of KaiserslauternVerified email at cs.uni-kl.de
