Inventor · disambiguated record
Mihalis Yannakakis
Also filed as: YANNAKAKIS MIHALIS
8 granted patents·1 pending application·306 citations·filing 1992–2013
88Inventor score
Top patents by PatentIndex Score
9 records- 0185US6804634B1Automatic generation and regeneration of a covering test case set from a modelLUCENT TECHNOLOGIES INC·Filed 2000·Granted Oct 12, 2004·71 cites·2 claims
- 0284US5483470ATiming verification by successive approximationAT & T CORP·Filed 1992·Granted Jan 9, 1996·102 cites·11 claims
- 0376US6324496B1Model checking of hierarchical state machinesLUCENT TECHNOLOGIES INC·Filed 1998·Granted Nov 27, 2001·88 cites·25 claims
- 0464US10021026B2Incremental update of a shape graphHEWLETT PACKARD DEVELOPMENT CO·Filed 2013·Granted Jul 10, 2018·2 cites·20 claims
- 0547US6526544B1Directly verifying a black box systemLUCENT TECHNOLOGIES INC·Filed 1999·Granted Feb 25, 2003·21 cites·4 claims
- 0642US6516306B1Model checking of message flow diagramsLUCENT TECHNOLOGIES INC·Filed 1999·Granted Feb 4, 2003·16 cites·21 claims
- 0737US2015256450A1Generating a Shape Graph for a Routing TableYANG SIYU·Filed 2012·Application pending·0 cites
- 0835US6681264B1Implied message sequence chartsLUCENT TECHNOLOGIES INC·Filed 2000·Granted Jan 20, 2004·0 cites·15 claims
- 0933US6061812AMethods and apparatus for generating passive testers from propertiesLUCENT TECHNOLOGIES INC·Filed 1998·Granted May 9, 2000·6 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →