Henning Günther
Publications
2017 | |
[9] | Dynamic Reductions for Model Checking Concurrent Software Verification, Model Checking and Abstract Interpretation (VMCAI), volume 10145 of Lecture Notes in Computer Science, 2017, Springer. |
2016 | |
[8] | Vienna Verification Tool: IC3 for Parallel Software TACAS 2016 (Marsha Chechik, Jean-François Raskin, eds.), pages 954–957, 2016, Springer. |
2014 | |
[7] | Incremental Bounded Software Model Checking SPIN, pages 40–47, 2014, ACM. |
[6] | An Open Alternative for SMT-Based Verification of Scade Models Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pages 124–139, 2014. |
2012 | |
[5] | On the Formal Verification of Systems of Synchronous Software Components 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 8. Workshop für Modellbasierte Entwicklung eingebetteter Systeme (MBEES), pages 145-154, 2012. |
2011 | |
[3] | Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones 24th International Conference on Architecture of Computing Systems (ARCS), Feb 2011. |
2010 | |
[2] | A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS) ARCS '10 - 23th International Conference on Architecture of Computing Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover, Germany, pages 151–159, 2010. |
2008 | |
[1] | A Static Aspect Language for Modelica Models 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), pages 47-57, 2008. |
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: | guenther@forsyte.at |
Web: | http://forsyte.at/~guenther/ |

Me, 2011