 | 2009 |
| 13 |  | David Niedzielski,
Jeffery von Ronne,
Andreas Gampe,
Kleanthis Psarris:
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.
SAS 2009: 137-153 |
| 12 |  | Jeffery von Ronne,
Andreas Gampe,
David Niedzielski,
Kleanthis Psarris:
Safe bounds check annotations.
Concurrency and Computation: Practice and Experience 21(1): 41-57 (2009) |
| 11 |  | Wolfram Amme,
Jeffery von Ronne,
Philipp Adler,
Michael Franz:
The effectiveness of producer-side machine-independent optimizations for mobile code.
Softw., Pract. Exper. 39(10): 923-946 (2009) |
| 2008 |
| 10 |  | Andreas Gampe,
Jeffery von Ronne,
David Niedzielski,
Kleanthis Psarris:
Speculative improvements to verifiable bounds check elimination.
PPPJ 2008: 85-94 |
| 9 |  | Wolfram Amme,
Thomas S. Heinze,
Jeffery von Ronne:
Intermediate Representations of Mobile Code.
Informatica (Slovenia) 32(1): 1-25 (2008) |
| 2007 |
| 8 |  | Kenneth Holladay,
Kay Robbins,
Jeffery von Ronne:
FIFTHTM: A Stack Based GP Language for Vector Processing.
EuroGP 2007: 102-113 |
| 7 |  | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation.
TACO 4(2): (2007) |
| 2005 |
| 6 |  | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
Quantifying the Benefits of SSA-Based Mobile Code.
Electr. Notes Theor. Comput. Sci. 141(2): 103-119 (2005) |
| 2003 |
| 5 |  | Andreas Hartmann,
Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 2002 |
| 4 |  | Jeffery von Ronne,
Andreas Hartmann,
Wolfram Amme,
Michael Franz:
Efficient online optimization by utilizing offline analysis and the safeTSA representation.
PPPJ/IRE 2002: 181-186 |
| 3 |  | Wei Chen,
Roland H. Untch,
Gregg Rothermel,
Sebastian G. Elbaum,
Jeffery von Ronne:
Can fault-exposure-potential estimates improve the fault detection abilities of test suites?
Softw. Test., Verif. Reliab. 12(4): 197-218 (2002) |
| 2 |  | Gregg Rothermel,
Mary Jean Harrold,
Jeffery von Ronne,
Christie Hong:
Empirical studies of test-suite reduction.
Softw. Test., Verif. Reliab. 12(4): 219-249 (2002) |
| 2001 |
| 1 |  | Wolfram Amme,
Niall Dalton,
Michael Franz,
Jeffery von Ronne:
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form.
PLDI 2001: 137-147 |