Daniel Wonisch

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Computer Programs

Data Abstraction

Top Venues

Publications

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
Programs from Proofs - Approach and Applications. Software Engineering (2014)
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
Programs from Proofs - A PCC Alternative. CAV (2013)
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim
Zero Overhead Runtime Monitoring. SEFM (2013)
Daniel Wonisch, Heike Wehrheim
Predicate Analysis with Block-Abstraction Memoization. ICFEM (2012)
Daniel Wonisch
Block Abstraction Memoization for CPAchecker - (Competition Contribution). TACAS (2012)
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
Sound and Complete Abstract Graph Transformation. SBMF (2011)
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
A New Approach for Analyzing Convergence Algorithms for Mobile Robots. ICALP (2) (2011)
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
Collisionless Gathering of Robots with an Extent. SOFSEM (2011)
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
Towards A Shape Analysis for Graph Transformation Systems CoRR (2010)
Heike Wehrheim, Daniel Wonisch
Compositional CSP Traces Refinement Checking. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch
Three-Valued Spotlight Abstractions. FM (2009)
Björn Metzler, Heike Wehrheim, Daniel Wonisch
Decomposition for Compositional Verification. ICFEM (2008)