Patents by Inventor Joel David Thornton

Joel David Thornton has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Verification of computer-executable code generated from a model
    Patent number: 9158654
    Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.
    Type: Grant
    Filed: May 29, 2013
    Date of Patent: October 13, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Joel David Thornton, Matthew J. Englehart, Jun Yan
  • Verification of computer-executable code generated from a model
    Patent number: 8713528
    Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.
    Type: Grant
    Filed: September 14, 2009
    Date of Patent: April 29, 2014
    Assignee: The MathWorks, Inc.
    Inventors: Mirko Conrad, Joel David Thornton, Peter Szpak, Xiaocang Lin
  • Verification of computer-executable code generated from a model
    Patent number: 8464204
    Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.
    Type: Grant
    Filed: September 14, 2009
    Date of Patent: June 11, 2013
    Assignee: The MathWorks, Inc.
    Inventors: Joel David Thornton, Matthew Englehart