• Log in
btn btn
Zvonimir Rakamaric
Assistant Professor, School of Computing, University of Utah
  • About
  • Blog
  • Research
    • Projects
    • Students
    • Sponsors
  • Publications
    • Journals
    • Conferences
    • Workshops
    • Other
  • Activities
    • Guidebook
  • Teaching
    • CS 5100/6100 – Foundations of CS | Spring 2013
    • CS 6962 – Software Verification | Fall 2012
  • Conferences
    • 2013
    • 2012
    • 2011
    • 2010
    • 2009
    • 2008
    • 2007
    • 2006
  •  

Conferences

Conferences and Workshops:
Formal Verification, Software Verification, and Software Analysis

2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006

Comments are closed.

  • Contact

    Office #3424 in MEB

    Calendar

  • Follow Me

    Google Plus   LinkedIn   RSS Feed

  • Find Me

    DBLP
    Google Scholar
    Microsoft Academic
    CiteULike

  • News

    • Wrapped up my PhD and joined Carnegie Mellon in Silicon Valley
    • A Tutorial for Running Boogie and Z3 on Linux
    • Updated Guidebook for Graduate Studies Abroad
    • Uploaded the camera-ready version of the POPL 2011 delay-bounded scheduling paper
    • Delay-bounded scheduling paper accepted to POPL 2011!

  • Categories

    • Blog
    • Publications
      • Conference Publications
      • Journal Publications
      • Other Publications
      • Workshop Publications
 
Copyright © 2011-13 by Zvonimir Rakamaric. All rights reserved.
Powered by WordPress ¬ dfBlog Theme (1.1.5) design by danielfajardo webGoTo top