史建琦 + 关注学者
  • 个人主页: 点击访问
  • 所属院系:计算机科学与软件工程学院
  • 认领成果数 19
  • wos论文数 12
  • wos被引 13
  • wos篇均被引 1.08

全部成果分类

导出 规范数据导出
  • 排序
  • 显示
1. 基于RFID技术的仓库管理系统的设计与实现 代表性成果

作者:宋波

第一导师:史建琦

学位授予年度:2017

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

专业名称:软件工程

资源类型:学位论文

3. 广播电视局网络故障处理系统的设计与实现 代表性成果

作者:史冰冰

第一导师:史建琦

学位授予年度:2016

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

专业名称:软件工程

资源类型:学位论文

4. 新媒体内容管理系统的设计与实现 代表性成果

作者:单琳

第一导师:史建琦

学位授予年度:2016

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

专业名称:软件工程

资源类型:学位论文

5. 四川艺术职业学院在线考试系统的设计与实现 代表性成果

作者:钟丹

第一导师:史建琦

学位授予年度:2016

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

专业名称:软件工程

资源类型:学位论文

9. Formal verification and simulation for platform screen doors and collision avoidance in subway control systems 代表性成果 SCOPUS SCIE EI

作者:Fang, HX;Shi, JQ;Zhu, HB;Guo, J;Larsen, KG;David, A

通讯作者:Guo, J.(jguo@sei.ecnu.edu.cn)

通讯作者地址:Guo, J (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Fang, Huixing; Shi, Jianqi; Zhu, Huibiao; Guo, Jian] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peo 更多

来源:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,2014,16,4,339-361

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.612

WOS被引:2

Scopus被引:3

资源类型:外文期刊论文

11. A Denotational Model for Interrupt-Driven Programs 代表性成果 SCOPUS CPCI-S EI SCIE

作者:Huang, YH;Zhao, YX;Shi, JQ;Zhu, HB

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

作者机构:[Huang, Yanhong; Zhu, Huibiao] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;[Huang, Yanhong; Zhu, Huibiao 更多

来源:IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION; AND VALIDATION WORKSHOPS (ICSTW 2013),2013,15-20

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

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

13. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System 代表性成果 SCOPUS CPCI-S EI

作者:Shi, JQ;He, JF;Zhu, HB;Fang, HX;Huang, YH;Zhang, XX

通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)

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

作者机构:[Shi, Jianqi; He, Jifeng; Zhu, Huibiao; Fang, Huixing; Huang, Yanhong] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, People 更多

来源:2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2012,293-301

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

WOS被引:6

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

14. xBIL-A Hardware Resource Oriented Binary Intermediate Language 代表性成果 SCOPUS CPCI-S EI

作者:Shi, JQ;Zhu, LF;Fang, HX;Guo, J;Zhu, HB;Ye, X

通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)

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

作者机构:[Shi, Jianqi; Zhu, Longfei; Fang, Huixing; Guo, Jian; Zhu, Huibiao; Ye, Xin] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, 更多

来源:2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2012,211-219

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

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

15. Binary code level verification for interrupt safety properties of real-time operating system 代表性成果 SCOPUS EI

作者:Shi J.;Zhu L.;Huang Y.;Guo J.;Zhu H.;Fang H.;Ye X.

通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)

通讯作者地址:Shi, J.; Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: jqshi@sei.ecnu.edu.cn

作者机构:[Shi, Jianqi ;Zhu, Longfei ;Huang, Yanhong ;Guo, Jian ;Zhu, Huibiao ;Fang, Huixing ;Ye, Xin ] Shanghai Key Laboratory of Trustworthy Computing, Softwa 更多

来源:Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012,2012,223-226

收录类别:SCOPUS;EI

Scopus被引:1

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

16. Formal Verification and Simulation: Co-Verification for Subway Control Systems 代表性成果 SCOPUS EI SCIE

作者:Huixing Fang;Jian Guo;Huibiao Zhu;Jianqi Shi

通讯作者:Fang, H.(wxfang@sei.ecnu.edu.cn)

通讯作者地址:Fang, H.; Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: wxfang@sei.ecnu.edu.cn

作者机构:[Fang, Huixing ;Guo, Jian ;Zhu, Huibiao ;Shi, Jianqi ] Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China No 更多

来源:2012 IEEE Sixth International Symposium on Theoretical Aspects of; Software Engineering (TASE 2012),2012,145-152

收录类别:SCOPUS;EI;SCIE

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

17. Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification 代表性成果 SCOPUS EI SCIE

作者:Longfei Zhu;Min Zhang;Yanhong Huang;Jianqi Shi;Huibiao Zhu

通讯作者:Zhu, L.(lfzhu@sei.ecnu.edu.cn)

通讯作者地址:Zhu, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China; 电子邮件: lfzhu@sei.ecnu.edu.cn

作者机构:[Zhu, Longfei ;Zhang, Min ;Huang, Yanhong ;Shi, Jianqi ;Zhu, Huibiao ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 更多

来源:Proceedings of the 2011 IEEE 5th International Symposium on Theoretical; Aspects of Software Engineering (TASE 2011),2011,27-34

收录类别:SCOPUS;EI;SCIE

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

18. Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP 代表性成果 SCOPUS EI SCIE

作者:Yanhong Huang;Yongxin Zhao;Longfei Zhu;Qin Li;Huibiao Zhu;Jianqi Shi

通讯作者:Huang, Y.(yhhuang@sei.ecnu.edu.cn)

通讯作者地址:Huang, Y.; Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: yhhuang@sei.ecnu.edu.cn

作者机构:[Huang, Yanhong ;Zhao, Yongxin ;Zhu, Longfei ;Li, Qin ;Zhu, Huibiao ;Shi, Jianqi ] Shanghai Key Laboratory of Trustworthy Computing, Software Engineer 更多

来源:Proceedings of the 2011 IEEE 5th International Symposium on Theoretical; Aspects of Software Engineering (TASE 2011),2011,142-149

收录类别:SCOPUS;EI;SCIE

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

19. The validation and verification of WSCDL 代表性成果 SCOPUS EI

作者:Pu G.;Shi J.;Wang Z.;Jin L.;Liu J.;He J.

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

通讯作者地址:Pu, G.; Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: ggpu@sei.ecnu.edu.cn

作者机构:[Pu, Geguang ;Shi, Jianqi ;Wang, Zheng ;Jin, Lu ;Liu, Jing ;He, Jifeng ] Software Engineering Institute, East China Normal University, Shanghai, China

来源:Proceedings - Asia-Pacific Software Engineering Conference, APSEC,2007,81-88

收录类别:SCOPUS;EI

Scopus被引:10

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

TOP