Henning Günther

According to our database, Henning Günther authored at least 10 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Dynamic Reductions for Model Checking Concurrent Software.

Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).

Henning Günther, Alfons Laarman, Georg Weissenbacher

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2014

Incremental bounded software model checking.

Henning Günther, Georg Weissenbacher

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

An Open Alternative for SMT-Based Verification of Scade Models.

Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2012

On the Formal Verification of Systems of Synchronous Software Components.

Henning Günther, Stefan Milius, Oliver Möller

Proceedings of the Computer Safety, Reliability, and Security, 2012

A framework for formal verification of systems of synchronous components.

Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones.

Martin Berchtold, Henning Günther, Matthias Budde, Michael Beigl

Proceedings of the ARCS 2011, 2011

2010

A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS).

Henning Günther, Firas El Simrany, Martin Berchtold, Michael Beigl

Proceedings of the ARCS '10, 2010

2008

Praktikum: Entwurf und Implementierung eines Softwareprojekts in einer funktionalen Sprache.

Stephan Friedrichs, Henning Günther, Oliver Mielentz, Martin Wegner

Proceedings of the Informatiktage 2008, 2008

A Static Aspect Language for Modelica Models.

Malte Lochau, Henning Günther

Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008