Publications : Other

  1. Asynchronously Communicating Visibly Pushdown Systems. Domagoj Babic, Zvonimir Rakamaric. EECS Department, University of California, Berkeley Tech Report UCB/EECS-2011-108, October, 2011.
  2. Modular Verification of Shared-Memory Concurrent System Software. Zvonimir Rakamaric. Ph.D. Thesis, Department of Computer Science, The University of British Columbia, March, 2011.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.

Comments are closed.