Follow
Ran Ji
Title
Cited by
Cited by
Year
Interleaving symbolic execution and partial evaluation
R Bubel, R Hähnle, R Ji
Formal Methods for Components and Objects, 125-146, 2010
222010
PE-KeY: a partial evaluator for java programs
R Ji, R Bubel
Integrated Formal Methods, 283-295, 2012
142012
Program transformation based on symbolic execution and deduction
R Ji, R Hähnle, R Bubel
Software Engineering and Formal Methods, 289-304, 2013
112013
Program specialization via a software verification tool
R Bubel, R Hähnle, R Ji
Formal Methods for Components and Objects, 80-101, 2012
112012
Automated analysis of data-dependent programs with dynamic memory
PA Abdulla, M Atto, J Cederberg, R Ji
Automated Technology for Verification and Analysis, 197-212, 2009
62009
Sound Program Transformation Based on Symbolic Execution and Deduction
R Ji
TU Darmstadt, Germany, 2014
42014
Automatic verification of dynamic data-dependent programs
PA Abdulla, M Atto, J Cederberg, R Ji
ATVA, LNCS, doi 10, 978-3, 2009
32009
Information Flow Analysis Based on Program Simplification
R Ji, R Hähnle
3*
Program Transformation and Compilation.
R Ji, R Bubel
Deductive Software Verification, 473-492, 2016
12016
Program Transformation Based on Symbolic Execution and Deduction (Technical Report)
R Ji, R Hähnle, R Bubel
TU Darmstadt, Germany, 2013
2013
Towards a Deductive Compilation Approach
R Ji
Chalmers University of Technology, Sweden, 2012
2012
Automatic Verification of Dynamic Data-Dependent Programs
R Ji
Uppsala University, Germany, 2009
2009
Shape Analysis via Monotonic Abstraction.
PA Abdulla, A Bouajjani, J Cederberg, F Haziza, R Ji, A Rezine
Beyond the Finite: New Challenges in Verification and Semistructured Data, 2008
2008
Sound Deductive Compilation
R Ji, R Hähnle
The system can't perform the operation now. Try again later.
Articles 1–14