| 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 |
