| Empirical studies of test‐suite reduction G Rothermel, MJ Harrold, J Von Ronne, C Hong Software Testing, Verification and Reliability 12 (4), 219-249, 2002 | 347 | 2002 |
| SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form W Amme, N Dalton, J von Ronne, M Franz ACM SIGPLAN Notices 36 (5), 137-147, 2001 | 130 | 2001 |
| Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule O Chowdhury, A Gampe, J Niu, J von Ronne, J Bennatt, A Datta, L Jia, ... Proceedings of the 18th ACM symposium on Access control models and …, 2013 | 44 | 2013 |
| Safe computer code formats and methods for generating safe computer code M Franz, W Amme, J Von Ronne US Patent 7,117,488, 2006 | 32 | 2006 |
| Can fault‐exposure‐potential estimates improve the fault detection abilities of test suites? W Chen, RH Untch, G Rothermel, S Elbaum, J Von Ronne Software Testing, Verification and Reliability 12 (4), 197-218, 2002 | 26 | 2002 |
| Code annotation for safe and efficient dynamic object resolution A Hartmann, W Amme, J von Ronne, M Franz Electronic Notes in Theoretical Computer Science 82 (2), 362-376, 2004 | 18 | 2004 |
| Safe computer code formats and methods for generating safe computer code M Franz, W Amme, J Von Ronne US Patent 8,392,897, 2013 | 17 | 2013 |
| Safe, multiphase bounds check elimination in Java A Gampe, J von Ronne, D Niedzielski, J Vasek, K Psarris Software: Practice and Experience 41 (7), 753-788, 2011 | 16 | 2011 |
| FIFTHTM: A Stack Based GP Language for Vector Processing K Holladay, K Robbins, J Von Ronne Genetic Programming: 10th European Conference, EuroGP 2007, Valencia, Spain …, 2007 | 16 | 2007 |
| Using the SafeTSA representation to boost the performance of an existing java virtual machine W Amme, J von Ronne, M Franz Friedrich-Schiller-Univ., 2002 | 14 | 2002 |
| Ssa-based mobile code: Implementation and empirical evaluation W Amme, J Ronne, M Franz ACM Transactions on Architecture and Code Optimization (TACO) 4 (2), 13-es, 2007 | 12 | 2007 |
| A verifiable, control flow aware constraint analyzer for bounds check elimination D Niedzielski, J von Ronne, A Gampe, K Psarris International Static Analysis Symposium, 137-153, 2009 | 11 | 2009 |
| Efficient online optimization by utilizing offline analysis and the safeTSA representation. J von Ronne, A Hartmann, W Amme, M Franz PPPJ/IRE, 181-186, 2002 | 11 | 2002 |
| Project transprose: Reconciling mobile-code security with execution efficiency W Amme, N Dalton, PH Frohlich, V Haldar, PS Housel, J von Ronne, ... DARPA Information Survivability Conference & Exposition II, 2001. DISCEX'01 …, 2001 | 11 | 2001 |
| Speculative improvements to verifiable bounds check elimination A Gampe, J von Ronne, D Niedzielski, K Psarris Proceedings of the 6th international symposium on Principles and practice of …, 2008 | 10 | 2008 |
| Interpreting programs in static single assignment form J von Ronne, N Wang, M Franz Proceedings of the 2004 workshop on Interpreters, virtual machines and …, 2004 | 10 | 2004 |
| Test Suite Minimization: An Empirical Investigation J von Ronne University Honors College Thesis, Oregon State University, 1999 | 10 | 1999 |
| Safe bounds check annotations J Von Ronne, A Gampe, D Niedzielski, K Psarris Concurrency and Computation: Practice and Experience 21 (1), 41-57, 2009 | 9 | 2009 |
| Compile time elimination of null-and bounds-checks J von Ronne, M Franz, N Dalton, W Amme 9th Workshop on Compilers for Parallel Computers, 2001 | 9 | 2001 |
| A typed-safe mobile code representation aimed at supporting dynamic optimization at the target side W Amme, N Dalton, M Franz, J von Ronne Proceedings of the 3rd ACM Workshop on Feedback-Directed and Dynamic …, 2000 | 8 | 2000 |
Omar Haider ChowdhuryAssociate Professor of CS at Stony Brook UniversityVerified email at cs.stonybrook.edu
