Peter Müller

Cited by

	All	Since 2019
Citations	8004	2837
h-index	47	29
i10-index	118	62

620

310

155

465

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 65 113 99 134 217 291 398 333 385 283 353 359 383 293 313 290 330 352 362 399 442 499 611 518

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-LandauVerified email at cs.uni-kl.de
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
Malte SchwerhoffLecturer Computer Science, ETH ZurichVerified email at inf.ethz.ch
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Marco EilersPostdoc at ETH ZurichVerified email at inf.ethz.ch
Maria ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
Valentin WüstholzConsenSysVerified email at consensys.net
Felix A. WolfETH ZürichVerified email at inf.ethz.ch
Federico PoliPhD candidate, ETH ZurichVerified email at inf.ethz.ch
Dimitar AsenovGoogleVerified email at google.com
Martin NordioETH ZurichVerified email at inf.ethz.ch
Ioannis T. KassiosGoogleVerified email at google.com
Lucas BrutschyConfluentVerified email at confluent.io
Stefan HeuleVerified email at cs.stanford.edu
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
Linard ArquintDoctoral Student, ETH ZurichVerified email at inf.ethz.ch
Caterina UrbanInria & École Normale Supérieure | Université PSL, 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
Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016	496	2016
Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002	398	2002
Modular Speciﬁcation and Veriﬁcation of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001	398*	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	321	2008
Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004	316	2004
Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005	250	2005
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	237	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	236	2012
A programming logic for sequential Java A Poetzsch-Heffter, P Müller European Symposium on Programming, 162-176, 1999	225	1999
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	223	2019
A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009	220	2009
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	195	2006
Specification and verification challenges for sequential object-oriented programs GT Leavens, KRM Leino, P Müller Formal Aspects of Computing 19, 159-189, 2007	187	2007
Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009	181	2009
Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007	152	2007
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	127	2016
Ownership transfer in universe types P Müller, A Rudich Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007	115	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	112	2001
Universes: A type system for controlling representation exposure P Müller, A Poetzsch-Heffter Programming Languages and Fundamentals of Programming, 131-140, 1999	109	1999
A verification methodology for model fields KRM Leino, P Müller Programming Languages and Systems, 115-130, 2006	105	2006

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

Follow

Cited by

Co-authors