新闻
  19.7.23
ScholarSpace计算机中文文献导读已更新到2019年6月!
  19.5.9
计算机学科排名系统ScholarRankings v2.0发布,新增领域选择和排名方式选择功能。
  19.4.27
学术引用系统ScholarCitation v1.0发布,基于计算机领域82826篇期刊论文间的引用关系,评估学术影响力。
  18.1.9
计算机学科排名系统ScholarRankings v1.0发布,其旨在改善原有排名方法,激励国内高校和教师积极参与计算机各个领域的研究,学者与学校的排名不仅取决于论文数量,排名结果更具有参考性(排名算法参考CSRankings)。
  17.11.9
学者关系知识图谱ScholarGraph v1.0发布,涵盖七大领域(计算机、经济、管理、物理、地理、考古、教育)673,044位学者、1,068,928篇论文的数据,共计10,612,497个三元组,每个领域下均有作者、期刊、论文、论文实体,以及论文发表、论文出版关系等。
  17.10.25
学者谱系检索系统ScholarTree(DegreeTree v2.0)系统发布,现已收录53个领域4,003,276条学位论文(涉及53个领域),挖掘出4,643,028条师生关系。

魏欧    Wei Ou


南京航空航天大学计算机科学与技术学院



研究领域:


研究兴趣:

共检索到结果24条  被引15次[注:ScholarSpace内自引数]
查看魏欧的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
24 宋俊花 魏欧 . 基于线性时间算法的故障树模块扩展分解方法. 计算机科学, 2019, (01): 0
2018
23 刘爽 魏欧 郭宗豪 . 基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制. 计算机科学, 2018, (10): 0
22 战芸娇 魏欧 胡军 . 面向DO-178C的襟缝翼控制系统需求的形式化描述. 计算机科学, 2018, (04): 0
21 王铭 王立松 魏欧 . 结合子树分解的软件产品线特征选择方法. 小型微型计算机系统, 2018, (05): 0
2017
20 郭宗豪 魏欧 . 使用模型检测解决概率布尔网络优化控制. 计算机科学, 2017, (05): 193-199 1
19 黄鸣宇 魏欧 罗炜麟 . 一种利用故障特征模型的系统安全性分析方法. 小型微型计算机系统, 2017, (09): 1950-1956 0
18 刘玉梅 魏欧 黄鸣宇 王立松 . 应用改进的遗传算法优化软件产品线特征选择. 小型微型计算机系统, 2017, (01): 35-39 0
17 黄鸣宇 魏欧 胡军 . 基于故障配置的故障树生成. 计算机科学, 2017, (02): 182-192 1
16 李宙洲 魏欧 黄鸣宇 . 利用特征配置的SLIM安全性验证方法. 小型微型计算机系统, 2017, (10): 2346-2352 0
15 李宙洲 魏欧 郭宗豪 余鹏 韩兰胜 . 概率模型检测的网络传播干预策略. 小型微型计算机系统, 2017, (06): 0
2016
14 刘玉梅 魏欧 黄鸣宇 . 基于特征切片的软件产品线模型检测. 计算机科学, 2016, (04): 167-173 0
2015
13 石玉峰 魏欧 周宇 . 基于双格的软件产品线模型检测. 计算机科学, 2015, (02): 411-411 1
12 魏欧 石玉峰 徐丙凤 黄志球 陈哲 . 软件模型检测中的抽象模型研究综述. 计算机研究与发展, 2015, (07): 1580-1604 0
11 徐丙凤 黄志球 胡军 魏欧 李伟湋 . 一种状态事件故障树的时间特性分析方法. 软件学报, 2015, (02): 411-411 2
10 牛耘 张黎 王世泓 魏欧 . 基于多层次语言特征的弱监督评论倾向性分析. 中文信息学报, 2015, (04): 80-89 0
2014
9 陈娟娟 魏欧 . 基于分解的多值模型的逼近关系. 计算机科学, 2014, (06): 1
8 牛耘 潘明慧 魏欧 蔡昕烨 . 基于词典的中文微博情绪识别. 计算机科学, 2014, (09): 1
7 余鹏 魏欧 韩兰胜 牛耘 . 模型检测网络传播干预策略. 计算机科学与探索, 2014, (08): 0
2013
6 徐丙凤 黄志球 胡军 魏欧 肖芳雄 . 一种状态事件故障树的定量分析方法. 电子学报, 2013, (08): 1480-1487 4
5 封二英 牛耘 魏欧 蔡昕烨 . 基于关系相似性的蛋白质交互自动识别. 计算机科学, 2013, (06): 0
2011
4 魏欧 袁泳 蔡昕烨 黄志球 徐丙凤1 . 循环对称化简及在三值模型上的扩展. 软件学报, 2011, (06): 1169-1185 3
2000
3 魏欧 孙玉芳 . 基于非监督训练的汉语词性标注的实验与分析. 计算机研究与发展, 2000, 37 (04): 477-482 1
2 魏欧 孙玉芳 . 汉语词性标注方法的研究. 计算机科学, 2000, 27 (07): 71-76 0
1 魏欧 吴健 孙玉芳 sonata.iscas.ac.cn . 基于统计的汉语词性标注方法的分析与改进. 软件学报, 2000, 11 (04): 473-481 0

