SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. - Wolfram Amme; Niall Dalton; Michael Franz; Jeffery von Ronne (PLDI, 2001)

Efficient online optimization by utilizing offline analysis and the safeTSA representation. - Jeffery von Ronne; Andreas Hartmann 001; Wolfram Amme; Michael Franz (PPPJ/IRE, 2002)

Can fault-exposure-potential estimates improve the fault detection abilities of test suites? - Wei Chen; Roland H. Untch; Gregg Rothermel; Sebastian G. Elbaum; Jeffery von Ronne (Softw. Test. Verification Reliab., 2002)

Empirical studies of test-suite reduction. - Gregg Rothermel; Mary Jean Harrold; Jeffery von Ronne; Christie Hong (Softw. Test. Verification Reliab., 2002)

Code Annotation for Safe and Efficient Dynamic Object Resolution. - Andreas Hartmann 001; Wolfram Amme; Jeffery von Ronne; Michael Franz (COCV@ETAPS, 2003)

Interpreting programs in static single assignment form. - Jeffery von Ronne; Ning Wang; Michael Franz (IVME, 2004)

Quantifying the Benefits of SSA-Based Mobile Code. - Wolfram Amme; Jeffery von Ronne; Michael Franz (COCV@ETAPS, 2005)

FIFTHTM: A Stack Based GP Language for Vector Processing. - Kenneth L. Holladay; Kay Robbins; Jeffery von Ronne (EuroGP, 2007)

SSA-based mobile code: Implementation and empirical evaluation. - Wolfram Amme; Jeffery von Ronne; Michael Franz (ACM Trans. Archit. Code Optim., 2007)

Speculative improvements to verifiable bounds check elimination. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Kleanthis Psarris (PPPJ, 2008)

Intermediate Representations of Mobile Code. - Wolfram Amme; Thomas S. Heinze; Jeffery von Ronne (Informatica (Slovenia), 2008)

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. - David Niedzielski; Jeffery von Ronne; Andreas Gampe; Kleanthis Psarris (SAS, 2009)

Safe bounds check annotations. - Jeffery von Ronne; Andreas Gampe; David Niedzielski; Kleanthis Psarris (Concurr. Comput. Pract. Exp., 2009)

The effectiveness of producer-side machine-independent optimizations for mobile code. - Wolfram Amme; Jeffery von Ronne; Philipp Adler; Michael Franz (Softw. Pract. Exp., 2009)

Safe, multiphase bounds check elimination in Java. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Jonathan Vasek; Kleanthis Psarris (Softw. Pract. Exp., 2011)

Leveraging actors for privacy compliance. - Jeffery von Ronne (AGERE!@SPLASH, 2012)

Security completeness: towards noninterference in composed languages. - Andreas Gampe; Jeffery von Ronne (PLAS, 2013)

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. - Omar Chowdhury; Andreas Gampe; Jianwei Niu 001; Jeffery von Ronne; Jared Bennatt; Anupam Datta; Limin Jia 001; William H. Winsborough (SACMAT, 2013)

A Distributed Dataflow Model for Task-Uncoordinated Parallel Program Execution. - Lucas A. Wilson; Jeffery von Ronne (ICPP Workshops, 2014)

A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution. - Lucas A. Wilson; Jeffery von Ronne (Parallel Comput., 2016)

Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. - Claiborne Johnson; Thomas MacGahan; John Heaps; Kevin Baldor; Jeffery von Ronne; Jianwei Niu 001 (SACMAT, 2017)

Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language. - Thomas MacGahan; Claiborne Johnson; Armando Rodriguez; Jeffery von Ronne; Jianwei Niu 001 (SACMAT, 2017)