按条件检索“29”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
2. Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra CPCI-S

作者:Liu, AL;Zhu, HB;Fei, Y;Xiang, SQ;Lu, G;Xie, WL

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

作者机构:[Liu, Ailun; Zhu, Huibiao; Fei, Yuan; Xiang, Shuangqing; Lu, Gang; Xie, Wanling] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Sch Comp S 更多

来源:2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE; (COMPSAC), VOL 1,2017,39-44

收录类别:CPCI-S

会议时间:JUL 04-08, 2017

会议名称:41st IEEE Annual Computer Software and Applications Conference (COMPSAC)

资源类型:外文会议论文

5. Comparative Modeling and Verification of Pthreads and Dthreads SCOPUS CPCI-S EI

作者:Fei, Y;Zhu, HB;Wu, X;Fang, HX

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

作者机构:[Fei, Yuan; Zhu, Huibiao; Wu, Xi; Fang, Huixing] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China 更多

来源:2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2016,2016-March,132-140

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

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

6. 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

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

7. Model-checking software library API usage rules SCOPUS SCIE CPCI-S EI

作者:Song, F; Touili, T

通讯作者:Song, Fu(fsong@sei.ecnu.edu.cn)

通讯作者地址:Song, F (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.

作者机构:[Song, Fu] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.; 更多

来源:SOFTWARE AND SYSTEMS MODELING,2016,15,4,961-985

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

当年影响因子:1.654

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

8. Safety Requirements Specification and Verification for Railway Interlocking Systems SCOPUS CPCI-S EI SCIE

作者:Han, L;Liu, J;Zhou, TL;Sun, JF;Chen, XH

通讯作者:Liu, Jing(jliu@sei.ecnu.edu.cn)

通讯作者地址:Liu, J (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; Sun, JF (reprint author), CASCO SIGNAL LTD, Shanghai, Peoples R China.

作者机构:[Han, Li; Liu, Jing; Chen, Xiaohong] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [Zhou, Tingliang; 更多

来源:PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS; CONFERENCE WORKSHOPS, VOL 1,2016,1,335-340

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

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

10. A Spatial Logic for Modeling and Verification of Collision-free Control of Vehicles CPCI-S

作者:Xu, BQ;Li, Q

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

作者机构:[Xu, Bingqing; Li, Qin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS 2016),2016,33-42

收录类别:CPCI-S

会议时间:NOV 06-08, 2016

会议名称:21st International Conference on Engineering of Complex Computer Systems; (ICECCS)

资源类型:外文会议论文

12. Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic SCOPUS EI CPCI-S

作者:Sun, HY;Liu, J;Chen, XH;Du, DH

通讯作者:Liu, Jing(jliu@sei.ecnu.edu.cn)

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

作者机构:[Sun, Haiying; Liu, Jing; Chen, Xiaohong; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Sun, Ha 更多

来源:2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015),2015,Vol.2016-May,254-260

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

会议时间:DEC 01-04, 2015

会议名称:22nd Asia-Pacific Software Engineering Conference (APSEC)

WOS被引:1

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

13. Towards Verified Faithful Simulation CPCI-S EI

作者:Joloboff, V; Monin, JF; Shi, XM

通讯作者:Joloboff, Vania(vania.Joloboff@inria.fr)

通讯作者地址:Joloboff, V (reprint author), E China Normal Univ, Shanghai 200062, Peoples R China.

作者机构:[Joloboff, Vania] E China Normal Univ, Shanghai 200062, Peoples R China.; [Joloboff, Vania] INRIA, Sophia Antipolis, France.; [Joloboff, Vania] LI 更多

来源:DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS,; SETTA 2015,2015,Vol.9409,105-119

收录类别:CPCI-S;EI

会议时间:NOV 04-06, 2015

会议名称:1st International Symposium on Dependable Software Engineering -; Theories, Tools and Applications (SETTA)

WOS被引:1

资源类型:外文会议论文

16. Text-independent Writer Identification Using SIFT Descriptor and Contour-directional Feature CPCI-S SCIE

作者:Xiong, YJ;Wen, Y;Wang, PSP;Lu, Y

通讯作者地址:Xiong, YJ (reprint author), East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Dept Comp Sci & Technol, Shanghai 200241, Peoples R China.

作者机构:[Xiong, Yu-Jie; Wen, Ying; Wang, Patrick S. P.; Lu, Yue] East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Dept Comp Sci & Technol, 更多

来源:2015 13TH IAPR INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND; RECOGNITION (ICDAR),2015,91-95

收录类别:CPCI-S;SCIE

会议时间:AUG 23-26, 2015

会议名称:13th IAPR International Conference on Document Analysis and Recognition; (ICDAR)

WOS被引:5

资源类型:外文会议论文

17. Assertion-Based Functional Consistency Checking between TLM and RTL Models SCOPUS SCIE CPCI-S EI

作者:Chen, MS;Mishra, P

通讯作者:Chen, M.(mschen@sei.ecnu.edu.cn)

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

作者机构:[Chen, Mingsong] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2013 26TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2013 12TH; INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID),2013,320-325

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

WOS被引:5

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

18. Formal Modelling and Analysis of AODV SCOPUS CPCI-S EI

作者:Wu, XF;Sanders, JW;Zhu, HB

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

作者机构:[Wu, Xiaofeng; Zhu, Huibiao] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2013,93-100

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

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

19. Aspect-Oriented Modeling for Railway Control Systems CPCI-S

作者:Zhang, LC

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

作者机构:[Zhang, LC]E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA),2013,236-241

收录类别:CPCI-S

会议时间:AUG 26-28, 2013

会议名称:IEEE International Conference on Information and Automation (ICIA)

资源类型:外文会议论文

20. 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

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

共 2 页, 29 条记录

TOP