Henning Gnther
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2017
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | VMCAI | Dynamic Reductions for Model Checking Concurrent Software. | Henning Gnther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher |
| 2016 | TACAS | Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). | Henning Gnther, Alfons Laarman, Georg Weissenbacher |
| 2014 | FMICS | An Open Alternative for SMT-Based Verification of Scade Models. | Henning Basold, Henning Gnther, Michaela Huhn, Stefan Milius |
| 2012 | SAFECOMP | On the Formal Verification of Systems of Synchronous Software Components. | Henning Gnther, Stefan Milius, Oliver Mller |