![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Henning Günther
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [c10]Henning Günther, Alfons Laarman
, Ana Sokolova
, Georg Weissenbacher
:
Dynamic Reductions for Model Checking Concurrent Software. VMCAI 2017: 246-265 - 2016
- [c9]Henning Günther, Alfons Laarman
, Georg Weissenbacher
:
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). TACAS 2016: 954-957 - [i1]Henning Günther, Alfons Laarman
, Ana Sokolova, Georg Weissenbacher:
Dynamic Reductions for Model Checking Concurrent Software. CoRR abs/1611.09318 (2016) - 2014
- [c8]Henning Basold
, Henning Günther, Michaela Huhn, Stefan Milius:
An Open Alternative for SMT-Based Verification of Scade Models. FMICS 2014: 124-139 - [c7]Henning Günther, Georg Weissenbacher
:
Incremental bounded software model checking. SPIN 2014: 40-47 - 2012
- [c6]Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner:
A framework for formal verification of systems of synchronous components. MBEES 2012: 145-154 - [c5]Henning Günther, Stefan Milius, Oliver Möller:
On the Formal Verification of Systems of Synchronous Software Components. SAFECOMP 2012: 291-304 - 2011
- [c4]Martin Berchtold, Henning Günther, Matthias Budde, Michael Beigl:
Scheduling for a Modular Activity Recognition System to Reduce Energy Consumption on SmartPhones. ARCS Workshops 2011 - 2010
- [c3]Henning Günther, Firas El Simrany, Martin Berchtold, Michael Beigl:
A Tool Chain for a Lightweight, Robust and Uncertainty-based Context Classification System (CCS). ARCS Workshops 2010: 151-159
2000 – 2009
- 2008
- [c2]Malte Lochau, Henning Günther:
A Static Aspect Language for Modelica Models. EOOLT 2008: 47-57 - [c1]Stephan Friedrichs, Henning Günther, Oliver Mielentz, Martin Wegner:
Praktikum: Entwurf und Implementierung eines Softwareprojekts in einer funktionalen Sprache. Informatiktage 2008: 69-72
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint