Martin Hentschel

According to our database, Martin Hentschel authored at least 17 papers between 2012 and 2023.

Collaborative distances:

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

2023

ML Mob at SemEval-2023 Task 5: "Breaking News: Our Semi-Supervised and Multi-Task Learning Approach Spoils Clickbait".

Hannah Sterz, Leonard Bongard, Tobias Werner, Clifton Poth, Martin Hentschel

Proceedings of the The 17th International Workshop on Semantic Evaluation, 2023

ML Mob at SemEval-2023 Task 1: Probing CLIP on Visual Word-Sense Disambiguation.

Clifton Poth, Martin Hentschel, Tobias Werner, Hannah Sterz, Leonard Bongard

Proceedings of the The 17th International Workshop on Semantic Evaluation, 2023

2019

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.

Martin Hentschel, Richard Bubel, Reiner Hähnle

Int. J. Softw. Tools Technol. Transf., 2019

2016

Formal Specification with the Java Modeling Language.

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Formal Verification with KeY: A Tutorial.

Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Debugging and Visualization.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Integrating Symbolic Execution, Debugging and Verification.

Martin Hentschel

PhD thesis, 2016

Variability Hiding in Contracts for Dependent Software Product Lines.

Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

The interactive verification debugger: effective understanding of interactive proof attempts.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An empirical evaluation of two user interfaces of an interactive program verifier.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Can Formal Methods Improve the Efficiency of Code Reviews?

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

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, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Visualizing Unbounded Symbolic Execution.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Potential synergies of theorem proving and model checking for software product lines.

Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake

Proceedings of the 18th International Software Product Line Conference, 2014

Symbolic Execution Debugger (SED).

Martin Hentschel, Richard Bubel, Reiner Hähnle

Proceedings of the Runtime Verification - 5th International Conference, 2014

An Interactive Verification Tool Meets an IDE.

Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012

Family-based deductive verification of software product lines.

Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel

Proceedings of the Generative Programming and Component Engineering, 2012