Category:Heiko KALTE

Heiko KALTE

Executive Summary

Heiko KALTE 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:Heiko KALTE Monthly Patent Applications.png

Technology Areas

File:Heiko KALTE 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:Heiko KALTE Top Companies.png

List of Companies

• dSPACE GmbH: 1 patents

Collaborators

• Dominik LUBELEY (1 collaborations)