William J Aldrich

Person

Natick, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for improving efficacy of model verification by m...
- Patent number 11,144,684
- Issue date Oct 12, 2021
- The MathWorks, Inc.
- Dixit Manoj Gangadhar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Refining coverage analyses using context information
- Patent number 11,144,434
- Issue date Oct 12, 2021
- The MathWorks, Inc.
- William Potter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model structure analysis with integration of transformed slice
- Patent number 10,719,645
- Issue date Jul 21, 2020
- The MathWorks, Inc.
- Fu Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deriving contextual information for an execution constrained model
- Patent number 10,691,578
- Issue date Jun 23, 2020
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analyzing model based on design interest
- Patent number 10,657,208
- Issue date May 19, 2020
- The MathWorks, Inc.
- Zhi Han
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partitioning block diagrams into executable contextual models
- Patent number 10,657,029
- Issue date May 19, 2020
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for performing model verification
- Patent number 10,387,585
- Issue date Aug 20, 2019
- The MathWorks, Inc.
- Dixit Manoj Gangadhar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic test generation for model-based code coverage
- Patent number 9,665,350
- Issue date May 30, 2017
- The MathWorks, Inc.
- Zsolt Kalmar
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System and method for identifying and reducing model complexities a...
- Patent number 9,619,593
- Issue date Apr 11, 2017
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Linked code generation report
- Patent number 9,575,939
- Issue date Feb 21, 2017
- The MathWorks, Inc.
- Kai Tuschner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coverage analysis for variable size signals
- Patent number 9,529,697
- Issue date Dec 27, 2016
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying models for exceptional behavior
- Patent number 9,442,701
- Issue date Sep 13, 2016
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Traceability in a modeling environment
- Patent number 9,280,324
- Issue date Mar 8, 2016
- The MathWorks, Inc.
- Xiaocang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coverage analysis for variable size signals
- Patent number 9,164,733
- Issue date Oct 20, 2015
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coverage analysis for variable size signals
- Patent number 9,158,664
- Issue date Oct 13, 2015
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Code and model coverage as a time series
- Patent number 9,146,838
- Issue date Sep 29, 2015
- The MathWorks, Inc.
- David M. Boissy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reversed links from graphical diagram representation
- Patent number 9,110,570
- Issue date Aug 18, 2015
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test entities for evaluation and validation of a model
- Patent number 8,903,688
- Issue date Dec 2, 2014
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining model components suitable for verification analysis
- Patent number 8,812,276
- Issue date Aug 19, 2014
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Traceability in a modeling environment
- Patent number 8,667,463
- Issue date Mar 4, 2014
- The MathWorks, Inc.
- Xiaocang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Traceability in a modeling environment
- Patent number 8,667,470
- Issue date Mar 4, 2014
- The MathWorks, Inc.
- Xiaocang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification and validation system for a graphical model
- Patent number 8,666,709
- Issue date Mar 4, 2014
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Traceability in a modeling environment
- Patent number 8,627,272
- Issue date Jan 7, 2014
- The MathWorks, Inc.
- Xiaocang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Traceability in a modeling environment
- Patent number 8,627,276
- Issue date Jan 7, 2014
- The MathWorks, Inc.
- Xiaocang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for identifying and reducing model complexities a...
- Patent number 8,615,385
- Issue date Dec 24, 2013
- The MathWorks, Inc.
- William James Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mapping between code coverage and model coverage for a design
- Patent number 8,583,414
- Issue date Nov 12, 2013
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coverage analysis for variable size signals
- Patent number 8,522,215
- Issue date Aug 27, 2013
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mapping between code coverage and model coverage for a design
- Patent number 8,423,345
- Issue date Apr 16, 2013
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for identifying and reducing model complexities a...
- Patent number 8,359,183
- Issue date Jan 22, 2013
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification and validation system for a graphical model
- Patent number 8,301,423
- Issue date Oct 30, 2012
- The MathWorks, Inc.
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
REFINING COVERAGE ANALYSES USING CONTEXT INFORMATION
- Publication number 20200379886
- Publication date Dec 3, 2020
- The MathWorks, Inc.
- William Potter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR IMPROVING EFFICACY OF MODEL VERIFICATION BY M...
- Publication number 20170351791
- Publication date Dec 7, 2017
- The MathWorks, Inc.
- Dixit MANOJ GANGADHAR
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PERFORMING MODEL VERIFICATION
- Publication number 20160124827
- Publication date May 5, 2016
- The MathWorks, Inc.
- Dixit Manoj Gangadhar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTITIONING BLOCK DIAGRAMS INTO EXECUTABLE CONTEXTUAL MODELS
- Publication number 20140358507
- Publication date Dec 4, 2014
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DERIVING CONTEXTUAL INFORMATION FOR AN EXECUTION CONSTRAINED MODEL
- Publication number 20140358506
- Publication date Dec 4, 2014
- William J. Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODE AND MODEL COVERAGE AS A TIME SERIES
- Publication number 20140359580
- Publication date Dec 4, 2014
- David M. BOISSY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYZING MODEL BASED ON DESIGN INTEREST
- Publication number 20130326472
- Publication date Dec 5, 2013
- Zhi HAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACEABILITY IN A MODELING ENVIRONMENT
- Publication number 20120124552
- Publication date May 17, 2012
- The MathWorks, Inc.
- Xiaocang LIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACEABILITY IN A MODELING ENVIRONMENT
- Publication number 20120096430
- Publication date Apr 19, 2012
- The MathWorks, Inc.
- Xiaocang LIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACEABILITY IN A MODELING ENVIRONMENT
- Publication number 20120096439
- Publication date Apr 19, 2012
- The MathWorks, Inc.
- Xiaocang LIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTITIONING BLOCK DIAGRAMS INTO EXECUTABLE CONTEXTUAL MODELS
- Publication number 20110295578
- Publication date Dec 1, 2011
- The MathWorks, Inc.
- William James Aldrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LINKED CODE GENERATION REPORT
- Publication number 20110060980
- Publication date Mar 10, 2011
- The MathWorks, Inc.
- Kai TUSCHNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Traceability in a modeling environment
- Publication number 20080098349
- Publication date Apr 24, 2008
- The MathWorks, Inc.
- Xiaocang Lin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Linked code generation reports
- Publication number 20040205507
- Publication date Oct 14, 2004
- Kai Tuschner
- G06 - COMPUTING CALCULATING COUNTING

