Concepedia

Péter Müller

PM

45

Publications

2K

Citations

23

H-Index

1973

Active since

Affiliations

ETH Zurich(Current)

Microsoft (United States)

University of Stuttgart

Iowa State University

University of Kaiserslautern

Péter Müller is an author at ETH Zurich specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisFormal MethodsFormal VerificationSoftware EngineeringSoftware DesignVerificationSystem Software

Publications per year

1973–2024

45

Publications

45

Specification and verification

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino et al. · Communications of the ACM · 2011 · 187 citations

Engineering, Multilingualism, Verification +19

Universes: Lightweight Ownership for JML.

Werner Dietl, Péter Müller · The Journal of Object Technology · 2005 · 172 citations · Full text

Modular invariants for layered object structures

Péter Müller, Arnd Poetzsch‐Heffter, Gary T. Leavens · Science of Computer Programming · 2006 · 130 citations

Geometric Modeling, Machine Vision, Engineering +10

Leveraging rust types for modular specification and verification

Vytautas Astrauskas, Péter Müller, Federico Poli et al. · Proceedings of the ACM on Programming Languages · 2019 · 129 citations · Full text

Program Checking, Engineering, Verification +20

Specification and verification challenges for sequential object-oriented programs

Gary T. Leavens, K. Rustan M. Leino, Péter Müller · Formal Aspects of Computing · 2007 · 124 citations · Full text

Rows per page

1–5 of 45