Other

  1. Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric. Microsoft Research Tech Report, April, 2016.
  2. Android Malware Detection Based on System Calls. Marko Dimjasevic, Simone Atzeni, Ivo Ugrina, Zvonimir Rakamaric. School of Computing, University of Utah, Tech Report UUCS-15-003, May, 2015.
  3. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan. School of Computing, University of Utah, Tech Report UUCS-15-001, April, 2015.
  4. Asynchronously Communicating Visibly Pushdown Systems. Domagoj Babic, Zvonimir Rakamaric. EECS Department, University of California, Berkeley Tech Report UCB/EECS-2011-108, October, 2011.
  5. Modular Verification of Shared-Memory Concurrent System Software. Zvonimir Rakamaric. Ph.D. Thesis, Department of Computer Science, The University of British Columbia, March, 2011.
  6. Delay-Bounded Scheduling: A Canonical Characterization of Scheduler Nondeterminism. Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric. Microsoft Research Tech Report MSR-TR-2010-123, September, 2010.
  7. A Reachability Predicate for Analyzing Low-Level Software. Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. Microsoft Research Tech Report MSR-TR-2006-154, November, 2006.
  8. A Logic and Decision Procedure for Verification of Heap-Manipulating Programs. Zvonimir Rakamaric. M.Sc. Thesis, Department of Computer Science, The University of British Columbia, August, 2006.
  9. A Better Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu. UBC Department of Computer Science Tech Report TR-2006-02, January 30, 2006.
  10. A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. Jesse Bingham, Zvonimir Rakamaric. UBC Department of Computer Science Tech Report TR-2005-19, September 19, 2005.