Daniel Wonisch

12 papers A* 1A 1B 3C 3Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2014 C conf
Programs from Proofs - Approach and Applications.
Software Engineering
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2013 A* conf
Programs from Proofs - A PCC Alternative.
CAV
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2013 B conf
Zero Overhead Runtime Monitoring.
SEFM
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
2012 A conf
Block Abstraction Memoization for CPAchecker - (Competition Contribution).
TACAS
Daniel Wonisch
2012 C conf
Predicate Analysis with Block-Abstraction Memoization.
ICFEM
Daniel Wonisch, Heike Wehrheim
2011 — conf
A New Approach for Analyzing Convergence Algorithms for Mobile Robots.
ICALP (2)
Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Märtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner, Christoph Weddemann, Daniel Wonisch
2011 B conf
Collisionless Gathering of Robots with an Extent.
SOFSEM
Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Märtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner, Christoph Weddemann, Daniel Wonisch
2011 — conf
Sound and Complete Abstract Graph Transformation.
SBMF
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
2010 J jnl
Towards A Shape Analysis for Graph Transformation Systems
CoRR
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
2009 B conf
Three-Valued Spotlight Abstractions.
FM
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch
2008 — conf
Compositional CSP Traces Refinement Checking.
AVoCS
Heike Wehrheim, Daniel Wonisch
2008 C conf
Decomposition for Compositional Verification.
ICFEM
Björn Metzler, Heike Wehrheim, Daniel Wonisch