|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric |
Delay-bounded scheduling.  |
POPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric |
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Rakamaric |
STORM: static unit checking of concurrent programs. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
unit checking, static analysis, concurrent programs |
| 1 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A low-level memory model and an accompanying reachability predicate. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Rakamaric, Alan J. Hu |
A Scalable Memory Model for Low-Level Code. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Rakamaric, Alan J. Hu |
Automatic Inference of Frame Axioms Using Static Analysis. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook |
Proving Termination by Divergence. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A Reachability Predicate for Analyzing Low-Level Software. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
Verifying Heap-Manipulating Programs in an SMT Framework. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu |
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse D. Bingham, Zvonimir Rakamaric |
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")