何积丰 + 关注学者
  • 个人主页: 点击访问
  • 所属院系:计算机科学与软件工程学院
  • 认领成果数 115
  • wos论文数 61
  • wos被引 584
  • wos篇均被引 9.73

全部成果分类

显示更多
导出 规范数据导出
  • 排序
  • 显示
1. 面向 VxWorks 平台的单元自动测试工具的设计与实现 代表性成果

作者:陈凯祥

第一导师:何积丰

第二导师:蒲戈光

学位授予年度:2017

作者机构:计算机科学与软件工程学院

专业名称:软件工程

资源类型:学位论文

2. A Survey on Data-Flow Testing 代表性成果 SCOPUS SCIE EI

作者:Su, T;Wu, K;Miao, WK;Pu, GG;He, JF;Chen, YT;Su, ZD

通讯作者:Pu, Geguang(ggpu@sei.ecnu.edu.cn)

通讯作者地址:Pu, GG (reprint author), East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; Chen, YT (reprint author), Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.

作者机构:[Su, Ting; Wu, Ke; Miao, Weikai; Pu, Geguang; He, Jifeng] East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Sha 更多

来源:ACM COMPUTING SURVEYS,2017,50,1

收录类别:SCOPUS;SCIE;EI

当年影响因子:6.748

WOS被引:1

Scopus被引:1

资源类型:外文期刊论文

3. 基于覆盖准则的软件测试用例自动化生成方法的研究与实现 代表性成果

作者:苏亭

第一导师:何积丰

第二导师:蒲戈光

学位授予年度:2016

作者机构:计算机科学与软件工程学院

专业名称:计算机应用技术

资源类型:学位论文

5. SMT-Based Symbolic Encoding and Formal Analysis of HML Models 代表性成果 SCOPUS SCIE CPCI-S EI

作者:Fang, HX;Zhu, HB;He, JF

通讯作者:Zhu, Huibiao(hbzhu@sei.ecnu.edu.cn)

通讯作者地址:Zhu, HB (reprint author), E China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Fang, Huixing; Zhu, Huibiao; He, Jifeng] E China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peopl 更多

来源:MOBILE NETWORKS & APPLICATIONS,2016,21,1,35-52

收录类别:SCOPUS;SCIE;CPCI-S;EI

当年影响因子:3.259

资源类型:外文期刊论文;外文会议论文

6. RESTful Web服务的形式化建模与分析 代表性成果

作者:袁婷

第一导师:何积丰

第二导师:朱惠彪

学位授予年度:2015

作者机构:软件学院

专业名称:软件工程

资源类型:学位论文

7. 线性时态逻辑可满足性工具的设计与实现 代表性成果

作者:姚银波

第一导师:何积丰

第二导师:蒲戈光

学位授予年度:2015

作者机构:软件学院

专业名称:软件工程

资源类型:学位论文

8. Denotational semantics and its algebraic derivation for an event-driven system-level language 代表性成果 SCOPUS SCIE

作者:Zhu, H;He, JF;Qin, SC;Brooke, PJ

通讯作者地址:Zhu, H (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Zhu, H.; He, Jifeng] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [Qin, Shengchao; Brooke, Phillip J. 更多

来源:FORMAL ASPECTS OF COMPUTING,2015,27,1,133-166

收录类别:SCOPUS;SCIE

当年影响因子:1.041

WOS被引:4

资源类型:外文期刊论文

10. Combining Symbolic Execution and Model Checking for Data Flow Testing 代表性成果 SCOPUS SCIE CPCI-S EI

作者:Su, T;Fu, ZL;Pu, GG;He, JF;Su, ZD

通讯作者:Pu, Geguang(ggpu@sei.ecnu.edu.cn)

通讯作者地址:Pu, GG (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Su, Ting; Pu, Geguang; He, Jifeng] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Fu, Zhoulai; Su, Zhendon 更多

来源:2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE; ENGINEERING, VOL 1,2015,1,654-665

收录类别:SCOPUS;SCIE;CPCI-S;EI

WOS被引:5

资源类型:外文期刊论文;外文会议论文

12. 基于AUTOSAR的汽车电子操作系统及其应用的建模与分析 代表性成果

作者:彭云辉

第一导师:何积丰

第二导师:郭建

学位授予年度:2014

作者机构:软件学院

专业名称:计算机软件与理论

资源类型:学位论文

13. 线性时态逻辑中若干基础问题的研究 代表性成果

作者:李建文

第一导师:何积丰

第二导师:蒲戈光

学位授予年度:2014

作者机构:软件学院

专业名称:计算机应用技术

资源类型:学位论文

14. 面向实时嵌入式系统的中断语义理论研究 代表性成果

作者:黄滟鸿

第一导师:何积丰

学位授予年度:2014

作者机构:软件学院

专业名称:计算机应用技术

资源类型:学位论文

15. 混成建模语言HyML及其语义理论研究 代表性成果

作者:朱龙飞

第一导师:何积丰

学位授予年度:2014

作者机构:软件学院

专业名称:计算机应用技术

资源类型:学位论文

16. A UTP semantic model for Orc language with execution status and fault handling 代表性成果 SCOPUS SCIE EI

作者:Li, Q;Zhao, YX;Zhu, HB;He, JF

通讯作者:Zhao, Yongxin

通讯作者地址:Zhao, YX (reprint author), E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

作者机构:[Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:FRONTIERS OF COMPUTER SCIENCE,2014,8,5,709-725

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.039

WOS被引:1

资源类型:外文期刊论文

17. Investigating System Survivability from a Probabilistic Perspective 代表性成果 SCOPUS SCIE EI

作者:Zhao, YX;Huang, YH;Li, Q;Zhu, HB;He, JF;Li, JW;Wu, X

通讯作者:Li, Q.(qli@sei.ecnu.edu.cn)

通讯作者地址:Li, Q (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, 3663 Zhongshan Rd North, Shanghai 200062, Peoples R China.

作者机构:[Zhao, Yongxin; Huang, Yanhong; Li, Qin; Zhu, Huibiao; He, Jifeng; Li, Jianwen; Wu, Xi] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trus 更多

来源:IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,2014,E97D,9,2356-2370

收录类别:SCOPUS;SCIE;EI

当年影响因子:0.411

WOS被引:1

Scopus被引:1

资源类型:外文期刊论文;外文会议论文

18. BPEL语言的语义连接理论和验证技术的机器实现 代表性成果

作者:刘鹏

第一导师:何积丰

第二导师:朱惠彪

学位授予年度:2013

作者机构:软件学院

专业名称:计算机软件与理论

资源类型:学位论文

19. 信号演算的操作语义及其与代数语义的统一 代表性成果

作者:吴成成

第一导师:何积丰

第二导师:朱惠彪

学位授予年度:2013

作者机构:软件学院

专业名称:计算机软件与理论

资源类型:学位论文

20. 基于SPARDL模型的一致性测试 代表性成果

作者:陈玉祥

第一导师:何积丰

第二导师:蒲戈光

学位授予年度:2013

作者机构:软件学院

专业名称:计算机软件与理论

资源类型:学位论文

共 6 页, 115 条记录

TOP