Ou Wei

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 16

Top Topics

Optimal Control

Genetic Regulatory Networks

Graph Transformation

Top Venues

计算机科学

GECCO (Companion)

Comput. Informatics

Publications

Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD (2021)
Weilin Luo, Ou Wei, Hai Wan
SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Trans. Reliab. 70 (2) (2021)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. CoRR (2019)
Junhua Song, Ou Wei
基于线性时间算法的故障树模块扩展分解方法 (Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm). 计算机科学 46 (1) (2019)
Sijie Li, Ou Wei, Yunjiao Zhan, Lisong Wang
基于表格表达式的SCR需求模型转换 (SCR Requirement Model Transformation Based on Table Expression). 计算机科学 46 (6) (2019)
Lisong Wang, Sijie Li, Ou Wei, Mingyu Huang, Jun Hu
An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking. IEEE Access 6 (2018)
Yunjiao Zhan, Ou Wei, Jun Hu
面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case). 计算机科学 45 (4) (2018)
Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng
Deciding weak monitorability for runtime verification. ICSE (Companion Volume) (2018)
Shuang Liu, Ou Wei, Zonghao Guo
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制 (Infinite-horizon Optimal Control of Genetic Regulatory Networks Based on Probabilistic Model Checking and Genetic Algorithm). 计算机科学 45 (10) (2018)
Mingyu Huang, Ou Wei, Jun Hu
基于故障配置的故障树生成 (Fault Tree Generation Based on Fault Configuration). 计算机科学 44 (2) (2017)
Weilin Luo, Ou Wei
WAP: SAT-Based Computation of Minimal Cut Sets. ISSRE (2017)
Zonghao Guo, Ou Wei
使用模型检测解决概率布尔网络优化控制 (Optimal Control of Probabilistic Boolean Networks Using Model Checking). 计算机科学 44 (5) (2017)
Ou Wei, Zonghao Guo, Yun Niu, Wenyuan Liao
Model checking optimal finite-horizon control for probabilistic gene regulatory networks. BMC Syst. Biol. 11 (6) (2017)
Ou Wei, Zonghao Guo, Yun Niu, Wenyuan Liao
Optimal control for context-sensitive probabilistic Boolean networks with perturbation using probabilisitic model checking. BIBM (2016)
Zonghao Guo, Ou Wei, Peng Yu, Lansheng Han, Weiming Wu
Model Checking Probabilistic Network Propagation Protection Strategies. Trustcom/BigDataSE/ISPA (2016)
Yumei Liu, Ou Wei, Mingyu Huang
基于特征切片的软件产品线模型检测 (Model Checking Software Product Line Based on Feature Slicing). 计算机科学 43 (4) (2016)
Yu Zhou, Yankai Huang, Ou Wei, Zhiqiu Huang
Verifying specifications with associated attributes in graph transformation systems. Frontiers Comput. Sci. 9 (3) (2015)
Yufeng Shi, Ou Wei, Yu Zhou
基于双格的软件产品线模型检测 (Model Checking of Software Product Line Based on Bilattices). 计算机科学 42 (2) (2015)
Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. TASE (2015)
Xin Cheng, Yuanyuan Huang, Xinye Cai, Ou Wei
An adaptive memetic agorithm based on multiobjecitve optimization for software next release problem. GECCO (Companion) (2014)
Yufeng Shi, Ou Wei, Yu Zhou
Model checking partial software product line designs. InnoSWDev@SIGSOFT FSE (2014)
Ou Wei, Juanjuan Chen
Mixed Simulation of Multi-valued Models. TASE (2014)
Xinye Cai, Ou Wei
A hybrid of decomposition and domination based evolutionary algorithm for multi-objective software next release problem. ICCA (2013)
Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou
Minimal cut sequence generation for state/event fault trees. Middleware Doctoral Symposium (2013)
Xinye Cai, Ou Wei, Zhiqiu Huang
Evolutionary Approaches for Multi-Objective Next Release Problem. Comput. Informatics 31 (4) (2012)
Ou Wei, Arie Gurfinkel, Marsha Chechik
On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput. 209 (1) (2011)
Bingfeng Xu, Zhiqiu Huang, Ou Wei
Making Architectural Decisions Based on Requirements: Analysis and Combination of Risk-Based and Quality Attribute-Based Methods. UIC/ATC Workshops (2010)
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik
Abstract Analysis of Symbolic Executions. CAV (2010)
Ou Wei, Arie Gurfinkel, Marsha Chechik
Mixed Transition Systems Revisited. VMCAI (2009)
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. SAS (2008)
Arie Gurfinkel, Ou Wei, Marsha Chechik
Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA (2008)
Arie Gurfinkel, Ou Wei, Marsha Chechik
Systematic Construction of Abstractions for Model-Checking. VMCAI (2006)
Arie Gurfinkel, Ou Wei, Marsha Chechik
Yasm: A Software Model-Checker for Verification and Refutation. CAV (2006)
Ou Wei, Arie Gurfinkel, Marsha Chechik
Identification and Counter Abstraction for Full Virtual Symmetry. CHARME (2005)