| 9513880 |
Graphical function specialization |
Srinath Avadhanula, Pieter J. Mosterman |
2016-12-06 |
| 9507572 |
Time-based operations via textual code in a technical computing environment |
Srinath Avadhanula, Pieter J. Mosterman |
2016-11-29 |
| 9501339 |
Message-based model verification |
Alan J. Moore |
2016-11-22 |
| 9411559 |
Resolution of textual code in a graphical hierarchical model of a technical computing environment |
Srinath Avadhanula, Pieter J. Mosterman, Yit Phang Khoo, John P. Dirner, Krishna Balasubramanian |
2016-08-09 |
| 9311057 |
Action languages for unified modeling language model |
Jean-Yves Brunel, Nathan E. Brewton, Pieter J. Mosterman |
2016-04-12 |
| 9292419 |
Code coverage and confidence determination |
Kiran K. Kintali, Anand Krishnamoorthi, Richard M. McKeever |
2016-03-22 |
| 9268622 |
Message-based model verification |
Alan J. Moore |
2016-02-23 |
| 9256485 |
System and method for generating message sequence diagrams from graphical programs |
Alan J. Moore, Pieter J. Mosterman |
2016-02-09 |
| 9256406 |
Graphically scoped C-functions inside stateflow |
— |
2016-02-09 |
| 9245068 |
Altering an attribute of a model based on an observed spatial attribute |
Pieter J. Mosterman, Andrew Grace |
2016-01-26 |