| EnerJ: Approximate data types for safe and general low-power computation A Sampson, W Dietl, E Fortuna, D Gnanapragasam, L Ceze, D Grossman ACM SIGPLAN Notices 46 (6), 164-174, 2011 | 937 | 2011 |
| Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005 | 242 | 2005 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... Draft revision 1, 71, 2007 | 182 | 2007 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... | 168* | 2008 |
| Generic universe types W Dietl, S Drossopoulou, P Müller ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007 | 144 | 2007 |
| Collaborative verification of information flow for a high-assurance app store MD Ernst, R Just, S Millstein, W Dietl, S Pernsteiner, F Roesner, ... Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 130 | 2014 |
| Building and using pluggable type-checkers W Dietl, S Dietzel, MD Ernst, K Muşlu, TW Schiller Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 128 | 2011 |
| Static analysis of implicit control flow: Resolving java reflection and android intents (t) P Barros, R Just, S Millstein, P Vines, W Dietl, M d'Amorim, MD Ernst 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 108 | 2015 |
| ReIm & ReImInfer: Checking and inference of reference immutability and method purity W Huang, A Milanova, W Dietl, MD Ernst ACM SIGPLAN Notices 47 (10), 879-896, 2012 | 82 | 2012 |
| Verification games: Making verification fun W Dietl, S Dietzel, MD Ernst, N Mote, B Walker, S Cooper, T Pavlik, ... Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012 | 61 | 2012 |
| Inference and checking of object ownership W Huang, W Dietl, A Milanova, MD Ernst ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012 | 59 | 2012 |
| Protection of wavelet-based watermarking systems using filter parametrization W Dietl, P Meerwald, A Uhl Signal Processing 83 (10), 2095-2116, 2003 | 57 | 2003 |
| A type system for regular expressions E Spishak, W Dietl, MD Ernst Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012 | 53 | 2012 |
| Watermark security via wavelet filter parametrization P Meerwald, A Uhl Proceedings 2001 International Conference on Image Processing (Cat. No …, 2001 | 53 | 2001 |
| Tunable static inference for generic universe types W Dietl, MD Ernst, P Müller ECOOP 2011–Object-Oriented Programming: 25th European Conference, Lancaster …, 2011 | 50 | 2011 |
| Java UI : Effects for Controlling UI Object Access CS Gordon, W Dietl, MD Ernst, D Grossman ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 36 | 2013 |
| Universe types for topology and encapsulation D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ... Formal Methods for Components and Objects, 72-112, 2008 | 36 | 2008 |
| Universe Types Topology, Encapsulation, Genericity, and Tools WM Dietl Swiss Federal Institute of Technology Zurich, 2009 | 29 | 2009 |
| Object ownership in program verification W Dietl, P Müller Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013 | 28 | 2013 |
| Exceptions in ownership type systems W Dietl, P Müller Formal Techniques for Java-like Programs, 49-54, 2004 | 26 | 2004 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch
