Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner (2019):
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
In: STTT, 21 (5), pp. 485-513. DOI: 10.1007/s10009-018-0490-9,
[Article]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016):
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
In: ASE 2016, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp. 403-413,
ACM, Singapore, Singapore, ISBN 978-1-4503-3845-5,
DOI: 10.1145/2970276.2970303,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016):
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
In: ASE 2016, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp. 846--851,
ACM, Singapore, Singapore, ISBN 978-1-4503-3845-5,
DOI: 10.1145/2970276.2970292,
[Conference or Workshop Item]

Hentschel, Martin (2016):
Integrating Symbolic Execution, Debugging and Verification.
Technische Universität Darmstadt,
[Ph.D. Thesis]

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan (2016):
Variability Hiding in Contracts for Dependent Software Product Lines.
In: VaMoS '16, In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, pp. 97--104,
ACM, Salvador, Brazil, ISBN 978-1-4503-4019-9,
DOI: 10.1145/2866614.2866628,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (eds.) (2016):
Can Formal Methods Improve the Efficiency of Code Reviews?
In: Lecture Notes in Computer Science, 9681, pp. 3-19, Springer, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, DOI: 10.1007/978-3-319-33693-0_1,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Debugging and Visualization.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 383-413, Springer, DOI: 10.1007/978-3-319-49812-6_11,
[Book Section]

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Formal Verification with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 541-570, Springer, DOI: 10.1007/978-3-319-49812-6_16,
[Book Section]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) (2016):
An empirical evaluation of two user interfaces of an interactive program verifier.
pp. 403-413, ACM, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970303,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) (2016):
The interactive verification debugger: effective understanding of interactive proof attempts.
pp. 846-851, ACM, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970292,
[Conference or Workshop Item]

Thüm, Thomas ; Meinicke, Jens ; Benduhn, Fabian ; Hentschel, Martin ; Rhein, Alexander von ; Saake, Gunter (2014):
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
In: SPLC, In: Proceedings of the International Software Product Line Conference (SPLC),
ACM, [Conference or Workshop Item]

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Bonakdarpour, Borzoo ; Smolka, Scott (eds.) (2014):
Symbolic Execution Debugger (SED).
In: LNCS, In: Proceedings of Runtime Verification 2014, pp. 255--262,
Springer, [Conference or Workshop Item]

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (eds.) (2014):
An interactive verification tool meets an IDE.
In: LNCS, In: Proceedings of the 11th International Conference on Integrated Formal Methods, pp. 55--70,
Springer, [Conference or Workshop Item]

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014):
Formal Specification with JML.
(2014,1), [Report]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
Giannakopoulou, Dimitra ; Kroening, Daniel (eds.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS, In: Post-Conference Proceedings VSTTE 2014, pp. 55--71,
Springer, [Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Seidl, Martina ; Tillmann, Nikolai (eds.) (2014):
Visualizing Unbounded Symbolic Execution.
In: LNCS, In: Proceedings of Testing and Proofs (TAP) 2014, pp. 82--98,
Springer, [Conference or Workshop Item]

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil (eds.) (2014):
An Interactive Verification Tool Meets an IDE.
In: Lecture Notes in Computer Science, 8739, pp. 55-70, Springer, Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, DOI: 10.1007/978-3-319-10181-1_4,
[Conference or Workshop Item]

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pp. 11-20,
ACM, Dresden, Germany, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]