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

Profil article on women in logic

A recent article in the Austrian weekly Profil about female logicians in Austria is featuring Agata Ciabattoni, Martina Seidl, Laura Kovacs, Magdalena Ortiz, Marijana Lazic, Shqiponja Ahmetaj, and Neha Lodha. All women are affiliated with the Doctoral College Logical Methods in Computer Science.  

Continue reading

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

Full news archive