Patents by Inventor Jakob Frederik Lichtenberg
Jakob Frederik Lichtenberg 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: 10936469Abstract: A system for providing ongoing verification of released software components utilizes feedback from a pool of devices that each locally execute a verification component. The verification component randomly selects one or more locally-executing software components, captures information associated with the randomly-selected software components responsive to detection of events satisfying one or more capture conditions, and communicates the captured information to a software component verification and analysis service. The total number of the randomly-selected software components within the verification pool is set to statistically guarantee that each one of the software components available for random selection is randomly selected on at least one of the plurality of processing devices within the verification pool.Type: GrantFiled: January 31, 2019Date of Patent: March 2, 2021Assignee: Microsoft Technology Licensing, LLCInventors: Hyuk Joon Kwon, Vladimir A. Levin, Jakob Frederik Lichtenberg, Andrew M. Kluemke, Vikas Pabreja, Sebastian Lerner
-
Patent number: 10783058Abstract: Interaction between operating system components and device drivers via device driver function call addresses is monitored. Each device driver is configured to interface with at least one hardware component of a computing system. One or more verification functions of an extended device driver verification component are registered for at least one of the device driver function call addresses, each defining a predetermined verification condition. A device driver function call to one of the device driver function call addresses is intercepted and evaluated against the predetermined verification condition of the verification function registered for the device driver function call address of the intercepted device driver function.Type: GrantFiled: February 14, 2019Date of Patent: September 22, 2020Assignee: Microsoft Technology Licensing, LLCInventors: Hyuk Joon Kwon, Jakob Frederik Lichtenberg, Vladimir A. Levin, Andrew Meyer Kluemke, Sebastian Lerner
-
Publication number: 20200264967Abstract: Interaction between operating system components and device drivers via device driver function call addresses is monitored. Each device driver is configured to interface with at least one hardware component of a computing system. One or more verification functions of an extended device driver verification component are registered for at least one of the device driver function call addresses, each defining a predetermined verification condition. A device driver function call to one of the device driver function call addresses is intercepted and evaluated against the predetermined verification condition of the verification function registered for the device driver function call address of the intercepted device driver function.Type: ApplicationFiled: February 14, 2019Publication date: August 20, 2020Inventors: Hyuk Joon KWON, Jakob Frederik LICHTENBERG, Vladimir A. LEVIN, Andrew Meyer KLUEMKE, Sebastian LERNER
-
Patent number: 10747646Abstract: Interaction between operating system components and device drivers via device driver function call addresses is monitored. Each device driver is configured to interface with at least one hardware component of a computing system. One or more verification functions of an extended device driver verification component are registered for at least one of the device driver function call addresses, each defining a predetermined verification condition. A device driver function call to one of the device driver function call addresses is intercepted and evaluated against the predetermined verification condition of the verification function registered for the device driver function call address of the intercepted device driver function.Type: GrantFiled: February 14, 2019Date of Patent: August 18, 2020Assignee: Microsoft Technology Licensing, LLCInventors: Hyuk Joon Kwon, Jakob Frederik Lichtenberg, Vladimir A. Levin, Andrew Meyer Kluemke, Sebastian Lerner
-
Publication number: 20200250072Abstract: A system for providing ongoing verification of released software components utilizes feedback from a pool of devices that each locally execute a verification component. The verification component randomly selects one or more locally-executing software components, captures information associated with the randomly-selected software components responsive to detection of events satisfying one or more capture conditions, and communicates the captured information to a software component verification and analysis service. The total number of the randomly-selected software components within the verification pool is set to statistically guarantee that each one of the software components available for random selection is randomly selected on at least one of the plurality of processing devices within the verification pool.Type: ApplicationFiled: January 31, 2019Publication date: August 6, 2020Inventors: Hyuk Joon KWON, Vladimir A. LEVIN, Jakob Frederik LICHTENBERG, Andrew M. KLUEMKE, Vikas PABREJA, Sebastian LERNER
-
Patent number: 9519495Abstract: A stateful rules verification platform is described that support timed state transitions. The verification platform implements a specification language to provide a formal definition for rules used to test target systems having a central module that provides APIs (“API provider”) and applications (“API clients”) that use the APIs. Rules may be defined in terms of transitions on state elements associated with interactions between API providers and API clients. The rules defined in accordance with the specification language enable run-time verification in which calls may be intercepted and run-time code to implement checks may automatically be generated and injected to test behaviors of the intercepted calls. The same set of rules may also be employed for static verification during compilation. Additionally, the specification language includes constructs to specify timed state transitions for at least some rules that impose time limits on state transitions specified by the rules.Type: GrantFiled: June 14, 2013Date of Patent: December 13, 2016Assignee: Microsoft Technology Licensing, LLCInventors: Vladimir A. Levin, Juncao Li, Jakob Frederik Lichtenberg
-
Publication number: 20140372986Abstract: A stateful rules verification platform is described that support timed state transitions. The verification platform implements a specification language to provide a formal definition for rules used to test target systems having a central module that provides APIs (“API provider”) and applications (“API clients”) that use the APIs. Rules may be defined in terms of transitions on state elements associated with interactions between API providers and API clients. The rules defined in accordance with the specification language enable run-time verification in which calls may be intercepted and run-time code to implement checks may automatically be generated and injected to test behaviors of the intercepted calls. The same set of rules may also be employed for static verification during compilation. Additionally, the specification language includes constructs to specify timed state transitions for at least some rules that impose time limits on state transitions specified by the rules.Type: ApplicationFiled: June 14, 2013Publication date: December 18, 2014Inventors: Vladimir A. Levin, Juncao Li, Jakob Frederik Lichtenberg
-
Publication number: 20140372985Abstract: A stateful rules verification platform is described. The verification platform implements a specification language to provide a formal definition for rules used to test target systems having a central module that provides APIs (“API provider”) and applications (“API clients”) that use the APIs. Rules may be defined in terms of transitions on state elements associated with interactions between API providers and API clients. The rules defined in accordance with the specification language enable run-time verification in which calls may be intercepted and run-time code to implement checks may automatically be generated and injected to test behaviors of the intercepted calls. The same set of rules may also be employed for static verification during compilation. Additionally, the specification language includes constructs to provide rule descriptions and comments with rules definitions that facilitate publication of the rules and documentation of misbehavior identified during verification.Type: ApplicationFiled: June 14, 2013Publication date: December 18, 2014Inventors: Vladimir A. Levin, Juncao Li, Rudolf Opavsky, Jakob Frederik Lichtenberg, Anton Pavlov
-
Publication number: 20090319997Abstract: A verification engine for verifying compliance of a module of computer-executable instructions to various specifications or guidelines can utilize precondition rules to obtain information about the module so as to select appropriate rules with which the module will be verified. The precondition rules can inform an evaluation tool, which can obtain the specified information about the module. A preprocessor can then evaluate conditional statements and select one or more rules or environment modules based on the results of the evaluation of the precondition rules. Multiple levels of dependent precondition rules can be evaluated with a drill-down approach, where each dependency chain is evaluated until a terminal level, or with a layered approach, where all terminal level precondition rules are evaluated followed by precondition rules of increasingly higher levels.Type: ApplicationFiled: June 20, 2008Publication date: December 24, 2009Applicant: Microsoft CorporationInventors: Jakob Frederik Lichtenberg, Conal McGarvey, Eleonora O. Bounimova, Vladimir A. Levin