Inventor
RAJAMANI SRIRAM K
US22 patents
⚠️ This page may combine multiple inventors who share the name “RAJAMANI SRIRAM K”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
15 patentsUS7203924B2Apr 10, 2007
Behavioral analysis for message-passing application programs
MICROSOFT CORP24 citations92
US6904590B2Jun 7, 2005
Methods for enhancing program analysis
MICROSOFT CORP41 citations92
US7797669B1Sep 14, 2010
Analysis of distributed software systems via specification substitution
MICROSOFT CORP24 citations89
US7526750B2Apr 28, 2009
Object-based systematic state space exploration of software
MICROSOFT CORP25 citations89
US7058925B2Jun 6, 2006
System and method for generating a predicate abstraction of a program
MICROSOFT CORP27 citations89
US7536606B2May 19, 2009
Error detection in web services systems
MICROSOFT CORP40 citations87
US7757219B2Jul 13, 2010
Method for enhancing program analysis
MICROSOFT CORP15 citations84
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
US7650595B2Jan 19, 2010
Sound transaction-based reduction without cycle detection
MICROSOFT CORP12 citations83
US7555418B1Jun 30, 2009
Procedure summaries for multithreaded software
MICROSOFT CORP19 citations82
US7917900B2Mar 29, 2011
Enabling analysis of software source code
MICROSOFT CORP11 citations78
US7657867B2Feb 2, 2010
System and method for generating a predicate abstraction of a program
MICROSOFT CORP5 citations59
US7509534B2Mar 24, 2009
Counterexample driven refinement for abstract interpretation
MICROSOFT CORP4 citations56
US7702695B2Apr 20, 2010
Object relational map verification system
MICROSOFT CORP4 citations53
MICROSOFT TECHNOLOGY LICENSING LLC
4 patentsUS10917394B2Feb 9, 2021
Data operations using a proxy encryption key
MICROSOFT TECHNOLOGY LICENSING LLC2 citations69
US10484352B2Nov 19, 2019
Data operations using a proxy encryption key
MICROSOFT TECHNOLOGY LICENSING LLC4 citations69
US10904231B2Jan 26, 2021
Encryption using multi-level encryption key derivation
MICROSOFT TECHNOLOGY LICENSING LLC1 citations60
US9213843B2Dec 15, 2015
Analyzing access control configurations
MICROSOFT TECHNOLOGY LICENSING LLC2 citations60