Family-based deductive verification of software product lines. - Thomas Thüm; Ina Schaefer; Martin Hentschel 002; Sven Apel (GPCE, 2012)

An Interactive Verification Tool Meets an IDE. - Martin Hentschel 002; Stefan Käsdorf; Reiner Hähnle; Richard Bubel (IFM, 2014)

Symbolic Execution Debugger (SED). - Martin Hentschel 002; Richard Bubel; Reiner Hähnle (RV, 2014)

Potential synergies of theorem proving and model checking for software product lines. - Thomas Thüm; Jens Meinicke; Fabian Benduhn; Martin Hentschel 002; Alexander von Rhein; Gunter Saake (SPLC, 2014)

Visualizing Unbounded Symbolic Execution. - Martin Hentschel 002; Reiner Hähnle; Richard Bubel (TAP@STAF, 2014)

The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

Can Formal Methods Improve the Efficiency of Code Reviews? - Martin Hentschel 002; Reiner Hähnle; Richard Bubel (IFM, 2016)

An empirical evaluation of two user interfaces of an interactive program verifier. - Martin Hentschel 002; Reiner Hähnle; Richard Bubel (ASE, 2016)

The interactive verification debugger: effective understanding of interactive proof attempts. - Martin Hentschel 002; Reiner Hähnle; Richard Bubel (ASE, 2016)

Variability Hiding in Contracts for Dependent Software Product Lines. - Thomas Thüm; Tim Winkelmann; Reimar Schröter; Martin Hentschel 002; Stefan Krüger (VaMoS, 2016)

Integrating Symbolic Execution, Debugging and Verification. - Martin Hentschel 002 (2016)

Debugging and Visualization. - Martin Hentschel 002; Reiner Hähnle; Richard Bubel (Deductive Software Verification, 2016)

Formal Verification with KeY: A Tutorial. - Bernhard Beckert; Reiner Hähnle; Martin Hentschel 002; Peter H. Schmitt (Deductive Software Verification, 2016)

Formal Specification with the Java Modeling Language. - Marieke Huisman; Wolfgang Ahrendt; Daniel Grahl; Martin Hentschel 002 (Deductive Software Verification, 2016)

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. - Martin Hentschel 002; Richard Bubel; Reiner Hähnle (Int. J. Softw. Tools Technol. Transf., 2019)