Location History:
- Karnataka, IN (2013)
- Bengaluru, IN (2011 - 2015)
Company Filing History:
Years Active: 2011-2015
Title: Innovations by Manoj G Dixit
Introduction
Manoj G Dixit is a prominent inventor based in Bengaluru, India. He has made significant contributions to the field of software engineering, particularly in the area of formal methods and software requirements. With a total of 3 patents, his work has been influential in enhancing the quality and efficiency of software development processes.
Latest Patents
Manoj's latest patents include innovative systems and methods for generating high-quality formal executable software feature requirements. This patent focuses on generating formal software requirements from informal documents, utilizing annotations to extract syntax and generate necessary artifacts. Another notable patent is related to timing analysis using formal methods. This invention provides precise timing analysis scalable to industrial case studies, addressing various aspects such as task and message response times, ECU usage, and end-to-end latency. The method employs a formalism known as calendar automaton and utilizes modeling languages like Promela for analysis.
Career Highlights
Manoj G Dixit is currently associated with Gm Global Technology Operations LLC, where he applies his expertise in software engineering. His work has been pivotal in developing tools and methods that enhance the scalability and efficiency of timing analysis in complex systems. His innovative approaches have garnered attention in the industry, making him a respected figure in his field.
Collaborations
Manoj collaborates with talented professionals such as Ramesh Sethu and Swarup Kumar Mohalik. Their combined efforts contribute to the advancement of technology and the development of cutting-edge solutions in software engineering.
Conclusion
Manoj G Dixit is a distinguished inventor whose contributions to software engineering have made a significant impact. His innovative patents and collaborative efforts continue to drive advancements in the field, showcasing the importance of formal methods in software development.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.