Issued Patents All Time
Showing 26–50 of 59 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9600241 | Unified state transition table describing a state machine model | Siddhartha Shankar, Srinath Avadhanula, Vijaya Raghavan, Yao Ren | 2017-03-21 |
| 9582933 | Interacting with a model via a three-dimensional (3D) spatial environment | Pieter J. Mosterman, Jay Ryan Torgerson, Daniel F. Higgins, Paul F. Kinnucan | 2017-02-28 |
| 9547481 | Textual code provided in temporal and change operators of a technical computing environment | Srinath Avadhanula, Pieter J. Mosterman | 2017-01-17 |
| 9547423 | Systems and methods for generating message sequence diagrams from graphical programs | Alan J. Moore, Pieter J. Mosterman | 2017-01-17 |
| 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 |
| 9117039 | Generating a three-dimensional (3D) report, associated with a model, from a technical computing environment (TCE) | Pieter J. Mosterman, Jay Ryan Torgerson, Daniel F. Higgins, Paul F. Kinnucan | 2015-08-25 |
| 9038016 | User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment | Paul F. Kinnucan, Pieter J. Mosterman | 2015-05-19 |
| 8965742 | Hierarchically scoped resettable variables in graphical modeling environments | Vijay Raghavan | 2015-02-24 |
| 8924193 | Generating variants from file differences | Timothy Hosey, Robert O. Aberg | 2014-12-30 |
| 8812276 | Determining model components suitable for verification analysis | William J. Aldrich, Denizhan N. Alparslan | 2014-08-19 |
| 8504336 | Hierarchically scoped resettable variables in graphical modeling environments | Vijay Raghavan | 2013-08-06 |
| 8464188 | Multi-rate hierarchical state diagrams | Vijay Raghavan | 2013-06-11 |
| 8436726 | Stage evaluation of a state machine | Vijay Raghavan | 2013-05-07 |
| 8418097 | Multi-rate hierarchical state diagrams | Vijay Raghavan | 2013-04-09 |
| 8225275 | System and method for providing indicators of textual items having intrinsic executable computational meaning within a graphical language environment | Jay Ryan Torgerson, Vijay Raghavan | 2012-07-17 |
| 8214783 | Stage evaluation of a state machine | Vijay Raghavan | 2012-07-03 |