| Interleaving symbolic execution and partial evaluation R Bubel, R Hähnle, R Ji Formal Methods for Components and Objects, 125-146, 2010 | 25 | 2010 |
| PE-KeY: a partial evaluator for java programs R Ji, R Bubel Integrated Formal Methods, 283-295, 2012 | 15 | 2012 |
| Program transformation based on symbolic execution and deduction R Ji, R Hähnle, R Bubel Software Engineering and Formal Methods, 289-304, 2013 | 12 | 2013 |
| Program specialization via a software verification tool R Bubel, R Hähnle, R Ji Formal Methods for Components and Objects, 80-101, 2012 | 11 | 2012 |
| Automated analysis of data-dependent programs with dynamic memory PA Abdulla, M Atto, J Cederberg, R Ji Automated Technology for Verification and Analysis, 197-212, 2009 | 5 | 2009 |
| Sound Program Transformation Based on Symbolic Execution and Deduction R Ji TU Darmstadt, Germany, 2014 | 4 | 2014 |
| Automatic verification of dynamic data-dependent programs PA Abdulla, M Atto, J Cederberg, R Ji ATVA, LNCS, doi 10, 978-3, 2009 | 3 | 2009 |
| Information Flow Analysis Based on Program Simplification R Ji, R Hähnle | 3* | |
| Program Transformation and Compilation. R Ji, R Bubel Deductive Software Verification, 473-492, 2016 | 1 | 2016 |
| Program Transformation Based on Symbolic Execution and Deduction (Technical Report) R Ji, R Hähnle, R Bubel TU Darmstadt, Germany, 2013 | | 2013 |
| Towards a Deductive Compilation Approach R Ji Chalmers University of Technology, Sweden, 2012 | | 2012 |
| Automatic Verification of Dynamic Data-Dependent Programs R Ji Uppsala University, Germany, 2009 | | 2009 |
| Shape Analysis via Monotonic Abstraction. PA Abdulla, A Bouajjani, J Cederberg, F Haziza, R Ji, A Rezine Beyond the Finite: New Challenges in Verification and Semistructured Data, 2008 | | 2008 |
| Sound Deductive Compilation R Ji, R Hähnle | | |
Richard BubelDepartment of Computer Science, TU DarmstadtDirección de correo verificada de cs.tu-darmstadt.de
