Henning Günther


[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]
[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]
[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]
[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.
[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.
[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]
[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]
[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.

Henning Günther
Technische Universität Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien

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

WWTF ICT project awarded to Igor Konnov

Igor Konnov (PI), together with Josef Widder (co-PI) and Helmut Veith (core team), are awarded an ICT research project APALACHE “Abstraction-based Parameterized TLA Checker” by the Vienna Science and Technology Fund WWTF.

Continue reading

Austrian Computer Science Day 2015

The Austrian Computer Science Day 2015, which takes place on October 15, features a range of talks by leading Austrian computer scientists, including topics such as computer games, augmented reality, aware systems, semantic web, business processes, and reliable systems. Register for free by October 7, 2015! This year’s speakers are: Alois Ferscha (JKU Linz) Tom […]

Continue reading

Helmut Veith receives CAV Award

The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).

Continue reading

Full news archive