|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
On the consistency, expressiveness, and precision of partial modeling formalisms.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik |
Abstract Analysis of Symbolic Executions. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Mixed Transition Systems Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Model Checking Recursive Programs with Exact Predicate Abstraction. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta |
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Yasm: A Software Model-Checker for Verification and Refutation. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Systematic Construction of Abstractions for Model-Checking. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Identification and Counter Abstraction for Full Virtual Symmetry. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")