Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation., , , , and . ITC, page 409-418. IEEE, (2021)Sound Non-interference Analysis for C/C++., , , , , , and . SAFECOMP, volume 14988 of Lecture Notes in Computer Science, page 267-282. Springer, (2024)Validierung des Zeitverhaltens von kritischer Echtzeit-Software., , , , , , , , , and 4 other author(s). GI Jahrestagung (1), volume P-34 of LNI, page 335-339. GI, (2003)Verfahren zur Einführung eines internetbasierten Content Management für Qualitätsregelkreise in der Produktion. IPA-IAO Forschung und Praxis Jost-Jetter, Heimsheim, (2006)DiscoVRCoolTour: Discovering, Capturing and Experiencing Cultural Heritage and Events Using Innovative 3D Digitisation Technologies and Affordable Consumer Electronics., , , , , , and . TMM_CH (1), volume 961 of Communications in Computer and Information Science, page 232-249. Springer, (2018)Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation., , , , and . MBMV, page 1-4. VDE/IEEE, (2022)Kontaktlose und wahrnehmungsbasierte Benutzerschnittstellen in der Operationsumgebung durch Anwendung der 3D-Bildverarbeitung.. University of Hanover, Hannover, Germany, (2015)Content Management – zur erfolgreichen Organisation von Inhalten. Smart Books Publishing AG, CH-8802 Kilchberg / Zürich, (2002)