( en | de | ru )

 

Disambiguation of "von Ronne, Jeffery"

Author of the publication

copydeleteadd this publication to your clipboard
Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language.

, , , , and . SACMAT, page 191-198. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jeffery McCord

Stacey Jeffery

Mona Wendrich-Rönne

Jeffery Kite-Powell

Jeffery Neal Howell

 

Other publications of authors with the same name

Safe, multiphase bounds check elimination in Java., , , , and . Softw. Pract. Exp., 41 (7): 753-788 (2011)Empirical studies of test-suite reduction., , , and . Softw. Test. Verification Reliab., 12 (4): 219-249 (2002)FIFTH: A Stack Based GP Language for Vector Processing, , and . Proceedings of the 10th European Conference on Genetic Programming, volume 4445 of Lecture Notes in Computer Science, page 102--113. Valencia, Spain, Springer, (11 - 13 April 2007)A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination., , , and . SAS, volume 5673 of Lecture Notes in Computer Science, page 137-153. Springer, (2009)A Distributed Dataflow Model for Task-Uncoordinated Parallel Program Execution., and . ICPP Workshops, page 321-330. IEEE Computer Society, (2014)Can fault-exposure-potential estimates improve the fault detection abilities of test suites?, , , , and . Softw. Test. Verification Reliab., 12 (4): 197-218 (2002)Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language., , , , and . SACMAT, page 191-198. ACM, (2017)Safe bounds check annotations., , , and . Concurr. Comput. Pract. Exp., 21 (1): 41-57 (2009)Security completeness: towards noninterference in composed languages., and . PLAS, page 27-38. ACM, (2013)A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution., and . Parallel Comput., (2016)