Patents by Inventor Katrin Stolle

Katrin Stolle 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 complex workflows through internal assessment or community based assessment
    Patent number: 9009675
    Abstract: A method of implementing verification of a complex workflow includes partitioning the workflow into modules, wherein the modules have inputs, processing steps and outputs; selecting, from the workflow, one of the partitioned modules for independent verification by challenge thereof; running, with a computing device, a challenge of the selected module, the challenge comprising comparing reference outputs to outputs of the selected module, wherein reference inputs are received by the selected module and the reference outputs are generated using the reference inputs and one of an ideal performing module or a well-established module; determining whether outputs of the selected module meet verification criteria with respect to the reference outputs, and based on the determining, implementing one of: declaring the selected module verified; subdividing the selected module into smaller modules and repeating the challenge on the smaller modules; or declaring the selected module not verified.
    Type: Grant
    Filed: March 21, 2012
    Date of Patent: April 14, 2015
    Assignees: International Business Machines Corporation, Philip Morris Products S.A.
    Inventors: Stephanie M. Corthesy, Pablo Meyer Rojas, Raquel Norel, John J. Rice, Ajay K. Royyuru, Joerg J. Sprengel, Gustavo A. Stolovitzky, Thomas Bonk, Julia Hoeng, Manuel Peitsch, Katrin Stolle
  • VERIFICATION OF COMPLEX WORKFLOWS THROUGH INTERNAL ASSESSMENT OR COMMUNITY BASED ASSESSMENT
    Publication number: 20130254772
    Abstract: A method of implementing verification of a complex workflow includes partitioning the workflow into modules, wherein the modules have inputs, processing steps and outputs; selecting, from the workflow, one of the partitioned modules for independent verification by challenge thereof; running, with a computing device, a challenge of the selected module, the challenge comprising comparing reference outputs to outputs of the selected module, wherein reference inputs are received by the selected module and the reference outputs are generated using the reference inputs and one of an ideal performing module or a well-established module; determining whether outputs of the selected module meet verification criteria with respect to the reference outputs, and based on the determining, implementing one of: declaring the selected module verified; subdividing the selected module into smaller modules and repeating the challenge on the smaller modules; or declaring the selected module not verified.
    Type: Application
    Filed: March 21, 2012
    Publication date: September 26, 2013
    Applicants: PHILLIP MORRIS INTERNATIONAL, INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Stephanie M. Corthesy, Pablo Meyer Rojas, Raquel Norel, John J. Rice, Ajay K. Royyuru, Joerg J. Sprengel, Gustavo A. Stolovitzky, Thomas Bonk, Julia Hoeng, Manuel Peitsch, Katrin Stolle