Peter Müller

Citée par

	Toutes	Depuis 2019
Citations	7999	2832
indice h	47	29
indice i10	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 500 611 512

Accès public

Tout afficher

22 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Alexander J. SummersThe University of British ColumbiaAdresse e-mail validée de ubc.ca
Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-LandauAdresse e-mail validée de cs.uni-kl.de
Gary T. LeavensProfessor, University of Central FloridaAdresse e-mail validée de cs.ucf.edu
Werner DietlElectrical and Computer Engineering, University of WaterlooAdresse e-mail validée de uwaterloo.ca
Sophia DrossopoulouProfessor, Imperial College LondonAdresse e-mail validée de imperial.ac.uk
Malte SchwerhoffLecturer Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
David BasinProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Marco EilersPostdoc at ETH ZurichAdresse e-mail validée de inf.ethz.ch
Maria ChristakisProfessor @ TU Wien InformaticsAdresse e-mail validée de tuwien.ac.at
Valentin WüstholzConsenSysAdresse e-mail validée de consensys.net
Felix A. WolfETH ZürichAdresse e-mail validée de inf.ethz.ch
Federico PoliPhD candidate, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Dimitar AsenovGoogleAdresse e-mail validée de google.com
Martin NordioETH ZurichAdresse e-mail validée de inf.ethz.ch
Ioannis T. KassiosGoogleAdresse e-mail validée de google.com
Lucas BrutschyConfluentAdresse e-mail validée de confluent.io
Stefan HeuleAdresse e-mail validée de cs.stanford.edu
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgAdresse e-mail validée de uol.de
Linard ArquintDoctoral Student, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceAdresse e-mail validée de inria.fr

Suivre

Peter Müller

ETH Zurich

Adresse e-mail validée de inf.ethz.ch - Page d'accueil

Program Verification Formal Methods Programming Methodology


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016	495	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs