Patents by Inventor Andre Gobbi Farina

Andre Gobbi Farina 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).

  • Publication number: 20240062502
    Abstract: A device includes a display panel and a processor. The processor is to receive information corresponding to an image displayed on the display panel and determine whether a relevant portion of the image is centered with respect to an area of interest of the display panel. The processor is further to responsive to a determination that the relevant portion of the image is not centered with respect to the area of interest of the display panel, perform an operation to cause the relevant portion of the image to be adjusted such that the relevant portion of the image is centered with respect to the area of interest of the display panel.
    Type: Application
    Filed: August 18, 2022
    Publication date: February 22, 2024
    Inventors: Gabriel Lima Paz, Rafael Dal Zotto, Qian Lin, Malcolm Stuart Rix, Dun Liu, Gabriel Lando, Joao Luis Prauchner, Andre Gobbi Farina
  • Patent number: 7685468
    Abstract: A method and apparatus is described for generating a test case for an application or system modelled using a Stochastic Automata Network model. The method contemplates the inclusion of a plurality of automata and including the steps of: (a) setting an initial global state as the current global state, wherein a global state comprises a set of local states each corresponding to one of the automata; (b) creating a record of the initial global state; (c) selecting an event from a set of events that can be applied to the current global state; creating record of the selected event; (e) identifying those of the automata affected by the selected event and updating the current global state by updating the states of the affected automata; (f) creating a record of the current global state; and repeating steps (c) to (f) until a termination condition is satisfied. The invention may also be used for the generation of test scripts.
    Type: Grant
    Filed: June 30, 2005
    Date of Patent: March 23, 2010
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Bernardo Copstein, Flavio Modeira De Oliveira, Lucas Rosa Cruz Reginato, Andre Gobbi Farina
  • Publication number: 20080294941
    Abstract: A method and apparatus is described for generating a test case for an application or system modelled using a Stochastic Automata Network model. The method contemplates the inclusion of a plurality of automata and including the steps of: (a) setting an initial global state as the current global state, wherein a global state comprises a set of local states each corresponding to one of the automata; (b) creating a record of the initial global state; (c) selecting an event from a set of events that can be applied to the current global state; creating record of the selected event; (e) identifying those of the automata affected by the selected event and updating the current global state by updating the states of the affected automata; (f) creating a record of the current global state; and repeating steps (c) to (f) until a termination condition is satisfied. The invention may also be used for the generation of test scripts.
    Type: Application
    Filed: June 30, 2005
    Publication date: November 27, 2008
    Inventors: Bernardo Copstein, Flavio Modeira De Oliveria, Lucas Rosa Cruz Reginato, Andre Gobbi Farina