Identification and Counter Abstraction for Full Virtual Symmetry. - Ou Wei; Arie Gurfinkel; Marsha Chechik (CHARME, 2005)

Yasm: A Software Model-Checker for Verification and Refutation. - Arie Gurfinkel; Ou Wei; Marsha Chechik (CAV, 2006)

Systematic Construction of Abstractions for Model-Checking. - Arie Gurfinkel; Ou Wei; Marsha Chechik (VMCAI, 2006)

Model Checking Recursive Programs with Exact Predicate Abstraction. - Arie Gurfinkel; Ou Wei; Marsha Chechik (ATVA, 2008)

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Ou Wei; Aarti Gupta (SAS, 2008)

Mixed Transition Systems Revisited. - Ou Wei; Arie Gurfinkel; Marsha Chechik (VMCAI, 2009)

Abstract Analysis of Symbolic Executions. - Aws Albarghouthi; Arie Gurfinkel; Ou Wei; Marsha Chechik (CAV, 2010)

Making Architectural Decisions Based on Requirements: Analysis and Combination of Risk-Based and Quality Attribute-Based Methods. - Bingfeng Xu; Zhiqiu Huang; Ou Wei (UIC/ATC Workshops, 2010)

Abstraction for Verification and Refutation in Model Checking. - Ou Wei (2010)

On the consistency, expressiveness, and precision of partial modeling formalisms. - Ou Wei; Arie Gurfinkel; Marsha Chechik (Inf. Comput., 2011)

Evolutionary Approaches for Multi-Objective Next Release Problem. - Xinye Cai; Ou Wei; Zhiqiu Huang (Comput. Informatics, 2012)

A hybrid of decomposition and domination based evolutionary algorithm for multi-objective software next release problem. - Xinye Cai; Ou Wei (ICCA, 2013)

Minimal cut sequence generation for state/event fault trees. - Bingfeng Xu; Zhiqiu Huang; Jun Hu; Ou Wei; Yu Zhou 010 (Middleware Doctoral Symposium, 2013)

An adaptive memetic agorithm based on multiobjecitve optimization for software next release problem. - Xin Cheng; Yuanyuan Huang; Xinye Cai; Ou Wei (GECCO (Companion), 2014)

Model checking partial software product line designs. - Yufeng Shi; Ou Wei; Yu Zhou 010 (InnoSWDev@SIGSOFT FSE, 2014)

Mixed Simulation of Multi-valued Models. - Ou Wei; Juanjuan Chen (TASE, 2014)

Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. - Zhe Chen 011; Ou Wei; Zhiqiu Huang; Hongwei Xi 001 (TASE, 2015)

Verifying specifications with associated attributes in graph transformation systems. - Yu Zhou 010; Yankai Huang; Ou Wei; Zhiqiu Huang (Frontiers Comput. Sci., 2015)

基于双格的软件产品线模型检测 (Model Checking of Software Product Line Based on Bilattices). - Yufeng Shi; Ou Wei; Yu Zhou 010 (计算机科学, 2015)

Optimal control for context-sensitive probabilistic Boolean networks with perturbation using probabilisitic model checking. - Ou Wei; Zonghao Guo; Yun Niu; Wenyuan Liao (BIBM, 2016)

Model Checking Probabilistic Network Propagation Protection Strategies. - Zonghao Guo; Ou Wei; Peng Yu; Lansheng Han; Weiming Wu (Trustcom/BigDataSE/ISPA, 2016)

基于特征切片的软件产品线模型检测 (Model Checking Software Product Line Based on Feature Slicing). - Yumei Liu; Ou Wei; Mingyu Huang (计算机科学, 2016)

WAP: SAT-Based Computation of Minimal Cut Sets. - Weilin Luo; Ou Wei (ISSRE, 2017)

Model checking optimal finite-horizon control for probabilistic gene regulatory networks. - Ou Wei; Zonghao Guo; Yun Niu; Wenyuan Liao (BMC Syst. Biol., 2017)

使用模型检测解决概率布尔网络优化控制 (Optimal Control of Probabilistic Boolean Networks Using Model Checking). - Zonghao Guo; Ou Wei (计算机科学, 2017)

基于故障配置的故障树生成 (Fault Tree Generation Based on Fault Configuration). - Mingyu Huang; Ou Wei; Jun Hu (计算机科学, 2017)

Deciding weak monitorability for runtime verification. - Zhe Chen 011; Yifan Wu; Ou Wei; Bin Sheng (ICSE (Companion Volume), 2018)

An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking. - Lisong Wang; Sijie Li; Ou Wei; Mingyu Huang; Jun Hu (IEEE Access, 2018)

基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制 (Infinite-horizon Optimal Control of Genetic Regulatory Networks Based on Probabilistic Model Checking and Genetic Algorithm). - Shuang Liu; Ou Wei; Zonghao Guo (计算机科学, 2018)

面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case). - Yunjiao Zhan; Ou Wei; Jun Hu (计算机科学, 2018)

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. - Weilin Luo; Hai Wan; Hongzhen Zhong; Ou Wei (CoRR, 2019)

基于表格表达式的SCR需求模型转换 (SCR Requirement Model Transformation Based on Table Expression). - Sijie Li; Ou Wei; Yunjiao Zhan; Lisong Wang (计算机科学, 2019)

基于线性时间算法的故障树模块扩展分解方法 (Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm). - Junhua Song; Ou Wei (计算机科学, 2019)

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 (ICCAD, 2021)

SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. - Weilin Luo; Ou Wei; Hai Wan (IEEE Trans. Reliab., 2021)

Accurate and Consistent Graph Model Generation from Text with Large Language Models. - Boqi Chen; Ou Wei; Bingzhou Zheng; Gunter Mussbacher (CoRR, 2025)

MCeT: Behavioral Model Correctness Evaluation using Large Language Models. - Khaled Ahmed 004; Jialing Song; Boqi Chen; Ou Wei; Bingzhou Zheng (CoRR, 2025)