Inventor · disambiguated record
William J. Aldrich
Also filed as: ALDRICH WILLIAM · ALDRICH WILLIAM J · ALDRICH WILLIAM JAMES
42 granted patents·506 citations·filing 2001–2019
98Inventor score
Technology areasG06F
Top patents by PatentIndex Score
42 records- 0195US8234105B1Mapping between code coverage and model coverage for a designALDRICH WILLIAM J·Filed 2008·Granted Jul 31, 2012·48 cites·25 claims
- 0295US8104017B2Traceability in a modeling environmentLIN XIAOCANG·Filed 2006·Granted Jan 24, 2012·37 cites·86 claims
- 0395US7720662B1Visual representation of model execution results contributing to a failure condition in a modelMATHWORKS INC·Filed 2005·Granted May 18, 2010·47 cites·31 claims
- 0494US7941299B1Verification and validation system for a graphical modelMATHWORKS INC·Filed 2008·Granted May 10, 2011·38 cites·24 claims
- 0594US7680632B1Test precondition items for automated analysis and test generationMATHWORKS INC·Filed 2005·Granted Mar 16, 2010·42 cites·34 claims
- 0693US8812276B2Determining model components suitable for verification analysisALDRICH WILLIAM J·Filed 2011·Granted Aug 19, 2014·24 cites·38 claims
- 0792US10719645B1Model structure analysis with integration of transformed sliceMATHWORKS INC·Filed 2015·Granted Jul 21, 2020·16 cites·46 claims
- 0890US8627272B1Traceability in a modeling environmentLIN XIAOCANG·Filed 2007·Granted Jan 7, 2014·17 cites·40 claims
- 0990US7558712B1System and method for programmatically abstracting model componentsMATHWORKS INC·Filed 2007·Granted Jul 7, 2009·20 cites·16 claims
- 1089US8903688B1Test entities for evaluation and validation of a modelALDRICH WILLIAM J·Filed 2011·Granted Dec 2, 2014·16 cites·20 claims
- 1188US9665350B1Automatic test generation for model-based code coverageKALMAR ZSOLT·Filed 2009·Granted May 30, 2017·33 cites·25 claims
- 1288US8666709B1Verification and validation system for a graphical modelALDRICH WILLIAM J·Filed 2012·Granted Mar 4, 2014·10 cites·20 claims
- 1388US8615385B1System and method for identifying and reducing model complexities affecting model verificationMATHWORKS INC·Filed 2013·Granted Dec 24, 2013·9 cites·34 claims
- 1487US8667470B2Traceability in a modeling environmentLIN XIAOCANG·Filed 2011·Granted Mar 4, 2014·7 cites·26 claims
- 1587US8522215B1Coverage analysis for variable size signalsALDRICH WILLIAM J·Filed 2009·Granted Aug 27, 2013·15 cites·20 claims
- 1687US7729894B1Test postcondition items for automated analysis and test generationMATHWORKS INC·Filed 2006·Granted Jun 1, 2010·13 cites·34 claims
- 1786US8583414B1Mapping between code coverage and model coverage for a designMATHWORKS INC·Filed 2013·Granted Nov 12, 2013·7 cites·20 claims
- 1885US9529697B1Coverage analysis for variable size signalsMATHWORKS INC·Filed 2013·Granted Dec 27, 2016·7 cites·20 claims
- 1985US7734455B1Test postcondition items for automated analysis and test generationMATHWORKS INC·Filed 2007·Granted Jun 8, 2010·11 cites·16 claims
- 2083US8301423B1Verification and validation system for a graphical modelALDRICH WILLIAM J·Filed 2011·Granted Oct 30, 2012·6 cites·20 claims
- 2180US9280324B1Traceability in a modeling environmentMATHWORKS INC·Filed 2013·Granted Mar 8, 2016·3 cites·29 claims
- 2280US7974823B1Test postcondition items for automated analysis and test generationMATHWORKS INC·Filed 2010·Granted Jul 5, 2011·4 cites·20 claims
- 2379US10387585B2System and method for performing model verificationMATHWORKS INC·Filed 2014·Granted Aug 20, 2019·9 cites·33 claims
- 2479US8423345B1Mapping between code coverage and model coverage for a designALDRICH WILLIAM J·Filed 2012·Granted Apr 16, 2013·4 cites·20 claims
- 2578US8667463B2Traceability in a modeling environmentLIN XIAOCANG·Filed 2011·Granted Mar 4, 2014·3 cites·20 claims
- 2678US8627276B2Traceability in a modeling environmentLIN XIAOCANG·Filed 2011·Granted Jan 7, 2014·3 cites·67 claims
- 2778US8359183B1System and method for identifying and reducing model complexities affecting model verificationMATHWORKS INC·Filed 2009·Granted Jan 22, 2013·7 cites·23 claims
- 2877US11144434B2Refining coverage analyses using context informationMATHWORKS INC·Filed 2019·Granted Oct 12, 2021·2 cites·21 claims
- 2977US9619593B1System and method for identifying and reducing model complexities affecting model verificationMATHWORKS INC·Filed 2013·Granted Apr 11, 2017·4 cites·25 claims
- 3076US10657208B2Analyzing model based on design interestMATHWORKS INC·Filed 2013·Granted May 19, 2020·4 cites·22 claims
- 3171US9442701B1Verifying models for exceptional behaviorALDRICH WILLIAM J·Filed 2008·Granted Sep 13, 2016·5 cites·20 claims
- 3271US9158664B1Coverage analysis for variable size signalsMATHWORKS INC·Filed 2013·Granted Oct 13, 2015·2 cites·20 claims
- 3371US7558710B1System and method for programmatically abstracting model componentsMATH WORK INC·Filed 2005·Granted Jul 7, 2009·6 cites·39 claims
- 3469US8046708B1Reversed links from graphical diagram representationMATHWORKS INC·Filed 2003·Granted Oct 25, 2011·12 cites·22 claims
- 3565US7849394B2Linked code generation reportMATHWORKS INC·Filed 2001·Granted Dec 7, 2010·10 cites·27 claims
- 3664US10657029B2Partitioning block diagrams into executable contextual modelsMATHWORKS INC·Filed 2014·Granted May 19, 2020·1 cites·23 claims
- 3763US9575939B2Linked code generation reportTUSCHNER KAI·Filed 2010·Granted Feb 21, 2017·2 cites·15 claims
- 3860US9146838B2Code and model coverage as a time seriesMATHWORKS INC·Filed 2013·Granted Sep 29, 2015·2 cites·21 claims
- 3956US10691578B2Deriving contextual information for an execution constrained modelMATHWORKS INC·Filed 2014·Granted Jun 23, 2020·0 cites·20 claims
- 4054US9164733B1Coverage analysis for variable size signalsMATHWORKS INC·Filed 2013·Granted Oct 20, 2015·0 cites·20 claims
- 4149US9110570B1Reversed links from graphical diagram representationALDRICH WILLIAM J·Filed 2011·Granted Aug 18, 2015·0 cites·19 claims
- 4233US11144684B2Method and system for improving efficacy of model verification by model partitioningMATHWORKS INC·Filed 2017·Granted Oct 12, 2021·0 cites·44 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →