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 Informationssysteme 184/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

Opening of Vienna Center for Logic and Algorithms (VCLA) on Jan 25

The Vienna Center for Logic and Algorithms is an initiative of the Faculty of Informatics and funded by a three-year competitive grant of Vienna University of Technology. Embedded into the primary research area Computational Intelligence and the funding priority Computational Logic of the Faculty, the center is promoting international scientific collaboration in logic and algorithms. […]

Continue reading

Winter School on Verification

The Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students. Details are available from the VCLA website.

Continue reading

CfP: Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2 2010)

The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) is a forum that brings together researchers working on formal methods for concurrency, and those working on advanced parallel applications. Its goal is to stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.

Continue reading

Full news archive