2009 |
10 | EE | Jeffery von Ronne,
Andreas Gampe,
David Niedzielski,
Kleanthis Psarris:
Safe bounds check annotations.
Concurrency and Computation: Practice and Experience 21(1): 41-57 (2009) |
2008 |
9 | EE | Andreas Gampe,
Jeffery von Ronne,
David Niedzielski,
Kleanthis Psarris:
Speculative improvements to verifiable bounds check elimination.
PPPJ 2008: 85-94 |
2007 |
8 | EE | Kenneth Holladay,
Kay Robbins,
Jeffery von Ronne:
FIFTHTM: A Stack Based GP Language for Vector Processing.
EuroGP 2007: 102-113 |
7 | EE | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation.
TACO 4(2): (2007) |
2005 |
6 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |