Martin Hentschel

According to our database1, Martin Hentschel authored at least 15 papers between 2012 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
Int. J. Softw. Tools Technol. Transf., 2019

2016
Formal Specification with the Java Modeling Language.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Formal Verification with KeY: A Tutorial.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Debugging and Visualization.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Integrating Symbolic Execution, Debugging and Verification.
PhD thesis, 2016

Variability Hiding in Contracts for Dependent Software Product Lines.
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.
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.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Can Formal Methods Improve the Efficiency of Code Reviews?
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2014
The KeY Platform for Verification and Analysis of Java Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Visualizing Unbounded Symbolic Execution.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Potential synergies of theorem proving and model checking for software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

Symbolic Execution Debugger (SED).
Proceedings of the Runtime Verification - 5th International Conference, 2014

An Interactive Verification Tool Meets an IDE.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012
Family-based deductive verification of software product lines.
Proceedings of the Generative Programming and Component Engineering, 2012


  Loading...