dblp.uni-trier.dewww.uni-trier.de

Ou Wei

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EEOu Wei, Arie Gurfinkel, Marsha Chechik: Mixed Transition Systems Revisited. VMCAI 2009: 349-365
2008
5EEArie Gurfinkel, Ou Wei, Marsha Chechik: Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA 2008: 95-110
4EEGogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta: SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. SAS 2008: 238-254
2006
3EEArie Gurfinkel, Ou Wei, Marsha Chechik: Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174
2EEArie Gurfinkel, Ou Wei, Marsha Chechik: Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397
2005
1EEOu Wei, Arie Gurfinkel, Marsha Chechik: Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300

Coauthor Index

1Gogul Balakrishnan [4]
2Marsha Chechik [1] [2] [3] [5] [6]
3Aarti Gupta [4]
4Arie Gurfinkel [1] [2] [3] [5] [6]
5Franjo Ivancic [4]
6Sriram Sankaranarayanan [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)