Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10437713 | System and method for equivalence class analysis-based automated requirements-based test case generation | Meng Li, Italo Romani de Oliveira, Augusto Marasca De Conto, Han Yu, Daniel Edward Russell +1 more | 2019-10-08 |
| 10346140 | System and method for model based technology and process for safety-critical software development | Timothy L. Johnson, Andrew Walter Crapo, Michael Richard Durling, Alexander Walsch, Kit Yan Siu +5 more | 2019-07-09 |
| 10025696 | System and method for equivalence class analysis-based automated requirements-based test case generation | Meng Li, Italo OLIVEIRA, Augusto Marasca De Conto | 2018-07-17 |
| 9983902 | System and method for multi-level real-time scheduling analyses | Gregory Reed Sykes, Kevin Jones, Hongwei Liao | 2018-05-29 |
| 9747079 | Method and system of software specification modeling | Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Han Yu +1 more | 2017-08-29 |
| 9639450 | Scalable methods for analyzing formalized requirements and localizing errors | — | 2017-05-02 |
| 8438513 | Quantifier elimination by dependency sequents | Evgueni Goldberg | 2013-05-07 |