Statistics
Publications
60
Citations
4.9K
H-Index
33
Active since
1992
Manuel Fähndrich is an author at Microsoft (United States) specializing in computer science, computing, and programming languages.
Publications per year
1992–2019
60
60
Enforcing high-level protocols in low-level software
Robert DeLine, Manuel Fähndrich · 2001 · 487 citations
Verification of Object-Oriented Programs with Invariants.
Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 327 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 · 293 citations · Full text
Manuel Fähndrich, Robert DeLine · 2002 · 289 citations
Jeffrey S. Foster, Manuel Fähndrich, Alex Aiken · 1999 · 263 citations · Full text
1–5 of 60