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, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 473-492, Springer, DOI: 10.1007/978-3-319-49812-6₁₄,
[Book Section]

Ji, Ran (2014):
Sound Program Transformation Based on Symbolic Execution and Deduction.
TU Darmstadt,
[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, pp. 289-304, Springer, 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₂₀,
[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), pp. 289-304,
Springer, 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, pp. 283-295,
Springer-Verlag, 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), pp. 247--277,
Springer-Verlag, [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), pp. 197-212,
Springer, [Conference or Workshop Item]

This list was generated on Tue May 11 02:04:51 2021 CEST.