Patent | Date |
---|
Oral pharmaceutical composition of lurasidone and preparation thereof Grant 11,260,055 - Shah , et al. March 1, 2 | 2022-03-01 |
Oral Pharmaceutical Composition Of Lurasidone And Preparation Thereof App 20200046695 - SHAH; Tejas ;   et al. | 2020-02-13 |
Method for automated error detection and verification of software Grant 9,098,619 - Bhatt , et al. August 4, 2 | 2015-08-04 |
Systems and methods for verifying model equivalence Grant 9,063,672 - Madl , et al. June 23, 2 | 2015-06-23 |
Systems and methods for verifying expression folding Grant 9,027,001 - Easwaran , et al. May 5, 2 | 2015-05-05 |
Error propagation in a system model Grant 8,984,343 - Schloegel , et al. March 17, 2 | 2015-03-17 |
Type and range propagation through data-flow models Grant 8,984,488 - Bhatt , et al. March 17, 2 | 2015-03-17 |
Auto-generation of concurrent code for multi-core applications Grant 8,661,424 - Schloegel , et al. February 25, 2 | 2014-02-25 |
Systems And Methods For Verifying Expression Folding App 20140019943 - Easwaran; Arvind ;   et al. | 2014-01-16 |
Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation Grant 8,423,879 - Bhatt , et al. April 16, 2 | 2013-04-16 |
Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent code Grant 8,407,800 - Schloegel , et al. March 26, 2 | 2013-03-26 |
Systems And Methods For Verifying Model Equivalence App 20130019224 - Madl; Gabor ;   et al. | 2013-01-17 |
Method, apparatus, and system for automatic test generation from statecharts Grant 8,307,342 - Oglesby , et al. November 6, 2 | 2012-11-06 |
Error Propagation In A System Model App 20120210173 - Schloegel; Kirk ;   et al. | 2012-08-16 |
Type And Range Propagation Through Data-flow Models App 20120185729 - Bhatt; Devesh ;   et al. | 2012-07-19 |
Auto-generation Of Concurrent Code For Multi-core Applications App 20120060145 - Schloegel; Kirk ;   et al. | 2012-03-08 |
Method For Automated Error Detection And Verification Of Software App 20110258607 - Bhatt; Devesh ;   et al. | 2011-10-20 |
Distributed engine control system Grant 8,036,805 - Mahoney , et al. October 11, 2 | 2011-10-11 |
Method For Software Vulnerability Flow Analysis, Generation Of Vulnerability-covering Code, And Multi-generation Of Functionally-equivalent Code App 20110126288 - Schloegel; Kirk A. ;   et al. | 2011-05-26 |
System And Methods Of Using Test Points And Signal Overrides In Requirements-based Test Generation App 20100192128 - Schloegel; Kirk A. ;   et al. | 2010-07-29 |
Requirements-based test generation Grant 7,644,334 - Hickman , et al. January 5, 2 | 2010-01-05 |
Distributed Engine Control System App 20090312892 - Mahoney; Timothy D. ;   et al. | 2009-12-17 |
Method, Apparatus, And System For Automatic Test Generation From Statecharts App 20090287963 - Oglesby; David ;   et al. | 2009-11-19 |
Method And Apparatus For Test Generation From Hybrid Diagrams With Combined Data Flow And Statechart Notation App 20090287958 - Bhatt; Devesh ;   et al. | 2009-11-19 |
Requirements-Based Test Generation App 20080126902 - Hickman; Stephen O. ;   et al. | 2008-05-29 |
Model-based composable code generation Grant 7,219,328 - Schloegel , et al. May 15, 2 | 2007-05-15 |
Model-based composable code generation App 20040044990 - Schloegel, Kirk A. ;   et al. | 2004-03-04 |
Framework for domain-independent archetype modeling App 20030128214 - Oglesby, David ;   et al. | 2003-07-10 |
Display of visual data utilizing data aggregation Grant 6,097,399 - Bhatt , et al. August 1, 2 | 2000-08-01 |