Travelled to:1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:A.Gurfinkel M.Chechik A.Albarghouthi G.Balakrishnan S.Sankaranarayanan F.Ivancic A.Gupta
Talks about:abstract (2) analysi (2) model (2) path (2) construct (1) systemat (1) transit (1) syntact (1) softwar (1) revisit (1)
Person: Ou Wei
DBLP: Wei:Ou
Contributed to:
2010
2009
200820062006Wrote 5 papers:
- CAV-2010-AlbarghouthiGWC #analysis #symbolic computation
- Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.
- VMCAI-2009-WeiGC #revisited
- Mixed Transition Systems Revisited (OW, AG, MC), pp. 349–365.
- SAS-2008-BalakrishnanSIWG #analysis #detection #named #refinement
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (GB, SS, FI, OW, AG), pp. 238–254.
- CAV-2006-GurfinkelWC #model checking #named #verification
- Yasm: A Software Model-Checker for Verification and Refutation (AG, OW, MC), pp. 170–174.
- VMCAI-2006-GurfinkelWC #abstraction #model checking
- Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.