部分论文列表：

-- Ou Wei, Arie Gurfinkel, and Marsha Chechik. “On the Consistency, Expressiveness and Precision of Partial Models”. Information and Computation, Volume 209, Issue 1, pages 20-47, 2011.

-- Ou Wei, Arie Gurfinkel, and Marsha Chechik. “Mixed Transition Systems Revisited”. In Proceedings of 10th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI’09), vol. 5403 of Lecture Notes in Computer Science, pages 349-365, 2009.

-- Aws Albarghouthi, Arie. Gurfinkel, Ou Wei, and Marsha Chechik “Abstract Analysis of Symbolic Executions”. In Proceedings of 22th International Conference on Computer Aided Verification (CAV’10), vol. 6174 of Lecture Notes in Computer Science, pages 495-510, 2010.

-- Arie Gurfinkel, Ou Wei, and Marsha Chechik. “Model Checking Recursive Programs with Exact Predicate Abstraction”. In Proceedings of 6th International Symposium on Automated Technology for Verification and Analysis (ATVA’08), vol. 5311 of Lecture Notes in Computer Science, pages 95-110, 2008.

-- Arie Gurfinkel, Ou Wei, and Marsha Chechik. “Yasm： A Software Model-Checker for Verification and Refutation”. In Proceedings of 18th International Conference on Computer Aided Verification (CAV’06), vol. 4144 of Lecture Notes in Computer Science, pages 170-174, 2006.

-- Arie Gurfinkel, Ou Wei, and Marsha Chechik. “Systematic Construction of Abstractions for Model-Checking”. In Proceedings of 7th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI’06), vol. 3855 of Lecture Notes in Computer Science, pages 381-397, 2006.

-- Ou Wei, Arie Gurfinkel, and Marsha Chechik. “Identification and Counter Abstraction for Full Virtual Symmetry”. In Proceedings of 13th Advanced Working Conference on Correct Hardware Design and Verification Methods (CHARME’05), vol. 3725 of Lecture Notes in Computer Science, pages 285-300, 2005.

-- 魏欧，袁勇，蔡昕烨，黄志球. “循环对称化简及在三值模型上的扩展”. 《软件学报》，2011.6.

-- Ou Wei. “Culture and Software Engineering Education – A Personal View”. In 2010 International Symposium on Collaborative Software Engineering (ISCSE’10), Invited Talk. 2010.

-- Gogul Balkian, Sriram Sankyan, Franjo Ivancic, Ou Wei, and Aarti Gupta. “SLR： Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement”. In Proceedings of 15th International Static Analysis Symposium (SAS’08), vol. 5079 of Lecture Notes in Computer Science, pages 238-254, 2008.