新闻
  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条师生关系。

徐丙凤    Xu Bingfeng


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



研究领域:


研究兴趣:

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

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
14 徐丙凤 何高峰 张黎宁 . 基于状态事件故障树的信息物理融合系统风险建模. 计算机科学, 2019, (05): 0
2018
13 徐丙凤 何高峰 . 基于攻击图的信息物理融合系统渗透测试方法. 计算机科学, 2018, (11): 0
2015
12 魏欧 石玉峰 徐丙凤 黄志球 陈哲 . 软件模型检测中的抽象模型研究综述. 计算机研究与发展, 2015, (07): 1580-1604 0
11 徐丙凤 黄志球 胡军 魏欧 李伟湋 . 一种状态事件故障树的时间特性分析方法. 软件学报, 2015, (02): 411-411 2
10 黄传林 黄志球 胡军 徐丙凤 曲长亮 . 基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究. 小型微型计算机系统, 2015, (03): 411-411 2
2014
9 阚双龙 黄志球 陈哲 徐丙凤 . 使用事件自动机规约的C语言有界模型检测. 软件学报, 2014, (11): 411-411 1
8 曲长亮 胡军 徐丙凤 黄志球 . 一种基于操作表达式模型的关键软件安全性验证方法研究. 小型微型计算机系统, 2014, (07): 0
7 黄志球 徐丙凤 阚双龙 胡军 陈哲 . 嵌入式机载软件安全性分析标准、方法及工具研究综述. 软件学报, 2014, (02): 200-219 11
2013
6 徐丙凤 黄志球 胡军 魏欧 肖芳雄 . 一种状态事件故障树的定量分析方法. 电子学报, 2013, (08): 1480-1487 4
2012
5 蔡正平 黄志球 王进 王珊珊 徐丙凤 . 基于BPEL和WS-TX的Web服务组合事务协调框架研究. 计算机科学, 2012, (06): - 1
4 吴黎明 胡军 曹东 徐丙凤 于笑丰 . 无人机飞控软件系统建模与测试用例生成研究. 计算机科学, 2012, (07): - 0
2010
3 徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 . 构件化嵌入式软件设计模型非功能性质验证的工具实现. 计算机科学, 2010, 37 (08): 156-164 1
2 徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 . T-CBESD:一个构件化嵌入式软件设计模型验证工具. 小型微型计算机系统, 2010, (11): 1
2008
1 胡军 黄志球 曹东 徐丙凤 . 网构软件的资源自适应性的形式化分析与验证. 软件学报, 2008, 19 (05): 1186-1200 5

DBLP检索到的论文列表

No. Paper Inforamtion

合作作者列表

1 于笑丰 [4]  
2 何高峰 [13]   [14]  
3 吴黎明 [4]  
4 张剑 [3]   [2]  
5 张黎宁 [14]  
6 曲长亮 [8]   [10]  
7 曹东 [1]   [3]  [2]  [4]  
8 李伟湋 [11]  
9 王珊珊 [5]  
10 王进 [5]  
11 石玉峰 [12]  
12 肖芳雄 [6]  
13 胡军 [1]   [3]  [2]  [4]  [7]  [8]  [6]  [11]  [10]  
14 蔡正平 [5]  
15 郭丽娟 [3]   [2]  
16 阚双龙 [7]   [9]  
17 陈哲 [7]   [9]  [12]  
18 魏欧 [6]   [11]  [12]  
19 黄传林 [10]  
20 黄志球 [1]   [3]  [2]  [5]  [7]  [8]  [6]  [9]  [11]  [10]  [12]  

单位历史信息

南京航空航天大学计算机科学与技术学院 (2012--2015)
南京林业大学信息科学技术学院 (2015--2019)

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