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

Technology Areas

List of Technology Areas

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

Companies

Error creating thumbnail: File missing

List of Companies

• dSPACE GmbH: 1 patents

Collaborators

• Heiko KALTE (1 collaborations)