Henning Günther

According to our database1, Henning Günther authored at least 10 papers between 2008 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Dynamic Reductions for Model Checking Concurrent Software.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2014
Incremental bounded software model checking.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

An Open Alternative for SMT-Based Verification of Scade Models.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2012
On the Formal Verification of Systems of Synchronous Software Components.
Proceedings of the Computer Safety, Reliability, and Security, 2012

A framework for formal verification of systems of synchronous components.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011
Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones.
Proceedings of the ARCS 2011, 2011

2010
A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS).
Proceedings of the ARCS '10, 2010

2008
Praktikum: Entwurf und Implementierung eines Softwareprojekts in einer funktionalen Sprache.
Proceedings of the Informatiktage 2008, 2008

A Static Aspect Language for Modelica Models.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008


  Loading...