Issued Patents All Time
Showing 1–23 of 23 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12358391 | Method and system for using idle computing power of an electric vehicle | Aravind Gangumalla, Anil K. Sachdev, Anil Bika, Nathan Thompson | 2025-07-15 |
| 12304514 | Method for following a lead vehicle without vehicle-to-vehicle communication | Md Mhafuzul Islam, Arun Adiththan, Prakash Mohan Peranandam | 2025-05-20 |
| 12280789 | Architecture and methodology for vehicle motion control health monitoring and mitigation | SeyedAlireza Kasaiezadeh Mahabadi, Arun Adiththan, Qingrong Zhao, Wen-Chiao Lin, Shiming Duan +2 more | 2025-04-22 |
| 12223841 | System amd method for providing a ride assistant for on-demand autonomy | Arun Adiththan, Prakash Mohan Peranandam | 2025-02-11 |
| 12137366 | Electronics and data resource sharing marketplace platform | Prakash Mohan Peranandam, Arun Adiththan, Paolo Giusto | 2024-11-05 |
| 12026165 | Cooperative system architecture for engineering asset management and sharing | Paolo Giusto, Roy J. Mathieu, Prakash Mohan Peranandam, Arun Adiththan, Shige Wang +4 more | 2024-07-02 |
| 11869025 | Charging infrastructure and remote computing system for electric vehicle computing node | Aravind Gangumalla, Anil K. Sachdev, Anil Bika, Nathan Thompson | 2024-01-09 |
| 11862024 | System and method for software architecture for leader vehicle capabilities for an on-demand autonomy (ODA) service | Prakash Mohan Peranandam, Arun Adiththan, Joseph G. D Ambrosio | 2024-01-02 |
| 11861530 | System, and methods for implementing a server architecture for an On-Demand Autonomy (ODA) service | Arun Adiththan, Prakash Mohan Peranandam, Joseph G. D Ambrosio | 2024-01-02 |
| 11803365 | System and process for vehicle software configuration coverage measurement for update validation | Prakash Mohan Peranandam, Arun Adiththan, Muralikrishnan Kailasam, Zhiqiang Zhou | 2023-10-31 |
| 11790775 | Methods and systems for indicating a driving situation to external users | Prakash Mohan Peranandam, Arun Adiththan, Joseph G. D Ambrosio | 2023-10-17 |
| 11455538 | Correctness preserving optimization of deep neural networks | Prakash Mohan Peranandam, Alena Rodionova | 2022-09-27 |
| 10534368 | Crowdsource-based virtual sensor generation and virtual sensor application control | Arun Adiththan, Shuqing Zeng, Upali P. Mudalige | 2020-01-14 |
| 9342489 | Automatic linking of requirements using natural language processing | Prakash Mohan Peranandam, Dnyanesh Rajpathak, Soumen De | 2016-05-17 |
| 9342441 | Methodology and tool support for test organization and migration for embedded software | Shige Wang | 2016-05-17 |
| 9152385 | Systems and methods for generating high-quality formal executable software feature requirements | Arun Chakrapani Rao, Manoj G. Dixit | 2015-10-06 |
| 8683442 | Software test case generation from a partial design model | Prakash Mohan Peranandam, Ambar A. Gadkari | 2014-03-25 |
| 8589898 | Method and apparatus for analyzing software including a calibrated value | Srihari Sukumaran | 2013-11-19 |
| 8584108 | Method and apparatus for analyzing software | Srihari Sukumaran | 2013-11-12 |
| 8484009 | Timing analysis using formal methods | Swarup Kumar MOHALIK, Rajeev Ariyattu Chandrasekharan, Manoj G. Dixit, Devesh B Chokshi | 2013-07-09 |
| 8453119 | Online formal verification of executable models | Swarup Kumar MOHALIK, Prasanna Ganesan | 2013-05-28 |
| 8121964 | State machine method for editing requirements using transition systems, a sub-state mechanism, and a partial behaviors mechanism in order to reduce complexity and the number of states | Prahladavaradan Sampath | 2012-02-21 |
| 8082140 | Parametric analysis of real time response guarantees on interacting software components | Manoj G. Dixit, Pallab Dasgupta | 2011-12-20 |