Henning Günther

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