Patents by Inventor Andreas Gal

Andreas Gal 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).

  • Patent number: 8239836
    Abstract: Techniques, computer program products, apparatus and systems for controlling operation of a program code in a digital processor, a computer or a computer system, including techniques for generating program variants, monitoring execution of a program and variants of the program, and detecting functional differences between the multiple executions.
    Type: Grant
    Filed: March 7, 2008
    Date of Patent: August 7, 2012
    Assignee: The Regents of the University of California
    Inventors: Michael Franz, Andreas Gal, Babak Salamat