Volgen
Ran Ji
Ran Ji
Robotics Institute, School of Computer Science, Carnegie Mellon University
Geverifieerd e-mailadres voor cmu.edu
Titel
Geciteerd door
Geciteerd door
Jaar
Interleaving symbolic execution and partial evaluation
R Bubel, R Hähnle, R Ji
Formal Methods for Components and Objects, 125-146, 2010
252010
PE-KeY: a partial evaluator for java programs
R Ji, R Bubel
Integrated Formal Methods, 283-295, 2012
152012
Program transformation based on symbolic execution and deduction
R Ji, R Hähnle, R Bubel
Software Engineering and Formal Methods, 289-304, 2013
122013
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
52009
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14