BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

CAV 20102010
VMCAI 20092009
SAS 20082008
CAV 20062006
VMCAI 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.