Issued Patents All Time
Showing 25 most recent of 50 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12287211 | Vehicle routing problem (VRP) solution using annealer-based solvers | Hayato USHIJIMA-MWESIGWA, Pouya Shati | 2025-04-29 |
| 12174025 | Route generation for vehicle routing problem and variants thereof | Hayato USHIJIMA-MWESIGWA, Hanjing XU | 2024-12-24 |
| 11617122 | Network node clustering | Hayato USHIJIMA-MWESIGWA, Pouya Rezazadeh Kalehbasti | 2023-03-28 |
| 11537637 | Data clustering | Osman Asif Malik, Hayato USHIJIMA, Avradip MANDAL, Arnab Roy | 2022-12-27 |
| 11165646 | Network node clustering | Hayato USHIJIMA-MWESIGWA, Pouya Rezazadeh Kalehbasti | 2021-11-02 |
| 10938224 | Hardware/software reconfigurable, intelligent and versatile electrical energy provisioning system for on-grid and off-grid applications | Sudarshan Krishnamoorthy | 2021-03-02 |
| 10761961 | Identification of software program fault locations | Ripon K. SAHA, Mukul R. Prasad | 2020-09-01 |
| 10268572 | Interactive software program repair | Mukul R. Prasad, Hiroaki Yoshida, Ripon K. SAHA | 2019-04-23 |
| 9892027 | Event-driven software testing | Guodong Li | 2018-02-13 |
| 9767412 | Test size reduction using don't care analysis | Hiroaki Yoshida, Cuong Nguyen | 2017-09-19 |
| 9755893 | Provisioning virtual optical networks | Qianqian Wang, Mukul R. Prasad, Xi Wang, Paparao Palacharla | 2017-09-05 |
| 9735873 | Provisioning virtual optical networks | Mukul R. Prasad, Xi Wang, Paparao Palacharla | 2017-08-15 |
| 9619362 | Event sequence construction of event-driven software by combinational computations | Guodong Li | 2017-04-11 |
| 9614731 | Scalable provisioning of virtual optical network demands | Mukul R. Prasad, Fan Yu, Paparao Palacharla, Xi Wang | 2017-04-04 |
| 9531599 | Virtual optical network provisioning based on mapping choices and patterns | Mukul R. Prasad, Xi Wang, Paparao Palacharla | 2016-12-27 |
| 9501331 | Satisfiability checking | Guodong Li, Sreeranga P. Rajan | 2016-11-22 |
| 9483380 | Parameterized states in symbolic execution for software testing | Guodong Li | 2016-11-01 |
| 9477928 | System and method for comparing software frameworks | Sreeranga P. Rajan | 2016-10-25 |
| 9152543 | Symbolic execution with automatic abstractions | Guodong Li | 2015-10-06 |
| 9058427 | Iterative generation of symbolic test drivers for object-oriented languages | Maarten Wiggers | 2015-06-16 |
| 9038032 | Symbolic execution and automatic test case generation for JavaScript programs | Guodong Li, Praveen K. Murthy, Sreeranga P. Rajan | 2015-05-19 |
| 9021449 | Software regression testing using symbolic execution | Maarten Wiggers, Mukul R. Prasad | 2015-04-28 |
| 8996922 | Mixed numeric and string constraint analysis | Guodong Li | 2015-03-31 |
| 8972949 | Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver | Guodong Li | 2015-03-03 |
| 8943487 | Optimizing libraries for validating C++ programs using symbolic execution | Guodong Li, Sreeranga P. Rajan | 2015-01-27 |