Ji, Ran ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Program Transformation and Compilation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_14
Book Section

Ji, Ran (2014)
Sound Program Transformation Based on Symbolic Execution and Deduction.
TU Darmstadt
Ph.D. Thesis, Primary publication

Ji, Ran ; Hähnle, Reiner (2014)
Information Flow Analysis Based on Program Simplification.
Report

Ji, Ran ; Hähnle, Reiner (2014)
Sound Deductive Compilation.
Report

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
eds.: Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings.
doi: 10.1007/978-3-642-40561-7_20
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
eds.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
eds.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard (2013)
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
Report

Ji, Ran ; Bubel, Richard
eds.: Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen (2012)
PE-KeY: A Partial Evaluator for Java Programs.
doi: 10.1007/978-3-642-30729-4_20
Conference or Workshop Item

Ji, Ran (2012)
Towards a Deductive Compilation Approach.
Book

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
eds.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
eds.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Conference or Workshop Item

Ji, Ran (2009)
Automatic Verification of Dynamic Data-Dependent Programs.
Universität Uppsala
Master Thesis

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
eds.: Liu, Zhiming ; Ravn, Anders (2009)
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Conference or Workshop Item