Daniel Wonisch

According to our database, Daniel Wonisch authored at least 12 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Programs from Proofs - Approach and Applications.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Zero Overhead Runtime Monitoring.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Programs from Proofs - A PCC Alternative.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Block Abstraction Memoization for CPAchecker - (Competition Contribution).

Daniel Wonisch

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Predicate Analysis with Block-Abstraction Memoization.

Daniel Wonisch, Heike Wehrheim

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Collisionless Gathering of Robots with an Extent.

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

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Sound and Complete Abstract Graph Transformation.

Dominik Steenken, Heike Wehrheim, Daniel Wonisch

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

A New Approach for Analyzing Convergence Algorithms for Mobile Robots.

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

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010

Towards A Shape Analysis for Graph Transformation Systems

Dominik Steenken, Heike Wehrheim, Daniel Wonisch

CoRR, 2010

2009

Three-Valued Spotlight Abstractions.

Jonas Schrieb, Heike Wehrheim, Daniel Wonisch

Proceedings of the FM 2009: Formal Methods, 2009

2008

Compositional CSP Traces Refinement Checking.

Heike Wehrheim, Daniel Wonisch

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Decomposition for Compositional Verification.

Björn Metzler, Heike Wehrheim, Daniel Wonisch

Proceedings of the Formal Methods and Software Engineering, 2008