Inventor
Mihalis Yannakakis
Inventor
Summit, NJ, US
Overview
Patents· 8 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing88%
H04LTransmission of digital information, e.g. telegraphic communication13%
PatentTitleYear
10,021,026Incremental update of a shape graph20186,804,634'Automatic generation and regeneration of a covering test case set from a model'20046,681,264'Implied message sequence charts'20046,526,544'Directly verifying a black box system'20036,516,306'Model checking of message flow diagrams'20036,324,496'Model checking of hierarchical state machines'20016,061,812'Methods and apparatus for generating passive testers from properties'20005,483,470'Timing verification by successive approximation'1996Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
1996Patents assigned to AT & T CORP (1)· patent assignee history
1996–2004Based in Summit, NJ, US· patent location history
2000–2004Patents assigned to LUCENT TECHNOLOGIES INC (6)· patent assignee history
2018Patents assigned to HANGZHOU H3C TECH CO LTD (1)· patent assignee history
2018Patents assigned to HEWLETT PACKARD DEVELOPMENT CO (1)· patent assignee history
2018Patents assigned to HEWLETT PACKARD ENTPR DEV LP (1)· patent assignee history
2018Based in New York, NY, US· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| LUCENT TECHNOLOGIES INC | 6 | 2000–2004 |
| AT & T CORP | 1 | 1996 |
| HANGZHOU H3C TECH CO LTD | 1 | 2018 |
| HEWLETT PACKARD DEVELOPMENT CO | 1 | 2018 |
| HEWLETT PACKARD ENTPR DEV LP | 1 | 2018 |
Locations
| Location | Patents | Span |
|---|---|---|
| Summit, New Jersey, US | 7 | 1996–2004 |
| New York, New York, US | 1 | 2018 |