William J Aldrich

Person

Patents Grantslast 30 patents

Method and system for improving efficacy of model verification by m...

Refining coverage analyses using context information

Model structure analysis with integration of transformed slice

Deriving contextual information for an execution constrained model

Analyzing model based on design interest

Partitioning block diagrams into executable contextual models

System and method for performing model verification

Automatic test generation for model-based code coverage

System and method for identifying and reducing model complexities a...

Linked code generation report

Coverage analysis for variable size signals

Verifying models for exceptional behavior

Traceability in a modeling environment

Coverage analysis for variable size signals

Coverage analysis for variable size signals

Code and model coverage as a time series

Reversed links from graphical diagram representation

Test entities for evaluation and validation of a model

Determining model components suitable for verification analysis

Traceability in a modeling environment

Traceability in a modeling environment

Verification and validation system for a graphical model

Traceability in a modeling environment

Traceability in a modeling environment

System and method for identifying and reducing model complexities a...

Mapping between code coverage and model coverage for a design

Coverage analysis for variable size signals

Mapping between code coverage and model coverage for a design

System and method for identifying and reducing model complexities a...

Verification and validation system for a graphical model

Patents Applicationslast 30 patents

REFINING COVERAGE ANALYSES USING CONTEXT INFORMATION

METHOD AND SYSTEM FOR IMPROVING EFFICACY OF MODEL VERIFICATION BY M...

SYSTEM AND METHOD FOR PERFORMING MODEL VERIFICATION

PARTITIONING BLOCK DIAGRAMS INTO EXECUTABLE CONTEXTUAL MODELS

DERIVING CONTEXTUAL INFORMATION FOR AN EXECUTION CONSTRAINED MODEL

CODE AND MODEL COVERAGE AS A TIME SERIES

ANALYZING MODEL BASED ON DESIGN INTEREST

TRACEABILITY IN A MODELING ENVIRONMENT

TRACEABILITY IN A MODELING ENVIRONMENT

TRACEABILITY IN A MODELING ENVIRONMENT

PARTITIONING BLOCK DIAGRAMS INTO EXECUTABLE CONTEXTUAL MODELS

LINKED CODE GENERATION REPORT

Traceability in a modeling environment

Linked code generation reports