Concepedia

Mike Barnett

MB

43

Publications

2.9K

Citations

24

H-Index

1979

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

Intel (United States)

University of Washington

Mike Barnett is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisVerificationFormal MethodsFormal VerificationSoftware EngineeringSoftware DesignParallel Computing

Publications per year

1979–2021

43

Publications

43

Verification of Object-Oriented Programs with Invariants.

Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 326 citations · Full text

Electromagnetism supercharged!: learning physics with digital simulation games

Kurt Squire, Mike Barnett, Jamillah M. A. Grant et al. · International Conference of Learning Sciences · 2004 · 246 citations

Science Education, Education, Simulation Video Game +18

Boogie: a modular reusable verifier for object-oriented programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine et al. · 2006 · 242 citations

Engineering, Program Analysis, Object-oriented Modeling +9

Weakest-precondition of unstructured programs

Mike Barnett, K. Rustan M. Leino · ACM SIGSOFT Software Engineering Notes · 2005 · 203 citations

Structured Program, Program Checking, Engineering +18

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

Rows per page

1–5 of 43