Ji, Ran ; Bubel, Richard
Hrsg.: 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
Buchkapitel, Bibliographie

Ji, Ran (2014)
Sound Program Transformation Based on Symbolic Execution and Deduction.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

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

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie

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

Ji, Ran ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Konferenzveröffentlichung, Bibliographie

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

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Hrsg.: Liu, Zhiming ; Ravn, Anders (2009)
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Konferenzveröffentlichung, Bibliographie