Buchkapitel

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

Buch

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

Konferenzveröffentlichung

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 ; 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

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

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

Report

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 (2013)
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
Report, Bibliographie

Dissertation

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

Masterarbeit

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