Issued Patents 2020
Showing 1–25 of 36 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10846080 | Cooperative updating of software | Omer Tripp, Pietro Ferrara | 2020-11-24 |
| 10846401 | System, method and apparatus for usable code-level statistical analysis with applications in malware detection | Pietro Ferrara, Omer Tripp | 2020-11-24 |
| 10839312 | Warning filter based on machine learning | Aleksandr Y. Aravkin, Salvatore A. Guarnieri, Omer Tripp | 2020-11-17 |
| 10838915 | Data-centric approach to analysis | Omer Tripp, Pietro Ferrara, David M. Lubensky | 2020-11-17 |
| 10831495 | Parallelization of numeric optimizers | Peng Liu, Richard Chen, Shaohan Hu, John A. Gunnels, Antonio Mezzacapo | 2020-11-10 |
| 10832173 | Cognitive software development | Joseph W. Ligman, Stephen Wood, Shaohan Hu | 2020-11-10 |
| 10831455 | Quantum circuit compilation with quantum libraries as a service | Jay M. Gambetta, Ismael Faro Sertage | 2020-11-10 |
| 10803215 | Incremental generation of quantum circuits | Don Greenberg, Ali Javadiabhari, Richard Chen, Jay M. Gambetta | 2020-10-13 |
| 10803395 | Quantum computations of classical specifications | Jay M. Gambetta, Antonio Mezzacapo, Richard Chen, Stephen Wood, Peng Liu +6 more | 2020-10-13 |
| 10762063 | Cognitive mobile application design search engine including a keyword search | Kyungmin Lee, Joe Ligman, Stephen Wood | 2020-09-01 |
| 10754947 | System, method and apparatus for usable code-level statistical analysis with applications in malware detection | Pietro Ferrara, Omer Tripp | 2020-08-25 |
| 10754622 | Extracting mobile application workflow from design files | Kyungmin Lee, David M. Lubensky, Stephen Wood | 2020-08-25 |
| 10740659 | Fusing sparse kernels to approximate a full kernel of a convolutional neural network | Richard Chen, Quanfu Fan, Toyotaro Suzumura | 2020-08-11 |
| 10742666 | System and method for static detection and categorization of information-flow downgraders | Yinnon A. Haviv, Roee Hay, Guy Podjarny, Adi Sharabani, Takaaki Tateishi +2 more | 2020-08-11 |
| 10740071 | Predicting and using utility of script execution in functional web crawling and other crawling | Omer Tripp, Shahar Sperling | 2020-08-11 |
| 10726357 | Cross-platform program analysis using machines learning based on universal features | Omer Tripp, Stephen Wood | 2020-07-28 |
| 10721419 | Ortho-selfie distortion correction using multiple image sensors to synthesize a virtual image | Guy M. Cohen, Lior Horesh, Raya Horesh | 2020-07-21 |
| 10713055 | Parallelization of numeric optimizers | Peng Liu, Richard Chen, Shaohan Hu, John A. Gunnels, Antonio Mezzacapo | 2020-07-14 |
| 10701099 | Providing efficient information tracking with dynamically selected precision | Pietro Ferrara, Omer Tripp, Petar Tsankov | 2020-06-30 |
| 10699212 | Cross-platform program analysis using machine learning based on universal features | Omer Tripp, Stephen Wood | 2020-06-30 |
| 10698789 | Fuzz testing for quantum SDK | Peng Liu | 2020-06-30 |
| 10678517 | User interface synthesis based upon extracted presentation document graphical features | Omer Tripp, Joseph W. Ligman | 2020-06-09 |
| 10671517 | Generating mobile test sequences | Peng Liu | 2020-06-02 |
| 10649740 | Predicting and using utility of script execution in functional web crawling and other crawling | Omer Tripp, Shahar Sperling | 2020-05-12 |
| 10650149 | Identifying computer program security access control violations using static analysis | Matthias Daniel Dietsch, Pietro Ferrara, Omer Tripp | 2020-05-12 |