Mihalis Yannakakis

Follow

Person

Summit, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic generation and regeneration of a covering test case set f...
- Patent number 6,804,634
- Issue date Oct 12, 2004
- Lucent Technologies Inc.
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implied message sequence charts
- Patent number 6,681,264
- Issue date Jan 20, 2004
- Lucent Technologies Inc.
- Rajeev Alur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Directly verifying a black box system
- Patent number 6,526,544
- Issue date Feb 25, 2003
- Lucent Technologies Inc.
- Doron A. Peled
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking of message flow diagrams
- Patent number 6,516,306
- Issue date Feb 4, 2003
- Lucent Technologies Inc.
- Rajeev Alur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking of hierarchical state machines
- Patent number 6,324,496
- Issue date Nov 27, 2001
- Lucent Technologies Inc.
- Rajeev Alur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and apparatus for generating passive testers from properties
- Patent number 6,061,812
- Issue date May 9, 2000
- Lucent Technologies Inc.
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Timing verification by successive approximation
- Patent number 5,483,470
- Issue date Jan 9, 1996
- AT&T Corp.
- Rajeev Alur
- G06 - COMPUTING CALCULATING COUNTING