|
Search the dblp DataBase
Ou Wei:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Arie Gurfinkel, Ou Wei, Marsha Chechik
Yasm: A Software Model-Checker for Verification and Refutation. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:170-174 [Conf]
- Ou Wei, Arie Gurfinkel, Marsha Chechik
Identification and Counter Abstraction for Full Virtual Symmetry. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:285-300 [Conf]
- Arie Gurfinkel, Ou Wei, Marsha Chechik
Systematic Construction of Abstractions for Model-Checking. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:381-397 [Conf]
Model Checking Recursive Programs with Exact Predicate Abstraction. [Citation Graph (, )][DBLP]
Abstract Analysis of Symbolic Executions. [Citation Graph (, )][DBLP]
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. [Citation Graph (, )][DBLP]
Mixed Transition Systems Revisited. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|