Inventor
YANNAKAKIS MIHALIS
US8 patents
⚠️ This page may combine multiple inventors who share the name “YANNAKAKIS MIHALIS”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
LUCENT TECHNOLOGIES INC
6 patentsUS6324496B1Nov 27, 2001
Model checking of hierarchical state machines
LUCENT TECHNOLOGIES INC88 citations95
US6804634B1Oct 12, 2004
Automatic generation and regeneration of a covering test case set from a model
LUCENT TECHNOLOGIES INC71 citations92
US6526544B1Feb 25, 2003
Directly verifying a black box system
LUCENT TECHNOLOGIES INC21 citations89
US6516306B1Feb 4, 2003
Model checking of message flow diagrams
LUCENT TECHNOLOGIES INC16 citations82
US6061812AMay 9, 2000
Methods and apparatus for generating passive testers from properties
LUCENT TECHNOLOGIES INC6 citations60
US6681264B1Jan 20, 2004
Implied message sequence charts
LUCENT TECHNOLOGIES INC0 citations44