Henning Günther

Publications

2017
[9] Dynamic Reductions for Model Checking Concurrent Software
Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
Verification, Model Checking and Abstract Interpretation (VMCAI), volume 10145 of Lecture Notes in Computer Science, 2017, Springer.
[bibtex] [pdf] [doi]
2016
[8] Vienna Verification Tool: IC3 for Parallel Software
Henning Günther, Alfons Laarman, Georg Weissenbacher
TACAS 2016 (Marsha Chechik, Jean-François Raskin, eds.), pages 954-957, 2016, Springer.
[bibtex] [pdf] [doi]
2014
[7] Incremental Bounded Software Model Checking
Henning Günther, Georg Weissenbacher
SPIN, pages 40-47, 2014, ACM.
[bibtex] [pdf]
[6] An Open Alternative for SMT-Based Verification of Scade Models
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pages 124-139, 2014.
[bibtex] [pdf] [doi]
2012
[5]On the Formal Verification of Systems of Synchronous Software Components
Henning Günther, Stefan Milius, Oliver Möller
31st International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 291-304, 2012.
[bibtex]
[4]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
8. Workshop für Modellbasierte Entwicklung eingebetteter Systeme (MBEES), pages 145-154, 2012.
[bibtex]
2011
[3] Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones
Martin Berchtold, Henning Günther, Matthias Budde, Michael Beigl
24th International Conference on Architecture of Computing Systems (ARCS), Feb 2011.
[bibtex] [pdf]
2010
[2] 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 '10 - 23th International Conference on Architecture of Computing Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover, Germany, pages 151-159, 2010.
[bibtex] [pdf]
2008
[1]A Static Aspect Language for Modelica Models
Malte Lochau, Henning Günther
2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), pages 47-57, 2008.
[bibtex]

Address:
Henning Günther
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HD 03 05 (how to get there)
Phone: +43 (1) 58801 – 184 835
Email: ta.etysrofnull@rehtneug
Web: http://forsyte.at/~guenther/
Henning Günther in profile

Me, 2011

Latest News

Florian Zuleger winning WWTF grant

Florian Zuleger was awarded a grant by WWTF for his research project “Automated Program Analysis for Bounds on Resource Consumption”. Florian’s project will develop new methods to extract bounds for loops, memory and bandwidth from imperative programs.

Continue reading

Welcome Georg Weissenbacher

Georg Weissenbacher, leader of a WWTF funded Vienna Research Group, will start his work in our group on July 2. His project “Heisenbugs: From Detection to Explanation” is applying formal methods to identify hard-to-detect errors in computer systems. See a newspaper article on his work in “Der Standard”.

Continue reading

Uni-Finanzierung als Absurdes Theater (Der Standard)

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. […]

Continue reading

Full news archive