Martin Hentschel
Martin Hentschel
itemis AG, Germany
Verified email at itemis.de
Title
Cited by
Cited by
Year
Family-based deductive verification of software product lines
T Thüm, I Schaefer, S Apel, M Hentschel
Proceedings of the 11th International Conference on Generative Programming …, 2012
852012
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
742014
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
742014
Potential synergies of theorem proving and model checking for software product lines
T Thüm, J Meinicke, F Benduhn, M Hentschel, A von Rhein, G Saake
Proceedings of the 18th International Software Product Line Conference …, 2014
432014
Symbolic execution debugger (SED)
M Hentschel, R Bubel, R Hähnle
International Conference on Runtime Verification, 255-262, 2014
222014
An interactive verification tool meets an IDE
M Hentschel, S Käsdorf, R Hähnle, R Bubel
International Conference on Integrated Formal Methods, 55-70, 2014
202014
Visualizing unbounded symbolic execution
M Hentschel, R Hähnle, R Bubel
International Conference on Tests and Proofs, 82-98, 2014
202014
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
M Hentschel, R Bubel, R Hähnle
International Journal on Software Tools for Technology Transfer, 1-29, 2018
172018
An empirical evaluation of two user interfaces of an interactive program verifier
M Hentschel, R Hähnle, R Bubel
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
152016
The interactive verification debugger: effective understanding of interactive proof attempts
M Hentschel, R Hähnle, R Bubel
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
152016
Variability hiding in contracts for dependent software product lines
T Thüm, T Winkelmann, R Schröter, M Hentschel, S Krüger
Proceedings of the tenth international workshop on variability modelling of …, 2016
152016
Integrating Symbolic Execution, Debugging and Verification
M Hentschel
Technische Universität Darmstadt, 2016
142016
Can Formal Methods Improve the Efficiency of Code Reviews?
M Hentschel, R Hähnle, R Bubel
International Conference on Integrated Formal Methods, 3-19, 2016
102016
Formal Specification with the Java Modeling Language
M Huisman, W Ahrendt, D Grahl, M Hentschel
Deductive Software Verification–The KeY Book, 193-241, 2016
102016
Formal specification with JML
M Huisman, W Ahrendt, D Bruns, M Hentschel
Department of Informatics, Karlsruhe Institute of Technology, 2014
72014
Formal Verification with KeY: A Tutorial
B Beckert, R Hähnle, M Hentschel, PH Schmitt
Deductive Software Verification–The KeY Book, 541-570, 2016
2016
Debugging and Visualization
M Hentschel, R Hähnle, R Bubel
Deductive Software Verification–The KeY Book, 383-413, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–17