Peter Müller

Cited by

	All	Since 2016
Citations	5771	1736
h-index	38	23
i10-index	94	47

400

200

100

300

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202133 55 95 79 121 224 266 380 322 381 301 340 362 374 287 316 293 306 351 328 363 93

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Arnd Poetzsch-HeffterProfessor für Informatik, University of KaiserslauternVerified email at cs.uni-kl.de
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Werner DietlElectrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Valentin WüstholzConsenSys DiligenceVerified email at consensys.net
Maria ChristakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Malte SchwerhoffLecturer Computer Science, ETH ZurichVerified email at inf.ethz.ch
Martin NordioETH ZurichVerified email at inf.ethz.ch
Dimitar AsenovGoogleVerified email at google.com
Ioannis T. KassiosGoogleVerified email at google.com
Lucas BrutschyHERE TechnologiesVerified email at inf.ethz.ch
Stefan HeuleGoogleVerified email at cs.stanford.edu
Marco EilersPhD student, ETH ZurichVerified email at inf.ethz.ch
Pietro FerraraAssistant Professor, Università Ca' Foscari di Venezia, ItalyVerified email at unive.it
Martin VechevProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Caterina UrbanINRIA & École Normale Supérieure, Paris, FranceVerified email at inria.fr

Peter Müller

ETH Zurich

Verified email at inf.ethz.ch - Homepage

Program Verification Formal Methods Programming Methodology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002	377	2002
Modular Speciﬁcation and Veriﬁcation of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001	377*	2001
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	289*	2008
Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004	286	2004
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	212	1999
Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016	193	2016
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	192	2011
Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012	188	2012
A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009	186	2009
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	182	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	180	2007
Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009	145	2009
Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007	137	2007
Ownership transfer in universe types P Müller, A Rudich Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007	111	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	106	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	95	2006
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	75	2016
The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011	71	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors