Ou Wei - RankMe

39 papers A* 2A 4B 4Misc 2Journal 17Unranked 9

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