Issued Patents All Time
Showing 25 most recent of 42 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11144684 | Method and system for improving efficacy of model verification by model partitioning | Dixit Manoj Gangadhar, Prahladavaradan Sampath, Janaki Sivaramakrishnan, Ebrahim Mehran Mestchian | 2021-10-12 |
| 11144434 | Refining coverage analyses using context information | William F. Potter, Aaron Hughes, Anjali Joshi, Zsolt Kalmar, Ebrahim Mehran Mestchian | 2021-10-12 |
| 10719645 | Model structure analysis with integration of transformed slice | Fu Zhang, Zhi Han, Pieter J. Mosterman, Ebrahim Mehran Mestchian, Denizhan N. Alparslan +1 more | 2020-07-21 |
| 10691578 | Deriving contextual information for an execution constrained model | Ebrahim Mehran Mestchian, Denizhan N. Alparslan | 2020-06-23 |
| 10657029 | Partitioning block diagrams into executable contextual models | Ebrahim Mehran Mestchian, Denizhan N. Alparslan | 2020-05-19 |
| 10657208 | Analyzing model based on design interest | Zhi Han, Ebrahim Mehran Mestchian | 2020-05-19 |
| 10387585 | System and method for performing model verification | Dixit Manoj Gangadhar, Amogh Margoor, Prahladavaradan Sampath | 2019-08-20 |
| 9665350 | Automatic test generation for model-based code coverage | Zsolt Kalmar, Gregoire Hamon | 2017-05-30 |
| 9619593 | System and method for identifying and reducing model complexities affecting model verification | — | 2017-04-11 |
| 9575939 | Linked code generation report | Kai Tuschner | 2017-02-21 |
| 9529697 | Coverage analysis for variable size signals | Olga Voronina, Zsolt Kalmar | 2016-12-27 |
| 9442701 | Verifying models for exceptional behavior | — | 2016-09-13 |
| 9280324 | Traceability in a modeling environment | Xiaocang Lin, Aravind Pillarisetti, Kai Tuschner | 2016-03-08 |
| 9164733 | Coverage analysis for variable size signals | Olga Voronina, Zsolt Kalmar | 2015-10-20 |
| 9158664 | Coverage analysis for variable size signals | Olga Voronina, Zsolt Kalmar | 2015-10-13 |
| 9146838 | Code and model coverage as a time series | David M. Boissy, Barton D. Addis, Stacey Gage, George Quievryn | 2015-09-29 |
| 9110570 | Reversed links from graphical diagram representation | — | 2015-08-18 |
| 8903688 | Test entities for evaluation and validation of a model | Gregoire Hamon, Anjali Joshi | 2014-12-02 |
| 8812276 | Determining model components suitable for verification analysis | Ebrahim Mehran Mestchian, Denizhan N. Alparslan | 2014-08-19 |
| 8666709 | Verification and validation system for a graphical model | Gregoire Hamon | 2014-03-04 |
| 8667463 | Traceability in a modeling environment | Xiaocang Lin, Aravind Pillarisetti, Kai Tuschner | 2014-03-04 |
| 8667470 | Traceability in a modeling environment | Xiaocang Lin, Aravind Pillarisetti, Kai Tuschner | 2014-03-04 |
| 8627272 | Traceability in a modeling environment | Xiaocang Lin, Aravind Pillarisetti, Kai Tuschner | 2014-01-07 |
| 8627276 | Traceability in a modeling environment | Xiaocang Lin, Aravind Pillarisetti, Kai Tuschner | 2014-01-07 |
| 8615385 | System and method for identifying and reducing model complexities affecting model verification | — | 2013-12-24 |