Hermann Härtig

Virtualization as an enabler for security in mobile devices

Martin Botteck, Adam Lackorzynski, Jörg Brakensiek, 2008, IIES '08.

Configuration of inter-process communication with probabilistic model checking

Christel Baier, Sascha Klüppelholz, Hermann Härtig, 2019, International Journal on Software Tools for Technology Transfer.

M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores

Gerhard Fettweis, Marcus Völp, Hermann Härtig, 2016 .