Mihalis Yannakakis

This inventor holds 7 USPTO granted patents. Top assignees: Lucent Technologies Inc., At+t Corp.. Active years: 1996-2004.

IDiyas Innovation Intelligence. (2026). Inventor Profile: Mihalis Yannakakis. Retrieved from https://idiyas.com/inventor/mihalis-yannakakis

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

USPTO Granted Patents = 7

% Patents Active = 100.0

Average Co-Inventor Count = 2.6

ph-index = 5

Forward Citations = 156(Granted Patents)

Company Filing History:

6 out of 9,364

Lucent Technologies Inc.

Years Active: 1996-2004

Loading Chart...

7 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 6804634 - Automatic generation and regeneration of a covering test case set from a model (2004-10-12),

2. 6681264 - Implied message sequence charts (2004-01-20),

3. 6526544 - Directly verifying a black box system (2003-02-25),

4. 6516306 - Model checking of message flow diagrams (2003-02-04),

5. 6324496 - Model checking of hierarchical state machines (2001-11-27),

6. 6061812 - Methods and apparatus for generating passive testers from properties (2000-05-09),

7. 5483470 - Timing verification by successive approximation (1996-01-09),

Title: Mihalis Yannakakis: Innovator in Test Case Generation and Message Sequence Charts

Introduction

Mihalis Yannakakis is a prominent inventor based in Summit, NJ (US). He has made significant contributions to the fields of software testing and system design, holding a total of 7 patents. His work focuses on the automatic generation of test cases and the analysis of message sequence charts, which are crucial for ensuring the reliability of software systems.

Latest Patents

Yannakakis's latest patents include innovative methods for generating and regenerating a covering test case set from a model. One of his notable inventions is a method and apparatus for generating a covering set of test cases from a directed graph. This method involves receiving a set of selected test cases, marking the covered elements in the directed graph, and generating new test cases based on a coverage algorithm. This approach ensures that the resulting test case set meets the necessary coverage criteria.

Another significant patent addresses the determination of realizability in message sequence charts (MSCs). This system analyzes a set of MSCs to identify implied, unspecified MSCs and assesses whether the set can be realized in a deadlock-free automaton. If realizable, a state machine can be synthesized from the MSCs, enhancing the reliability of system implementations.

Career Highlights

Throughout his career, Mihalis Yannakakis has worked with notable companies such as Lucent Technologies Inc. and AT&T Corp. His experience in these organizations has allowed him to develop and refine his innovative ideas, contributing to advancements in software testing and system design.

Collaborations

Yannakakis has collaborated with esteemed colleagues, including Rajeev Alur and Gerard Johan Holzmann. These partnerships have fostered a rich exchange of ideas and have led to significant advancements in their respective fields.

Conclusion

Mihalis Yannakakis is a distinguished inventor whose work in test case generation and message sequence charts has had a profound impact on software reliability. His innovative patents and collaborations continue to shape the future of software engineering.

Profile summary based on public USPTO records.

Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]