Inventor

NECULA GEORGE

US2 patents

Patents

2 patents

US7574695B2Aug 11, 2009

Performing checks on the resource usage of computer programs

NTT DOCOMO INC20 citations90

US7730455B2Jun 1, 2010

Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints

NTT DOCOMO INC9 citations82