按条件检索“19”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems CPCI-S EI

作者:Du, WJ;Deng, YX;Gebler, D

通讯作者:Deng, Yuxin(yxdeng@sei.ecnu.edu.cn)

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

作者机构:[Du, Wenjie] Shanghai Normal Univ, Shanghai, Peoples R China.; [Deng, Yuxin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Pe 更多

来源:DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS,2016,Vol.9984,67-84

收录类别:CPCI-S;EI

会议时间:NOV 09-11, 2016

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

资源类型:外文会议论文

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

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

4. THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE CPCI-S

作者:Wu, HY;Chen, YX

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

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

来源:QUANTITATIVE LOGIC AND SOFT COMPUTING,2012,Vol.5,223-230

收录类别:CPCI-S

会议时间:MAY 12-15, 2012

会议名称:3rd International Conference on Quantitative Logic and Soft Computing; (QL and SC)

资源类型:外文会议论文

5. Towards a Signal Calculus for Event-Based Synchronous Languages CPCI-S SCIE

作者:Zhao, YX;He, JF

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

作者机构:[Zhao, Yongxin; He Jifeng] E China Normal Univ, Software Engineer Inst, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:FORMAL METHODS AND SOFTWARE ENGINEERING,2011,Vol.6991,1-13

收录类别:CPCI-S;SCIE

会议时间:OCT 26-28, 2011

会议名称:13th International Conference on Formal Engineering Methods

资源类型:外文会议论文

6. Statistical Model Checking for Networks of Priced Timed Automata CPCI-S

作者:David, A; Larsen, KG; Legay, A; Mikucionis, M; Poulsen, DB; van Vliet, J; Wang, Z

通讯作者地址:David, A (reprint author), Aalborg Univ, Aalborg, Denmark.

作者机构:[David, Alexandre; Larsen, Kim G.; Mikucionis, Marius; Poulsen, Danny Bogsted; van Vliet, Jonas] Aalborg Univ, Aalborg, Denmark.; [Legay, Axel] INRI 更多

来源:FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS,2011,Vol.6919,80-+

收录类别:CPCI-S

会议时间:SEP 21-23, 2011

会议名称:9th International Conference on Formal Modeling and Analysis of Timed; Systems (FORMATS 2011)

WOS被引:37

资源类型:外文会议论文

7. Transaction Calculus (Invited Paper) SCIE CPCI-S

作者:He, JF

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

作者机构:[He, JF]E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.5713,2-21

收录类别:SCIE;CPCI-S

会议时间:SEP 08-10, 2008

会议名称:2nd International Symposium on Unifying Theories of Programming

资源类型:外文会议论文

8. A Probabilistic BPEL-Like Language CPCI-S

作者:He, JF

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

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

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,74-100

收录类别:CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

WOS被引:3

资源类型:外文会议论文

9. A bigraphical model of WSBPEL SCOPUS SCIE CPCI-S EI

作者:Zhang, M;Shi, L;Zhu, LF;Wang, YF;Feng, LB;Pu, GG

通讯作者:Zhang, M.(mzhang@sei.ecnu.edu.cn)

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

作者机构:[Zhang, Min; Shi, Ling; Zhu, Longfei; Wang, Yifei; Feng, Libo; Pu, Geguang] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, P 更多

来源:TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL; ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS,2008,117-120

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

WOS被引:2

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

10. An observational model for transactional calculus of services orchestration SCIE CPCI-S

作者:Li, J;Zhu, HB;He, JF

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

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

来源:THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS,2008,Vol.5160,201-215

收录类别:SCIE;CPCI-S

会议时间:SEP 01-03, 2008

会议名称:5th International Colloquium on Theoretical Aspects of Computing (ICTAC; 2008)

资源类型:外文会议论文

11. Modelling Coordination and Compensation SCIE CPCI-S

作者:He, JF

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

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

来源:LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION,; PROCEEDINGS,2008,Vol.17,15-36

收录类别:SCIE;CPCI-S

会议时间:OCT 13-15, 2008

会议名称:3rd International Symposium on Leveraging Applications of Formal; Methods, Verification and Validation

WOS被引:1

资源类型:外文会议论文

12. Specifying and verifying web transactions SCIE CPCI-S

作者:Li, J;Zhu, HB;He, JF

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

作者机构:[Li, Jing; Zhu, Huibiao; He, Jifeng] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008,2008,Vol.5048,149-168

收录类别:SCIE;CPCI-S

会议时间:JUN 10-13, 2008

会议名称:28th International Conference on Formal Techniques for Networked and; Distributed Systems

WOS被引:9

资源类型:外文会议论文

13. Modeling and verifying web services choreography using process algebra SCOPUS SCIE CPCI-S EI

作者:Li, J;He, JF;Zhu, HB;Pu, GG

通讯作者:Li, J.(jli@sei.ecnu.edu.cn)

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

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

来源:31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS,2007,256-265

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

WOS被引:4

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

14. A formal model for compensable transactions SCOPUS SCIE CPCI-S EI

作者:Li, J;Zhu, HB;Pu, GG;He, JF

通讯作者:Li, J.(jli@sei.ecnu.edu.cn)

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

作者机构:[Li, J; Zhu, HB; Pu, GG; He, JF]E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER; SYSTEMS, PROCEEDINGS,2007,64-73

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

WOS被引:3

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

15. An operational approach to BPEL-like programming SCOPUS SCIE CPCI-S EI

作者:Zhu, HB;He, JF;Pu, GG;Li, J

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

通讯作者地址:Zhu, HB (reprint author), E China Normal Univ, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

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

来源:31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS,2007,236-245

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

WOS被引:6

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

16. Looking into compensable transactions SCOPUS SCIE CPCI-S EI

作者:Li, J;Zhu, HB;Pu, GG;He, JF

通讯作者:Li, J.(jli@sei.ecnu.edu.cn)

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

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

来源:31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS,2007,154-163

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

WOS被引:6

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

17. Compensable programs SCIE CPCI-S

作者:He, JF

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

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

来源:Formal Methods and Hybrid Real-Time Systems,2007,Vol.4700,381-395

收录类别:SCIE;CPCI-S

会议时间:SEP 24-25, 2007

会议名称:Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour; of Dines Bjorner/Zhou Chaochen

资源类型:外文会议论文

18. Compensable programs SCIE CPCI-S

作者:He, JF

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

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

来源:Formal Methods and Hybrid Real-Time Systems,2007,Vol.4700,349-363

收录类别:SCIE;CPCI-S

会议时间:SEP 24-25, 2007

会议名称:Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour; of Dines Bjorner/Zhou Chaochen

WOS被引:1

资源类型:外文会议论文

19. rCOS: A refinement calculus of object systems SCOPUS SCIE CPCI-S EI

作者:He, JF;Li, XS;Liu, ZM

通讯作者:Liu, Z.(Z.Liu@iist.unu.edu)

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

作者机构:[He, JF; Li, XS; Liu, ZM]E China Normal Univ, Software Engn Inst, Shanghai, Peoples R China.;[He, JF; Li, XS; Liu, ZM] Univ Macau, Fac Sci & 更多

来源:THEORETICAL COMPUTER SCIENCE,2006,365,1-2,109-142

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

当年影响因子:0.698

WOS被引:36

Scopus被引:66

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

TOP