Log in
Zvonimir Rakamaric
Postdoctoral Fellow at Carnegie Mellon University
About
Blog
Publications
Journals
Conferences
Workshops
Other
Activities
Guidebook
Projects
Conferences
2012
2011
2010
2009
2008
2007
2006
Conferences
Conferences and Workshops:
Formal Verification, Software Verification, and Software Analysis
2012
,
2011
,
2010
,
2009
,
2008
,
2007
,
2006
Comments are closed.
Contact
Follow Me
News
Asynchronously Communicating Visibly Pushdown Systems
Wrapped up my PhD and joined Carnegie Mellon in Silicon Valley
Modular Verification of Shared-Memory Concurrent System Software
Delay-Bounded Scheduling
A Tutorial for Running Boogie and Z3 on Linux
Categories
Blog
Publications
Conference Publications
Journal Publications
Other Publications
Workshop Publications
Comments are closed.