| 2025 | MODELS | MCeT: Behavioral Model Correctness Evaluation using Large Language Models. | Khaled E. Ahmed, Jialing Song, Boqi Chen, Ou Wei, Bingzhou Zheng |
| 2025 | MODELS | Accurate and Consistent Graph Model Generation from Text with Large Language Models. | Boqi Chen, Ou Wei, Bingzhou Zheng, Gunter Mussbacher |
| 2021 | ICCAD | An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. | Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song |
| 2018 | ICSE | Deciding weak monitorability for runtime verification. | Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng |
| 2017 | ISSRE | WAP: SAT-Based Computation of Minimal Cut Sets. | Weilin Luo, Ou Wei |
| 2016 | TrustCom | Model Checking Probabilistic Network Propagation Protection Strategies. | Zonghao Guo, Ou Wei, Peng Yu, Lansheng Han, Weiming Wu |
| 2015 | TASE | Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. | Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi |
| 2014 | GECCO | An adaptive memetic agorithm based on multiobjecitve optimization for software next release problem. | Xin Cheng, Yuanyuan Huang, Xinye Cai, Ou Wei |
| 2014 | TASE | Mixed Simulation of Multi-valued Models. | Ou Wei, Juanjuan Chen |
| 2013 | Middleware | Minimal cut sequence generation for state/event fault trees. | Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou |
| 2010 | CAV | Abstract Analysis of Symbolic Executions. | Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2010 | UIC | Making Architectural Decisions Based on Requirements: Analysis and Combination of Risk-Based and Quality Attribute-Based Methods. | Bingfeng Xu, Zhiqiu Huang, Ou Wei |
| 2009 | VMCAI | Mixed Transition Systems Revisited. | Ou Wei, Arie Gurfinkel, Marsha Chechik |
| 2008 | ATVA | Model Checking Recursive Programs with Exact Predicate Abstraction. | Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2008 | SAS | SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta |
| 2006 | CAV | Yasm: A Software Model-Checker for Verification and Refutation. | Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2006 | VMCAI | Systematic Construction of Abstractions for Model-Checking. | Arie Gurfinkel, Ou Wei, Marsha Chechik |