按条件检索“14”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
2. Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs SCOPUS CPCI-S EI SCIE

作者:Liu, JF;Jiang, KQ;Wang, X;Cheng, B;Du, DH

通讯作者:Du, Dehui(dhdu@sei.ecnu.edu.cn)

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

作者机构:[Liu, Jufu; Jiang, Kaiqiang; Wang, Xiao; Cheng, Bei; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R 更多

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

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

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

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

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

4. Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs SCOPUS EI SCIE CPCI-S

作者:Cheng, B;Wang, X;Liu, JF;Du, DH

通讯作者:Du, Dehui(dhdu@sei.ecnu.edu.cn)

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

作者机构:[Cheng, Bei; Wang, Xiao; Liu, Jufu; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:39TH ANNUAL IEEE COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE; (COMPSAC 2015), VOL 2,2015,2,127-136

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

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

5. Task Scheduling in Cyber-Physical Systems SCOPUS EI CPCI-S

作者:Liu, CY; Zhang, LC; Zhang, DQ

通讯作者:Zhang, Lichen(zhanglichen1962@163.com)

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

作者机构:[Liu, Chunyao; Zhang, Lichen] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Zhang, Daqiang] Tongji Univ, S 更多

来源:2014 IEEE 11TH INTL CONF ON UBIQUITOUS INTELLIGENCE AND COMPUTING AND; 2014 IEEE 11TH INTL CONF ON AUTONOMIC AND TRUSTED COMPUTING AND 2014; IEEE 14TH INTL CONF ON SCALABLE COMPUTING AND COMMUNICATIONS AND ITS; ASSOCIATED WORKSHOPS,2014,319-324

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

会议时间:DEC 09-12, 2014

会议名称:IEEE Int Conf on Ubiquitous Intelligence and Computing (UIC) / 11th IEEE; Int Conf on Autonomic and Trusted Computing (ATC) / 14th IEEE Int Conf; on Scalable Computing and Communications (ScalCom)

WOS被引:1

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

7. Specification and Modeling of QoS Based on AADL CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND; SERVICE SCIENCE (ICSESS),2014,1107-1110

收录类别:CPCI-S

会议时间:JUN 27-29, 2014

会议名称:5th IEEE International Conference on Software Engineering and Service; Science (ICSESS)

资源类型:外文会议论文

8. A Framework to Specify Big Data Driven Complex Cyber Physical Control Systems SCIE CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA),2014,548-553

收录类别:SCIE;CPCI-S

会议时间:JUL 28-30, 2014

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

WOS被引:3

资源类型:外文会议论文

9. Designing Big Data Driven Cyber Physical Systems Based on AADL CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC),2014,3072-3077

收录类别:CPCI-S

会议时间:OCT 05-08, 2014

会议名称:IEEE International Conference on Systems, Man, and Cybernetics (SMC)

WOS被引:1

资源类型:外文会议论文

10. On Denotational Semantics of Spatial-Temporal Consistency Language STeC SCOPUS EI CPCI-S

作者:Wu, HY;Chen, YX;Zhang, M

通讯作者地址:Wu, HY (reprint author), Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.

作者机构:[Wu, Hengyang] Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.; [Chen, Yixiang; Zhang, Min] E China Normal Uni 更多

来源:2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE; ENGINEERING (TASE),2013,113-120

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

会议时间:JUL 01-03, 2013

会议名称:7th International Symposium on Theoretical Aspects of Software; Engineering (TASE)

WOS被引:3

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

11. Specifying Time Constraints of Cyber Physical Systems Based On Clock Theory SCOPUS SCIE CPCI-S EI

作者:Xu, BQ; Zhang, LC

通讯作者:Zhang, L.(zhanglichen1962@163.com)

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

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

来源:2013 IEEE 16TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND; ENGINEERING (CSE 2013),2013,588-594

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

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

12. A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems SCOPUS SCIE CPCI-S EI

作者:Xu, BQ; Zhang, LC

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

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

来源:2013 IEEE 11TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND; SECURE COMPUTING (DASC),2013,288-295

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

WOS被引:1

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

13. Aspect-Oriented QoS Specification for Cyber-Physical Systems CPCI-S

作者:Zhang, LC;He, JF

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

作者机构:[Zhang, Lichen; He, Jifeng] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY,2011,Vol.206,399-406

收录类别:CPCI-S

会议时间:SEP 22-24, 2011

会议名称:5th International Conference on Convergence and Hybrid Information; Technology (ICHIT)

资源类型:外文会议论文

14. A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems SCIE CPCI-S

作者:Zhang, LC;He, JF

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

作者机构:[Zhang, Lichen; He, Jifeng] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY,2011,Vol.206,391-398

收录类别:SCIE;CPCI-S

会议时间:SEP 22-24, 2011

会议名称:5th International Conference on Convergence and Hybrid Information; Technology (ICHIT)

WOS被引:3

资源类型:外文会议论文

TOP