Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9317408 | System and method for systematic error injection in generated code | — | 2016-04-19 |
| 9311436 | Using an element in a first model to call a portion of a second model | Matthew Englehart, Srinath Avadhanula, Aravind Pillarisetti, Nirmal K. Gunaseelan, Hidayet T. Simsek | 2016-04-12 |
| 9304838 | Scheduling and executing model components in response to un-modeled events detected during an execution of the model | Arwen Warlock, Biao Yu, Matthew Englehart, Murali Yeddanapudi, Yuan Cao | 2016-04-05 |
| 9274928 | Verification of computer-executable code generated from a model | Mirko Conrad, Joel Thornton, Xiaocang Lin | 2016-03-01 |
| 9244510 | Bug report checks in a modeling system | Mirko Conrad, Thomas J. Erkkinen, Xiaocang Lin, David William Hoadley | 2016-01-26 |