Decomposition for Compositional Verification. - Björn Metzler 001; Heike Wehrheim; Daniel Wonisch (ICFEM, 2008)

Compositional CSP Traces Refinement Checking. - Heike Wehrheim; Daniel Wonisch (AVoCS, 2008)

Three-Valued Spotlight Abstractions. - Jonas Schrieb; Heike Wehrheim; Daniel Wonisch (FM, 2009)

Towards A Shape Analysis for Graph Transformation Systems - Dominik Steenken; Heike Wehrheim; Daniel Wonisch (CoRR, 2010)

A New Approach for Analyzing Convergence Algorithms for Mobile Robots. - Andreas Cord-Landwehr; Bastian Degener; Matthias Fischer 001; Martina Hüllmann; Barbara Kempkes; Alexander Klaas; Peter Kling; Sven Kurras; Marcus Märtens; Friedhelm Meyer auf der Heide; Christoph Raupach; Kamil Swierkot; et al. (ICALP (2), 2011)

Sound and Complete Abstract Graph Transformation. - Dominik Steenken; Heike Wehrheim; Daniel Wonisch (SBMF, 2011)

Collisionless Gathering of Robots with an Extent. - Andreas Cord-Landwehr; Bastian Degener; Matthias Fischer 001; Martina Hüllmann; Barbara Kempkes; Alexander Klaas; Peter Kling; Sven Kurras; Marcus Märtens; Friedhelm Meyer auf der Heide; Christoph Raupach; Kamil Swierkot; et al. (SOFSEM, 2011)

Predicate Analysis with Block-Abstraction Memoization. - Daniel Wonisch; Heike Wehrheim (ICFEM, 2012)

Block Abstraction Memoization for CPAchecker - (Competition Contribution). - Daniel Wonisch (TACAS, 2012)

Programs from Proofs - A PCC Alternative. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (CAV, 2013)

Zero Overhead Runtime Monitoring. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (SEFM, 2013)

Programs from Proofs - Approach and Applications. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (Software Engineering, 2014)