Förstner, Roger; Ferrer-Gil, Eloi [Universität der Bundeswehr München]: Verfahren zur Thermomechanischen Stabilisierung einer Vorrichtung, Steuerungseinheit, Thermomechanisches Steuerungssystem und Vorrichtung = Method for thermomechanically stabilizing an apparatus, control unit, thermomechanical control system, and apparatus ; (EP3502711). - 26.06.2019 
Patent

Förstner, Roger; Ferrer-Gil, Eloi [Universität der Bundeswehr München]: Method for thermomechanically stabilizing an apparatus, control unit, thermomechanical control system, and apparatus = Verfahren zur thermomechanischen Stabilisierung einer Vorrichtung, Steuerungseinheit, thermomechanisches Steuerungssystem und Vorrichtung ; (EP000003502711A1). - 26.06.2019 
Patent

Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George [Ecole Polytechnique Federale de Lausanne]: Advantageous State Merging During Symbolic Analysis ; (US9141354B2). - 24.10.2013 
Patent

Godefroid, Patrice; Kinder, Johannes [Microsoft Corporation]: Memory Safety of Floating-Point Computations ; (US8782625B2). - 22.12.2011 
Patent

Christodorescu, Mihai; Kinder, Johannes; Jha, Somesh; Katzenbeisser, Stefan; Veith, Helmut [Wisconsin Alumni Research Foundation]: System for Malware Normalization and Detection 14.01.2010 
Patentanmeldung