Martin Hentschel
Martin Hentschel
itemis AG, Germany
Bestätigte E-Mail-Adresse bei itemis.de
Titel
Zitiert von
Zitiert von
Jahr
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
802012
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
692014
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
692014
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
412014
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
192014
Visualizing unbounded symbolic execution
M Hentschel, R Hähnle, R Bubel
International Conference on Tests and Proofs, 82-98, 2014
192014
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
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
142018
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
132016
Integrating Symbolic Execution, Debugging and Verification
M Hentschel
Technische Universität Darmstadt, 2016
132016
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
112016
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
82016
Formal specification with JML
M Huisman, W Ahrendt, D Bruns, M Hentschel
Department of Informatics, Karlsruhe Institute of Technology, 2014
62014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17