Issued Patents All Time
Showing 25 most recent of 34 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12360748 | Systems and methods for performing worst-case execution time analysis of simulation models | Yuchen Zhang, Partha Biswas, Dixin Zhou, Mario Bambagini, William F. Potter +1 more | 2025-07-15 |
| 10915302 | Identification and visualization of associations among code generated from a model and sources that affect code generation | Wuwei Liang, Sherman Braganza, Wei Wang, Yong HUANG, Michael Iannicelli | 2021-02-09 |
| 10394533 | Reusable component in a modeling environment | Peter Szpak | 2019-08-27 |
| 10379821 | Optimization tracing | Robert O. Aberg | 2019-08-13 |
| 9934004 | Optimization identification | Aravind Pillarisetti, Peter Szpak, Jesung Kim, Pieter J. Mosterman | 2018-04-03 |
| 9891894 | Code continuity preservation during automatic code generation | Matthew Englehart, Hidayet T. Simsek, Peter Szpak, Michael D. Tocci | 2018-02-13 |
| 9612806 | Verification of computer-executable code generated from a model | Mirko Conrad, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jayaprabha Shankar | 2017-04-04 |
| 9361119 | Active code component identification and manipulation for preprocessor variants | — | 2016-06-07 |
| 9342276 | Optimization tracing | Robert O. Aberg | 2016-05-17 |
| 9280324 | Traceability in a modeling environment | Aravind Pillarisetti, William J. Aldrich, Kai Tuschner | 2016-03-08 |
| 9274928 | Verification of computer-executable code generated from a model | Mirko Conrad, Joel Thornton, Peter Szpak | 2016-03-01 |
| 9268537 | Automatic generation of domain-aware phase ordering for effective optimization of code for a model | Yuchen Zhang, Partha Biswas | 2016-02-23 |
| 9244510 | Bug report checks in a modeling system | Mirko Conrad, Peter Szpak, Thomas J. Erkkinen, David William Hoadley | 2016-01-26 |
| 9098292 | Automatic generation of an optimized arrangement for a model and optimized code based on the model | Yuchen Zhang, Beth Cockerham, Partha Biswas | 2015-08-04 |
| 9098291 | Transforming modeling environment code/model into a non-modeling environment format | Jesung Kim, Yong HUANG | 2015-08-04 |
| 8918769 | Application of optimization techniques to intermediate representations for code generation | — | 2014-12-23 |
| 8869103 | Using intermediate representations to verify computer-executable code generated from a model | Mirko Conrad, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jaya Shankar | 2014-10-21 |
| 8856726 | Verification of computer-executable code generated from a slice of a model | Mirko Conrad, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jaya Shankar | 2014-10-07 |
| 8805664 | System and method for simulating branching behavior | Zhi Han, Murali Yeddanapudi, Pieter J. Mosterman, Rajesh Pavan Sunkari | 2014-08-12 |
| 8713528 | Verification of computer-executable code generated from a model | Mirko Conrad, Joel Thornton, Peter Szpak | 2014-04-29 |
| 8700378 | Symbolic expression propagation to support generating reconfiguration code | — | 2014-04-15 |
| 8701081 | Hardware specific code generation | James E. Carrick, Peter Szpak, Robert O. Aberg, Andrew C. Bartlett, Hongbo Yang | 2014-04-15 |
| 8689194 | Optimization identification | Aravind Pillarisetti, Peter Szpak, Jesung Kim, Pieter J. Mosterman | 2014-04-01 |
| 8667463 | Traceability in a modeling environment | Aravind Pillarisetti, William J. Aldrich, Kai Tuschner | 2014-03-04 |
| 8667470 | Traceability in a modeling environment | Aravind Pillarisetti, William J. Aldrich, Kai Tuschner | 2014-03-04 |