| Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002 | 376 | 2002 |
| Modular Specification and Verification of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001 | 376* | 2001 |
| Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004 | 287 | 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 | 282* | 2008 |
| Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005 | 233 | 2005 |
| A programming logic for sequential Java A Poetzsch-Heffter, P Müller European Symposium on Programming, 162-176, 1999 | 214 | 1999 |
| 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 | 193 | 2011 |
| A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009 | 185 | 2009 |
| Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012 | 182 | 2012 |
| 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 | 182 | 2007 |
| Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016 | 181 | 2016 |
| Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006 | 181 | 2006 |
| Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009 | 142 | 2009 |
| Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007 | 142 | 2007 |
| Ownership transfer in universe types P Müller, A Rudich Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007 | 114 | 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 | 107 | 2001 |
| Universes: A type system for controlling representation exposure P Müller, A Poetzsch-Heffter Programming Languages and Fundamentals of Programming, 131-140, 1999 | 107 | 1999 |
| A verification methodology for model fields KRM Leino, P Müller Programming Languages and Systems, 115-130, 2006 | 97 | 2006 |
| A program logic for bytecode F Bannwart, P Müller Electronic Notes in Theoretical Computer Science 141 (1), 255-273, 2005 | 75 | 2005 |
| Deadlock-free channels and locks KRM Leino, P Müller, J Smans European Symposium on Programming, 407-426, 2010 | 73 | 2010 |
Arnd Poetzsch-HeffterProfessor für Informatik, University of KaiserslauternVerified email at cs.uni-kl.de
