Peter Müller

Citirano

	Sve	Od 2020.
Citati	8381	2778
H-indeks	47	27
i10-indeks	123	60

740

370

185

555

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 73 110 93 141 219 293 401 331 379 283 355 364 397 296 319 290 343 369 364 404 459 493 605 721 89

Javni pristup

Prikaži sve

22 članka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Alexander J. SummersThe University of British ColumbiaPotvrđena adresa e-pošte na ubc.ca
Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-LandauPotvrđena adresa e-pošte na cs.uni-kl.de
Gary T. LeavensProfessor, University of Central FloridaPotvrđena adresa e-pošte na cs.ucf.edu
Werner DietlElectrical and Computer Engineering, University of WaterlooPotvrđena adresa e-pošte na uwaterloo.ca
Sophia DrossopoulouProfessor, Imperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Malte SchwerhoffLecturer Computer Science, ETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
David BasinProfessor of Computer Science, ETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
Marco EilersPostdoc at ETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
Maria ChristakisProfessor @ TU Wien InformaticsPotvrđena adresa e-pošte na tuwien.ac.at
Valentin WüstholzConsenSysPotvrđena adresa e-pošte na consensys.net
Felix A. WolfETH ZürichPotvrđena adresa e-pošte na inf.ethz.ch
Federico PoliPhD, ETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
Dimitar AsenovGooglePotvrđena adresa e-pošte na google.com
Martin NordioETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
Ioannis T. KassiosThe Trade DeskPotvrđena adresa e-pošte na google.com
Lucas BrutschyConfluentPotvrđena adresa e-pošte na confluent.io
Stefan HeulePotvrđena adresa e-pošte na cs.stanford.edu
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgPotvrđena adresa e-pošte na uol.de
Linard ArquintDoctoral Student, ETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FrancePotvrđena adresa e-pošte na inria.fr

Prati

Peter Müller

ETH Zurich

Potvrđena adresa e-pošte na inf.ethz.ch - Početna stranica

Program Verification Formal Methods Programming Methodology


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Viper: A Verification Infrastructure for Permission-Based Reasoning P Müller, M Schwerhoff, AJ Summers Verification, Model Checking, and Abstract Interpretation, 41-62, 2016	544	2016
Modular specification and verification of object-oriented programs P Müller Springer-Verlag, 2002	402	2002
Modular Speciﬁcation and Veriﬁcation of Object-Oriented Programs P Müller PhD thesis, FernUniversitat Hagen, 2001	402*	2001
Object invariants in dynamic contexts K Leino, P Müller ECOOP 2004–Object-Oriented Programming, 95-108, 2004	325	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	323	2008
Universes: Lightweight ownership for JML W Dietl, P Müller Journal of Object Technology 4 (8), 5-32, 2005	253	2005
Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012	244	2012
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	244	2011
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	240	2019
A basis for verifying multi-threaded programs KRM Leino, P Müller European Symposium on Programming, 378-393, 2009	228	2009
A programming logic for sequential Java A Poetzsch-Heffter, P Müller European Symposium on Programming, 162-176, 1999	225	1999
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	200	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	188	2007
Verification of concurrent programs with Chalice KRM Leino, P Müller, J Smans Foundations of Security Analysis and Design V, 195-222, 2009	183	2009
Generic universe types W Dietl, S Drossopoulou, P Müller European Conference on Object-Oriented Programming, 28-53, 2007	151	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	126	2016
Ownership transfer in universe types P Müller, A Rudich Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007	118	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	111	1999
A verification methodology for model fields KRM Leino, P Müller Programming Languages and Systems, 115-130, 2006	108	2006

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori