Daniel Wonisch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CAV | Programs from Proofs - A PCC Alternative. | Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
| 2013 | SEFM | Zero Overhead Runtime Monitoring. | Daniel Wonisch, Alexander Schremmer, Heike Wehrheim |
| 2012 | ICFEM | Predicate Analysis with Block-Abstraction Memoization. | Daniel Wonisch, Heike Wehrheim |
| 2012 | TACAS | Block Abstraction Memoization for CPAchecker - (Competition Contribution). | Daniel Wonisch |
| 2011 | ICALP | A New Approach for Analyzing Convergence Algorithms for Mobile Robots. | Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Mrtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner, Christoph Weddemann, Daniel Wonisch |
| 2011 | SOFSEM | Collisionless Gathering of Robots with an Extent. | Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Mrtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner, Christoph Weddemann, Daniel Wonisch |
| 2009 | FM | Three-Valued Spotlight Abstractions. | Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
| 2008 | ICFEM | Decomposition for Compositional Verification. | Bjrn Metzler, Heike Wehrheim, Daniel Wonisch |