Concepedia

Manuel Fähndrich

MF

60

Publications

4.8K

Citations

33

H-Index

1992

Active since

Affiliations

Microsoft (United States)(Current)

University of California, Berkeley

Microsoft Research (United Kingdom)

Manuel Fähndrich is an author at Microsoft (United States) specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisFormal MethodsFormal VerificationSoftware EngineeringSystem SoftwareSoftware DesignComputer Engineering

Publications per year

1992–2019

60

Publications

60

Enforcing high-level protocols in low-level software

Robert DeLine, Manuel Fähndrich · 2001 · 481 citations

Engineering, Information Security, Resource Management +21

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

Language support for fast and reliable message-based communication in singularity OS

Manuel Fähndrich, Mark Aiken, Chris Hawblitzel et al. · 2006 · 287 citations · Full text

Engineering, System Programming, Verification +21

Adoption and focus

Manuel Fähndrich, Robert DeLine · 2002 · 285 citations

Family Medicine, Engineering, Family Involvement +24

A theory of type qualifiers

Jeffrey S. Foster, Manuel Fähndrich, Alex Aiken · 1999 · 263 citations · Full text

Engineering, Generic Programming, Automated Reasoning +12

Rows per page

1–5 of 60