Category:Dominik LUBELEY

Dominik LUBELEY

Executive Summary

Dominik LUBELEY is an inventor who has filed 1 patents. Their primary areas of innovation include {using formal methods, e.g. model checking, abstract interpretation (theorem proving (1 patents), and they have worked with companies such as dSPACE GmbH (1 patents). Their most frequent collaborators include (1 collaborations).

Patent Filing Activity

File:Dominik LUBELEY Monthly Patent Applications.png

Technology Areas

File:Dominik LUBELEY Top Technology Areas.png

List of Technology Areas

• G06F11/3608 ({using formal methods, e.g. model checking, abstract interpretation (theorem proving): 1 patents

Companies

File:Dominik LUBELEY Top Companies.png

List of Companies

• dSPACE GmbH: 1 patents

Collaborators

• Heiko KALTE (1 collaborations)