TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 14.

Ji, Ran and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Program Transformation and Compilation.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 473-492, DOI: 10.1007/978-3-319-49812-6₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_14],
[Book Section]

Ji, Ran (2014):
Sound Program Transformation Based on Symbolic Execution and Deduction.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4021],
[Ph.D. Thesis]

Ji, Ran and Hähnle, Reiner (2014):
Information Flow Analysis Based on Program Simplification.
(TUD-CS-2014-0877), [Report]

Ji, Ran and Hähnle, Reiner (2014):
Sound Deductive Compilation.
(TUD-CS-2014-0876), [Report]

Ji, Ran and Hähnle, Reiner and Bubel, Richard Hierons, Robert M. and Merayo, Mercedes G. and Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science, 8137, Springer, In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, pp. 289-304, DOI: 10.1007/978-3-642-40561-7₂₀,
[Online-Edition: https://doi.org/10.1007/978-3-642-40561-7_20],
[Conference or Workshop Item]

Ji, Ran and Hähnle, Reiner and Bubel, Richard Hierons, Robert and Merayo, Mercedes and Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
8137, In: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, pp. 289-304, [Conference or Workshop Item]

Ji, Ran and Hähnle, Reiner and Bubel, Richard Hierons, Robert and Merayo, Mercedes and Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science, 8137, In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), Springer, pp. 289-304, ISBN 978-3-642-40560-0,
[Conference or Workshop Item]

Ji, Ran and Hähnle, Reiner and Bubel, Richard (2013):
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
(TUD-CS-2013-0348), [Report]

Ji, Ran and Bubel, Richard Derrick, John and Gnesi, Stefania and Latella, Diego and Treharne, Helen (eds.) (2012):
PE-KeY: A Partial Evaluator for Java Programs.
In: Lecture Notes in Computer Science, 7321, In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, Springer-Verlag, pp. 283-295, ISBN 978-3-642-30728-7,
DOI: 10.1007/978-3-642-30729-4_20,
[Conference or Workshop Item]

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

Bubel, Richard and Hähnle, Reiner and Ji, Ran Aichernig, Bernhard and de Boer, Frank and Bonsangue, Marcello (eds.) (2011):
Program Specialization Via a Software Verification Tool.
In: LNCS, In: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, [Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner and Ji, Ran de Boer, Frank and Bonsangue, Marcello and Hallerstede, Stefan and Leuschel, Michael (eds.) (2010):
Interleaving Symbolic Eexecution and Partial Evaluation.
In: LNCS, 6286, In: Post Conf. Proc. 8th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, pp. 247--277, [Conference or Workshop Item]

Ji, Ran (2009):
Automatic Verification of Dynamic Data-Dependent Programs.
Uppsala University, Sweden, [Master Thesis]

Abdulla, Parosh Aziz and Atto, Muhsin and Cederberg, Jonathan and Ji, Ran Liu, Zhiming and Ravn, Anders (eds.) (2009):
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: LNCS, 5799, In: Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, pp. 197-212, [Conference or Workshop Item]

This list was generated on Sat Dec 14 02:14:48 2019 CET.