Membership
Tour
Register
Log in
Dominik Strasser
Follow
Person
Olching, DE
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System and method for formal fault propagation analysis
Patent number
11,816,410
Issue date
Nov 14, 2023
Siemens Electronic Design Automation Gmbh
Dominik Strasser
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for formal fault propagation analysis
Patent number
11,520,963
Issue date
Dec 6, 2022
OneSpin Solutions GmbH
Dominik Strasser
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Cloud-basd digital verification system and method
Patent number
9,344,408
Issue date
May 17, 2016
OneSpin Solutions GmbH
Dominik Strasser
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Patents Applications
last 30 patents
Information
Patent Application
SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS
Publication number
20220414306
Publication date
Dec 29, 2022
Onespin Solutions GmbH
Dominik Strasser
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS
Publication number
20200200820
Publication date
Jun 25, 2020
Onespin Solutions GmbH
Dominik Strasser
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR FORMAL CIRCUIT VERIFICATION
Publication number
20180364298
Publication date
Dec 20, 2018
Onespin Solutions GmbH
Joerg Grosse
G01 - MEASURING TESTING
Information
Patent Application
Cloud-Basd Digital Verification System and Method
Publication number
20140325669
Publication date
Oct 30, 2014
Onespin Solutions GmbH
Dominik Strasser
G06 - COMPUTING CALCULATING COUNTING