![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jeffery von Ronne
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [c14]Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu:
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. SACMAT 2017: 167-178 - [c13]Thomas MacGahan, Claiborne Johnson, Armando Rodriguez, Jeffery von Ronne, Jianwei Niu:
Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language. SACMAT 2017: 191-198 - 2016
- [j8]Lucas A. Wilson
, Jeffery von Ronne:
A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution. Parallel Comput. 51: 79-87 (2016) - 2014
- [c12]Lucas A. Wilson, Jeffery von Ronne:
A Distributed Dataflow Model for Task-Uncoordinated Parallel Program Execution. ICPP Workshops 2014: 321-330 - 2013
- [c11]Andreas Gampe, Jeffery von Ronne
:
Security completeness: towards noninterference in composed languages. PLAS 2013: 27-38 - [c10]Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne
, Jared Bennatt, Anupam Datta, Limin Jia
, William H. Winsborough:
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. SACMAT 2013: 3-14 - 2012
- [c9]Jeffery von Ronne
:
Leveraging actors for privacy compliance. AGERE!@SPLASH 2012: 133-136 - 2011
- [j7]Andreas Gampe, Jeffery von Ronne
, David Niedzielski, Jonathan Vasek, Kleanthis Psarris:
Safe, multiphase bounds check elimination in Java. Softw. Pract. Exp. 41(7): 753-788 (2011)
2000 – 2009
- 2009
- [j6]Jeffery von Ronne
, Andreas Gampe, David Niedzielski, Kleanthis Psarris:
Safe bounds check annotations. Concurr. Comput. Pract. Exp. 21(1): 41-57 (2009) - [j5]Wolfram Amme, Jeffery von Ronne
, Philipp Adler, Michael Franz:
The effectiveness of producer-side machine-independent optimizations for mobile code. Softw. Pract. Exp. 39(10): 923-946 (2009) - [c8]David Niedzielski, Jeffery von Ronne
, Andreas Gampe, Kleanthis Psarris:
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. SAS 2009: 137-153 - 2008
- [j4]Wolfram Amme, Thomas S. Heinze, Jeffery von Ronne:
Intermediate Representations of Mobile Code. Informatica (Slovenia) 32(1): 1-25 (2008) - [c7]Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris:
Speculative improvements to verifiable bounds check elimination. PPPJ 2008: 85-94 - 2007
- [j3]Wolfram Amme, Jeffery von Ronne
, Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation. ACM Trans. Archit. Code Optim. 4(2): 13 (2007) - [c6]Kenneth L. Holladay, Kay Robbins, Jeffery von Ronne
:
FIFTHTM: A Stack Based GP Language for Vector Processing. EuroGP 2007: 102-113 - 2005
- [c5]Wolfram Amme, Jeffery von Ronne
, Michael Franz:
Quantifying the Benefits of SSA-Based Mobile Code. COCV@ETAPS 2005: 103-119 - 2004
- [c4]Jeffery von Ronne
, Ning Wang, Michael Franz:
Interpreting programs in static single assignment form. IVME 2004: 23-30 - 2003
- [c3]Andreas Hartmann, Wolfram Amme, Jeffery von Ronne
, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution. COCV@ETAPS 2003: 362-376 - 2002
- [j2]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. Verification Reliab. 12(4): 197-218 (2002) - [j1]Gregg Rothermel, Mary Jean Harrold, Jeffery von Ronne
, Christie Hong:
Empirical studies of test-suite reduction. Softw. Test. Verification Reliab. 12(4): 219-249 (2002) - [c2]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 - 2001
- [c1]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
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint