A Static Aspect Language for Modelica Models. - Malte Lochau; Henning Günther (EOOLT, 2008)

Praktikum: Entwurf und Implementierung eines Softwareprojekts in einer funktionalen Sprache. - Stephan Friedrichs; Henning Günther; Oliver Mielentz; Martin Wegner (Informatiktage, 2008)

A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS). - Henning Günther; Firas El Simrany; Martin Berchtold; Michael Beigl (ARCS Workshops, 2010)

Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones. - Martin Berchtold; Henning Günther; Matthias Budde; Michael Beigl (ARCS Workshops, 2011)

A framework for formal verification of systems of synchronous components. - Stefan Milius; Henning Günther; Jan Peleska 001; Oliver Möller; Helge Löding; Martin Sulzmann; Ramin Hedayati; Axel Zechner (MBEES, 2012)

On the Formal Verification of Systems of Synchronous Software Components. - Henning Günther; Stefan Milius; Oliver Möller (SAFECOMP, 2012)

An Open Alternative for SMT-Based Verification of Scade Models. - Henning Basold; Henning Günther; Michaela Huhn; Stefan Milius (FMICS, 2014)

Incremental bounded software model checking. - Henning Günther; Georg Weissenbacher (SPIN, 2014)

Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). - Henning Günther; Alfons Laarman; Georg Weissenbacher (TACAS, 2016)

Dynamic Reductions for Model Checking Concurrent Software. - Henning Günther; Alfons Laarman; Ana Sokolova; Georg Weissenbacher (VMCAI, 2017)