Concepedia

Zvonimir Rakamarić

ZR

Statistics

Publications

24

Citations

1.1K

H-Index

17

Active since

2007

Affiliations

University of Utah(Current)

University of British Columbia

Microsoft (United States)

University of California, Berkeley

RWTH Aachen University

Zvonimir Rakamarić is an author at University of Utah specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsComputer EngineeringSoftware TestingVerificationParallel Programming

Publications per year

2007–2022

24

Publications

24

Rigorous floating-point mixed-precision tuning

Wei‐Fan Chiang, Mark Baranowski, Ian Briggs et al. · 2016 · 113 citations

Numerical Analysis, Engineering, Compiler Technology +18

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · 2011 · 113 citations

Engineering, Runtime Verification, Program Analysis +15

Evaluation of Android Malware Detection Based on System Calls

Marko Dimjašević, Simone Atzeni, Ivo Ugrina et al. · 2016 · 108 citations

Mobile Security, Engineering, Information Security +18

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · ACM SIGPLAN Notices · 2011 · 106 citations

Engineering, Runtime Verification, Program Analysis +15

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

Alexey Solovyev, Marek Baranowski, Ian Briggs et al. · ACM Transactions on Programming Languages and Systems · 2018 · 92 citations · Full text

Numerical Analysis, Pade Approximant, Engineering +19

1–5 of 24