This inventor holds 2 USPTO granted patents. Top assignee: Lucent Technologies Inc.. Active years: 2001.
Company Filing History:
Years Active: 2001
Title: Innovations by Husnu Yenigun
Introduction
Husnu Yenigun is a notable inventor based in Kucukesat, Ankara, Turkey. He has made significant contributions to the field of technology, particularly in the area of model checking and verification processes. With a total of 2 patents, his work has advanced the understanding and application of static partial order reduction in multi-process systems.
Latest Patents
Yenigun's latest patents include innovative methods that enhance the efficiency of state space graph reduction. One of his patents, titled "Static Partial Order Reduction," describes a generator and process that results in a substantially reduced state space graph of a multi-process system, independent of the model checking process. This invention allows for the creation of a modified state graph generator with appended rules, enabling various state searching tactics to be employed during verification. This advancement permits the use of existing model checking tools without requiring modifications.
Another significant patent is "Verifying Hardware in its Software Context and Vice-Versa." This method and apparatus utilize static partial order reduction and symbolic verification to design a system that integrates both hardware and software verification. The system is specified in both hardware-centric and software-centric languages, allowing properties to be verified individually. This dual approach ensures that hardware-centric properties with minimal software do not employ static partial order reduction, while software-centric properties and those with substantial software do.
Career Highlights
Husnu Yenigun is currently associated with Lucent Technologies Inc., where he continues to innovate and contribute to advancements in technology. His work has been instrumental in bridging the gap between hardware and software verification processes.
Collaborations
Yenigun has collaborated with esteemed colleagues such as Robert Paul Kurshan and Vladimir Levin, further enhancing the impact of his inventions in the field.
Conclusion
Husnu Yenigun's contributions to the field of technology through his patents and collaborative efforts have significantly advanced the processes of model checking and verification. His innovative approaches continue to influence the integration of hardware and software systems.