DBLP检索到的论文列表

No. Paper Inforamtion
2011
1 Ou Wei, Arie Gurfinkel, Marsha Chechik, On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput., 2011, Inf. Comput., 209(1): 20-47
2010
0 Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik, Abstract Analysis of Symbolic Executions. CAV, 2010
2009
-1 Ou Wei, Arie Gurfinkel, Marsha Chechik, Mixed Transition Systems Revisited. VMCAI, 2009
2008
-2 Arie Gurfinkel, Ou Wei, Marsha Chechik, Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA, 2008
-3 Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta, SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. SAS, 2008
2006
-4 Arie Gurfinkel, Ou Wei, Marsha Chechik, Yasm: A Software Model-Checker for Verification and Refutation. CAV, 2006
-5 Arie Gurfinkel, Ou Wei, Marsha Chechik, Systematic Construction of Abstractions for Model-Checking. VMCAI, 2006

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2012~2015基于抽象的软件符号模型检测研究 国家自然科学基金-面上项目
项目号:61170043
56

合作作者列表

1 sonata.iscas.ac.cn [1]  
2 余鹏 [7]   [15]  
3 刘爽 [23]  
4 刘玉梅 [14]   [18]  
5 吴健 [1]  
6 周宇 [13]  
7 孙玉芳 [3]   [2]  [1]  
8 宋俊花 [24]  
9 封二英 [5]  
10 张黎 [10]  
11 徐丙凤 [6]   [11]  [12]  
12 徐丙凤1 [4]  
13 战芸娇 [22]  
14 李伟湋 [11]  
15 李宙洲 [15]   [16]  
16 潘明慧 [8]  
17 牛耘 [5]   [8]  [7]  [10]  
18 王世泓 [10]  
19 王立松 [18]   [21]  
20 王铭 [21]  
21 石玉峰 [13]   [12]  
22 罗炜麟 [19]  
23 肖芳雄 [6]  
24 胡军 [6]   [11]  [17]  [22]  
25 蔡昕烨 [4]   [5]  [8]  
26 袁泳 [4]  
27 郭宗豪 [20]   [15]  [23]  
28 陈哲 [12]  
29 陈娟娟 [9]  
30 韩兰胜 [7]   [15]  
31 黄志球 [4]   [6]  [11]  [12]  
32 黄鸣宇 [14]   [17]  [18]  [19]  [16]  

单位历史信息

南京航空航天大学计算机科学与技术学院 (2011--2019)
中国科学院软件研究所 (2000--2000)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。