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 | 119 | 2012 |
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 | 93 | 2014 |
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 | 93 | 2014 |
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 | 45 | 2014 |
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 | 27 | 2018 |
Symbolic execution debugger (SED) M Hentschel, R Bubel, R Hähnle International Conference on Runtime Verification, 255-262, 2014 | 27 | 2014 |
Visualizing unbounded symbolic execution M Hentschel, R Hähnle, R Bubel International Conference on Tests and Proofs, 82-98, 2014 | 21 | 2014 |
Formal Specification with the Java Modeling Language M Huisman, W Ahrendt, D Grahl, M Hentschel Deductive Software Verification–The KeY Book, 193-241, 2016 | 20 | 2016 |
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 | 20 | 2014 |
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 | 17 | 2016 |
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 | 17 | 2016 |
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 | 16 | 2016 |
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 | 15 | 2016 |
Integrating Symbolic Execution, Debugging and Verification M Hentschel Technische Universität Darmstadt, 2016 | 15 | 2016 |
Formal specification with JML M Huisman, W Ahrendt, D Bruns, M Hentschel Department of Informatics, Karlsruhe Institute of Technology, 2014 | 10 | 2014 |
Formal Verification with KeY: A Tutorial B Beckert, R Hähnle, M Hentschel, PH Schmitt Deductive Software Verification–The KeY Book, 541-570, 2016 | 4 | 2016 |
Debugging and Visualization M Hentschel, R Hähnle, R Bubel Deductive Software Verification–The KeY Book, 383-413, 2016 | | 2016 |