Inventor
REHOF JAKOB
US11 patents
Patents
11 patentsUS6907395B1Jun 14, 2005
System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model
MICROSOFT CORP208 citations99
US7155380B2Dec 26, 2006
System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model
MICROSOFT CORP74 citations98
US6813761B1Nov 2, 2004
Methods for enhancing flow analysis
MICROSOFT CORP52 citations95
US7203924B2Apr 10, 2007
Behavioral analysis for message-passing application programs
MICROSOFT CORP24 citations92
US7113900B1Sep 26, 2006
System and method for logical modeling of distributed computer systems
MICROSOFT CORP37 citations92
US6981249B1Dec 27, 2005
Methods for enhancing type reconstruction
MICROSOFT CORP40 citations91
US7703077B2Apr 20, 2010
Programming model to detect deadlocks in concurrent programs
MICROSOFT CORP10 citations84
US7694276B2Apr 6, 2010
Contracts and futures in an asynchronous programming language
MICROSOFT CORP12 citations84
US7500232B2Mar 3, 2009
Methods for enhancing flow analysis
MICROSOFT CORP11 citations83
US7574343B2Aug 11, 2009
System and method for logical modeling of distributed computer systems
MICROSOFT CORP15 citations81
US7647587B2Jan 12, 2010
Methods for enhancing type reconstruction
MICROSOFT CORP5 citations61