| 12254778 |
Aircraft conflict detection and resolution |
Baoluo Meng, Szabolcs A. Borgyos, Saswata Paul |
2025-03-18 |
| 10585779 |
Systems and methods of requirements chaining and applications thereof |
Meng Li, Han Yu, Daniel Edward Russell |
2020-03-10 |
| 10402173 |
Systems and methods for arbitrary software logic modeling |
Liling Ren, Han Yu, Gregory Reed Sykes, Kit Yan Siu, Scott Alan Stacey |
2019-09-03 |
| 10346140 |
System and method for model based technology and process for safety-critical software development |
Timothy L. Johnson, Andrew Walter Crapo, Alexander Walsch, Kit Yan Siu, Luca Parolini +5 more |
2019-07-09 |
| 10249197 |
Method and system for mission planning via formal verification and supervisory controller synthesis |
Mauricio Castillo-Effen, Timothy L. Johnson |
2019-04-02 |
| 10169217 |
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges |
Han Yu, Kit Yan Siu, Meng Li, Baoluo Meng, Scott Alan Stacey +2 more |
2019-01-01 |
| 9940222 |
System and method for safety-critical software automated requirements-based test case generation |
Meng Li, Kit Yan Siu, Italo OLIVEIRA, Han Yu, Augusto Marasca De Conto |
2018-04-10 |
| 9792204 |
System and method for coverage-based automated test case augmentation for design models |
Meng Li, Jian Dai, Scott Alan Stacey |
2017-10-17 |
| 9747079 |
Method and system of software specification modeling |
Kit Yan Siu, Andrew Walter Crapo, Luca Parolini, Panagiotis Manolios, Han Yu +1 more |
2017-08-29 |
| 9014880 |
Trajectory based sense and avoid |
Harold Woodruff Tomlinson, Jr., Nikita Visnevski, Craig Hoover, Glenn Forman, Thomas Baby Sebastian +3 more |
2015-04-21 |
| 8160832 |
Apparatus and method for identifying a defect and/or operating characteristic of a system |
Huageng Luo, Andrew Lawrence Ruggiero, Zongqi Sun, Harry Kirk Mathews, Jr., Robert William Tait +2 more |
2012-04-17 |
| 7693673 |
Apparatus and method for identifying a defect and/or operating characteristic of a system |
Huageng Luo, Andrew Lawrence Ruggiero, Zongqi Sun, Harry Kirk Mathews, Jr., Robert William Tait +2 more |
2010-04-06 |
| 7693670 |
Cognitive electric power meter |
Zhiyuan Ren, Nikita Visnevski, Lauren Elizabeth Ray |
2010-04-06 |
| 7508173 |
System and method for providing reactive power support with distributed energy resource inverter |
Rui Zhou, Joseph Lucian Smolenski, William James Premerlani |
2009-03-24 |
| 7293400 |
System and method for sensor validation and fusion |
Avinash Vinayak Taware, Teeporn Paul Tanpitukpongse, Andrew Todd Lehmann, Kenneth Paul Meiners, Steven Keith Handelsman +3 more |
2007-11-13 |
| 6973791 |
Method and apparatus for reduction of combustor dynamic pressure during operation of gas turbine engines |
Steven Keith Handelsman, James David Rackmales, Mark Stephen Lipton, William Lee Barrow, Robert John Charles Pearson +1 more |
2005-12-13 |
