LexDanaLexDanabeta
Inventor

K. Rustan M. Leino

Inventor
Bellevue, WA, US

Overview

10→
Patents
1993–2011
Patent span
Physics
Primary field (CPC G)

Patents· 10 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing82%
G06NComputing arrangements based on specific computational models9%
G07FCoin-freed or like apparatus9%
PatentTitleYear
7,926,037'Hiding irrelevant facts in verification conditions'20117,774,787'Method for specifying and verifying multi-threaded object-oriented programs with invariants'20107,590,978'Inferring object invariant method and system'20097,559,054'Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain'20097,120,902'Method and apparatus for automatically inferring annotations'20067,024,661'System and method for verifying computer program correctness and providing recoverable execution trace information'20066,978,443'Method and apparatus for organizing warning messages'20056,353,925'System and method for lexing and parsing program annotations'20025,987,252'Method and apparatus for statically analyzing a computer program for data dependencies'19995,244,214'Gaming device'1993

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

1993Patents assigned to RAMA AUTOMAATTIYHDISTYS (1)· patent assignee history
1993Based in Espoo, FI· patent location history
1999Patents assigned to DIGITAL EQUIPMENT CORP (1)· patent assignee history
1999–2006Based in Sunnyvale, CA, US· patent location history
2002Patents assigned to COMPAQ COMPUTER CORP (1)· patent assignee history
2005–2006Patents assigned to HEWLETT PACKARD DEVELOPMENT CO (3)· patent assignee history
2005–2011Based in Bellevue, WA, US· patent location history
2009–2011Patents assigned to MICROSOFT CORP (4)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MICROSOFT CORP42009–2011
HEWLETT PACKARD DEVELOPMENT CO32005–2006
COMPAQ COMPUTER CORP12002
DIGITAL EQUIPMENT CORP11999
RAMA AUTOMAATTIYHDISTYS11993
Locations
LocationPatentsSpan
Bellevue, Washington, US52005–2011
Sunnyvale, California, US41999–2006
Espoo, FI11993