Patents by Inventor Manuel Javier Valdiviezo Basauri

Manuel Javier Valdiviezo Basauri 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).

  • Efficient model checking technique for finding software defects
    Patent number: 9208057
    Abstract: A method for detecting defects in a computer program.
    Type: Grant
    Filed: April 22, 2014
    Date of Patent: December 8, 2015
    Assignee: Oracle International Corporation
    Inventors: Manuel Javier Valdiviezo Basauri, Cristina N. Cifuentes
  • EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS
    Publication number: 20140229922
    Abstract: A method for detecting defects in a computer program.
    Type: Application
    Filed: April 22, 2014
    Publication date: August 14, 2014
    Applicant: ORACLE INTERNATIONAL CORPORATION
    Inventors: Manuel Javier Valdiviezo Basauri, Cristina N. Cifuentes
  • Efficient model checking technique for finding software defects
    Patent number: 8732669
    Abstract: A method for detecting defects in a computer program.
    Type: Grant
    Filed: March 11, 2011
    Date of Patent: May 20, 2014
    Assignee: Oracle International Corporation
    Inventors: Manuel Javier Valdiviezo Basauri, Cristina N. Cifuentes
  • EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS
    Publication number: 20120233599
    Abstract: A method for detecting defects in a computer program.
    Type: Application
    Filed: March 11, 2011
    Publication date: September 13, 2012
    Applicant: ORACLE INTERNATIONAL CORPORATION
    Inventors: Manuel Javier Valdiviezo Basauri, Cristina N. Cifuentes