Asynchronously Communicating Visibly Pushdown Systems
Domagoj Babic, Zvonimir Rakamaric. EECS Department, University of California, Berkeley Tech Report UCB/EECS-2011-108, October, 2011.
Read the rest of this entry »Archive for the ‘Other Publications’ Category
Modular Verification of Shared-Memory Concurrent System Software
Zvonimir Rakamaric. Ph.D. Thesis, Department of Computer Science, The University of British Columbia, March, 2011.
Read the rest of this entry »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.
Read the rest of this entry »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.
Read the rest of this entry »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.
Read the rest of this entry »
