| The KeY Tool R Hähnle, W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, W Menzel, ... Software and Systems Modeling 4 (1), 32-54, 2005 | 369* | 2005 |
| Deductive Software Verification–The KeY Book W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich Lecture notes in computer science 10001, 2016 | 209* | 2016 |
| 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 | 70 | 2014 |
| OpenJDK’s Java. utils. Collection. sort () is broken: The good, the bad and the worst case S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle International Conference on Computer Aided Verification, 273-289, 2015 | 61 | 2015 |
| KeY-ABS: A deductive verification tool for the concurrent modelling language ABS CC Din, R Bubel, R Hähnle International Conference on Automated Deduction, 517-526, 2015 | 56 | 2015 |
| A visual interactive debugger based on symbolic execution R Hähnle, M Baum, R Bubel, M Rothe Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 34 | 2010 |
| Abstract interpretation of symbolic execution with explicit state updates R Bubel, R Hähnle, B Weiß International Symposium on Formal Methods for Components and Objects, 247-277, 2008 | 34 | 2008 |
| Reuse in software verification by abstract method calls R Hähnle, I Schaefer, R Bubel International Conference on Automated Deduction, 300-314, 2013 | 30 | 2013 |
| Verified resource guarantees using COSTA and KeY E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011 | 27 | 2011 |
| Symbolic execution debugger (SED) M Hentschel, R Bubel, R Hähnle International Conference on Runtime Verification, 255-262, 2014 | 23 | 2014 |
| Fully abstract operation contracts R Bubel, R Hähnle, M Pelevina International Symposium On Leveraging Applications of Formal Methods …, 2014 | 21 | 2014 |
| Interleaving symbolic execution and partial evaluation R Bubel, R Hähnle, R Ji International Symposium on Formal Methods for Components and Objects, 125-146, 2009 | 21 | 2009 |
| Verifying openjdk’s sort method for generic collections S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel Journal of automated reasoning 62 (1), 93-126, 2019 | 19 | 2019 |
| 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 | 19 | 2014 |
| Visualizing unbounded symbolic execution M Hentschel, R Hähnle, R Bubel International Conference on Tests and Proofs, 82-98, 2014 | 19 | 2014 |
| Exploit generation for information flow leaks in object-oriented programs QH Do, R Bubel, R Hähnle IFIP International Information Security and Privacy Conference, 401-415, 2015 | 18 | 2015 |
| A Hoare-style calculus with explicit state updates R Hähnle, R Bubel Formal Methods in Computer Science Education, 49-60, 2008 | 17 | 2008 |
| Proof repositories for compositional verification of evolving software systems R Bubel, F Damiani, R Hähnle, EB Johnsen, O Owe, I Schaefer, IC Yu Transactions on Foundations for Mastering Change I, 130-156, 2016 | 16 | 2016 |
| 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 21 (5), 485-513, 2019 | 15 | 2019 |
| Testing abstract behavioral specifications PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ... International Journal on Software Tools for Technology Transfer 17 (1), 107-119, 2015 | 15 | 2015 |
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mail confirmado em cs.tu-darmstadt.de
