Martin Hentschel

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Venues

ASE

SemEval@ACL

IFM

VSTTE

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Hannah Sterz, Leonard Bongard, Tobias Werner, Clifton Poth, Martin Hentschel
ML Mob at SemEval-2023 Task 5: "Breaking News: Our Semi-Supervised and Multi-Task Learning Approach Spoils Clickbait". SemEval@ACL (2023)
Clifton Poth, Martin Hentschel, Tobias Werner, Hannah Sterz, Leonard Bongard
ML Mob at SemEval-2023 Task 1: Probing CLIP on Visual Word-Sense Disambiguation. SemEval@ACL (2023)
Martin Hentschel, Richard Bubel, Reiner Hähnle
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger
Variability Hiding in Contracts for Dependent Software Product Lines. VaMoS (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
An empirical evaluation of two user interfaces of an interactive program verifier. ASE (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
Can Formal Methods Improve the Efficiency of Code Reviews? IFM (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
The interactive verification debugger: effective understanding of interactive proof attempts. ASE (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
Visualizing Unbounded Symbolic Execution. TAP@STAF (2014)
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel
An Interactive Verification Tool Meets an IDE. IFM (2014)
Martin Hentschel, Richard Bubel, Reiner Hähnle
Symbolic Execution Debugger (SED). RV (2014)
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
Potential synergies of theorem proving and model checking for software product lines. SPLC (2014)
Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel
Family-based deductive verification of software product lines. GPCE (2012)

Martin Hentschel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Hentschel