Henning Günther

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 3

Top Topics

Formal Verification

Alternating Time Temporal Logic

Top Venues

Publications

Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Dynamic Reductions for Model Checking Concurrent Software. VMCAI (2017)
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Dynamic Reductions for Model Checking Concurrent Software. CoRR (2016)
Henning Günther, Alfons Laarman, Georg Weissenbacher
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). TACAS (2016)
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
An Open Alternative for SMT-Based Verification of Scade Models. FMICS (2014)
Henning Günther, Georg Weissenbacher
Incremental bounded software model checking. SPIN (2014)
Henning Günther, Stefan Milius, Oliver Möller
On the Formal Verification of Systems of Synchronous Software Components. SAFECOMP (2012)
Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
A framework for formal verification of systems of synchronous components. MBEES (2012)
Martin Berchtold, Henning Günther, Matthias Budde, Michael Beigl
Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones. ARCS Workshops (2011)
Henning Günther, Firas El Simrany, Martin Berchtold, Michael Beigl
A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS). ARCS Workshops (2010)
Malte Lochau, Henning Günther
A Static Aspect Language for Modelica Models. EOOLT (2008)
Stephan Friedrichs, Henning Günther, Oliver Mielentz, Martin Wegner
Praktikum: Entwurf und Implementierung eines Softwareprojekts in einer funktionalen Sprache. Informatiktage (2008)