Patents by Inventor Andreas Blass

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

  • Method for Producing High-Voltage Insulation of Electrical Components
    Publication number: 20160172081
    Abstract: A method for producing high-voltage insulation of electrical components includes applying a first layer of insulation material to the electrical component and applying a second layer of insulation material to the electrical component. The second layer is applied, at least in sections, to the first layer so that the first layer is situated, at least in sections, between the second layer and the electrical component. This method makes it possible to electrically insulate electrical parts on the electrical component as needed, and at the same time, to reduce the quantity of insulation material required.
    Type: Application
    Filed: December 11, 2015
    Publication date: June 16, 2016
    Inventors: Hanspeter KATZ, Andreas BLASS
  • Extending test sequences to accepting states
    Patent number: 7493544
    Abstract: State spaces are traversed to produce test cases, or test coverage. Test coverage is a test suite of sequences. Accepting states are defined. Expected costs are assigned to the test graph states. Strategies are created providing transitions to states with lower expected costs. Linear programs and other approximations are discussed for providing expected costs. Strategies are more likely to provide access to an accepting state, based on expected costs. Strategies are used to append transitions to test segments such that the new test segment ends in an accepting state.
    Type: Grant
    Filed: January 21, 2005
    Date of Patent: February 17, 2009
    Assignee: Microsoft Corporation
    Inventors: Andreas Blass, Colin L. Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte, Yuri Gurevich
  • Extending test sequences to accepting states
    Publication number: 20060179383
    Abstract: State spaces are traversed to produce test cases, or test coverage. Test coverage is a test suite of sequences. Accepting states are defined. Expected costs are assigned to the test graph states. Strategies are created providing transitions to states with lower expected costs. Linear programs and other approximations are discussed for providing expected costs. Strategies are more likely to provide access to an accepting state, based on expected costs. Strategies are used to append transitions to test segments such that the new test segment ends in an accepting state.
    Type: Application
    Filed: January 21, 2005
    Publication date: August 10, 2006
    Applicant: Microsoft Corporation
    Inventors: Andreas Blass, Colin Campbell, Lev Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte, Yuri Gurevich