Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10984195 | Methods and systems for using implied properties to make a controlled-english modelling language more natural | Andrew Walter Crapo | 2021-04-20 |
| 10585779 | Systems and methods of requirements chaining and applications thereof | Meng Li, Han Yu, Michael Richard Durling | 2020-03-10 |
| 10437713 | System and method for equivalence class analysis-based automated requirements-based test case generation | Panagiotis Manolios, Meng Li, Italo Romani de Oliveira, Augusto Marasca De Conto, Han Yu +1 more | 2019-10-08 |
| 10169217 | System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges | Han Yu, Michael Richard Durling, Kit Yan Siu, Meng Li, Baoluo Meng +2 more | 2019-01-01 |
| 8880339 | Schematic display for vertical navigation | Seth A. Cooper, David A. Gribble, David L. Leedom, Geoffrey A. Shapiro, James E. Winfield | 2014-11-04 |