全部成果分类

按条件检索“54”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
2. Checkpointing Workflows for Fail-Stop Errors CPCI-S

作者:Han, L; Canon, LC; Casanova, H; Robert, Y; Vivien, F

通讯作者地址:Han, L (reprint author), Ecole Normale Super Lyon, LIP, CNRS, Lyon, France.; Han, L (reprint author), INRIA, Le Chesnay, France.; Han, L (reprint author), East China Normal Univ, Shanghai, Peoples R China.

作者机构:[Han, Li; Canon, Louis-Claude; Robert, Yves; Vivien, Frederic] Ecole Normale Super Lyon, LIP, CNRS, Lyon, France.; [Han, Li; Canon, Louis-Claude; Ro 更多

来源:2017 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER),2017,487-497

收录类别:CPCI-S

会议时间:SEP 05-08, 2017

会议名称:IEEE International Conference on Cluster Computing (CLUSTER)

资源类型:外文会议论文

3. A Denotational Semantics for Parameterised Networks of Synchronised Automata CPCI-S

作者:Li, SQ; Madelaine, E

通讯作者地址:Li, SQ (reprint author), ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Li, Siqi] ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Madelaine, Eric] Univ Cote dAzur, INRIA, I3S, Sophia Antipolis, Fra 更多

来源:UNIFYING THEORIES OF PROGRAMMING, UTP 2016,2017,Vol.10134,93-113

收录类别:CPCI-S

会议时间:JUN 04-05, 2016

会议名称:6th International Symposium on Unifying Theories of Programming (UTP)

资源类型:外文会议论文

4. A Refinement Hierarchy for Free List Memory Allocators CPCI-S CPCI-SSH

作者:Fang, B; Sighireanu, M

通讯作者地址:Fang, B (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; Fang, B (reprint author), Univ Paris Diderot, IRIF, Paris, France.; Fang, B (reprint author), CNRS, Paris, France.

作者机构:[Fang, Bin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Fang, Bin; Sighireanu, Mihaela] Univ Paris Dider 更多

来源:ACM SIGPLAN NOTICES,2017,Vol.52,Issue.9,104-114

收录类别:CPCI-S;CPCI-SSH

会议时间:JUN 18, 2017

会议名称:ACM SIGPLAN International Symposium on Memory Management (ISMM)

资源类型:外文会议论文

6. An Executable Semantics of Clock Constraint Specification Language and Its Applications SCIE CPCI-S EI

作者:Zhang, M;Mallet, F

通讯作者:Zhang, Min(zhangmin@sei.ecnu.edu.cn)

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

作者机构:[Zhang, Min; Mallet, Frederic] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [Mallet, Frederic] Univ Ni 更多

来源:FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015),2016,Vol.596,37-51

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

会议时间:NOV 06-07, 2015

会议名称:4th International Workshop on Formal Techniques for Safety-Critical; Systems (FTSCS)

WOS被引:1

资源类型:外文会议论文

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

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

9. A Theory for the Composition of Concurrent Processes CPCI-S

作者:Henrio, L;Madelaine, E;Zhang, M

通讯作者地址:Madelaine, E (reprint author), Univ Nice Sophia Antipolis, CNRS, UMR 7271, F-06900 Sophia Antipolis, France.; Madelaine, E (reprint author), INRIA Sophia Antipolis Mediterannee, BP 93, F-06902 Sophia Antipolis, France.

作者机构:[Henrio, Ludovic; Madelaine, Eric] Univ Nice Sophia Antipolis, CNRS, UMR 7271, F-06900 Sophia Antipolis, France.; [Madelaine, Eric] INRIA Sophia Ant 更多

来源:FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS; (FORTE 2016),2016,Vol.9688,175-194

收录类别:CPCI-S

会议时间:JUN 05-07, 2016

会议名称:36th IFIP WG 6.1 International Conference on Formal Techniques for; Distributed Objects, Components and Systems(FORTE) held as part of the; 11th International Federated Conference on Distributed Computing; Techniques (DisCoTec)

WOS被引:2

资源类型:外文会议论文

10. Non-zero Inner Product Encryption with Short Ciphertexts and Private Keys CPCI-S EI

作者:Chen, J;Libert, B;Ramanna, SC

通讯作者:Chen, Jie(s080001@e.ntu.edu.sg)

通讯作者地址:Chen, J; Libert, B; Ramanna, SC (reprint author), Ecole Normale Super Lyon, Lab LIP, Lyon, France.; Chen, J (reprint author), East China Normal Univ, Shanghai, Peoples R China.

作者机构:[Chen, Jie; Libert, Benoit; Ramanna, Somindu C.] Ecole Normale Super Lyon, Lab LIP, Lyon, France.; [Chen, Jie] East China Normal Univ, Shanghai, Peo 更多

来源:SECURITY AND CRYPTOGRAPHY FOR NETWORKS, SCN 2016,2016,Vol.9841,23-41

收录类别:CPCI-S;EI

会议时间:AUG 31-SEP 02, 2016

会议名称:10th International Conference on Security and Cryptography for Networks; (SCN)

资源类型:外文会议论文

11. Efficient IBE with Tight Reduction to Standard Assumption in the Multi-challenge Setting CPCI-S EI

作者:Gong, JQ;Dong, XL;Chen, J;Cao, ZF

通讯作者:Dong, Xiaolei(dongxiaolei@sei.ecnu.edu.cn)

通讯作者地址:Dong, XL; Cao, ZF (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; Chen, J (reprint author), East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai, Peoples R China.; Chen, J (reprint author), Ecole Normale Sup erieure Lyon, Lab LIP, Lyon, France.; Chen, J (reprint author), Jinan Univ, Coll Informat Sci & Technol, Guangzhou, Guangdong, Peoples R China.

作者机构:[Gong, Junqing] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.; [Dong, Xiaolei; Cao, Zhenfu] East China Normal Univ, Shan 更多

来源:ADVANCES IN CRYPTOLOGY - ASIACRYPT 2016, PT II,2016,Vol.10032,624-654

收录类别:CPCI-S;EI

会议时间:DEC 04-08, 2016

会议名称:22nd Annual International Conference on Theory and Application of; Cryptology and Information Security (ASIACRYPT)

资源类型:外文会议论文

13. An Executable Semantics of Clock Constraint Specification Language and Its Applications SCIE CPCI-S EI

作者:Zhang, M;Mallet, F

通讯作者:Zhang, Min(zhangmin@sei.ecnu.edu.cn)

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

作者机构:[Zhang, Min; Mallet, Frederic] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [Mallet, Frederic] Univ Ni 更多

来源:FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015),2016,Vol.596,37-51

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

会议时间:NOV 06-07, 2015

会议名称:4th International Workshop on Formal Techniques for Safety-Critical; Systems (FTSCS)

WOS被引:1

资源类型:外文会议论文

14. An SMT-Based Approach to the Formal Analysis of MARTE/CCSL CPCI-S

作者:Zhang, M;Mallet, F;Zhu, HB

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

作者机构:[Zhang, Min; Mallet, Frederic; Zhu, Huibiao] ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Mallet, Frederic] Univ Nice Sophi 更多

来源:FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016,2016,Vol.10009,433-449

收录类别:CPCI-S

会议时间:NOV 14-18, 2016

会议名称:18th International Conference on Formal Engineering Methods (ICFEM)

WOS被引:2

资源类型:外文会议论文

15. Flexible Runtime Verification Based On Logical Clock Constraints CPCI-S

作者:Yue, D; Joloboff, V; Mallet, F

通讯作者地址:Joloboff, V (reprint author), East China Normal Univ, MOE Trustworthy Software Int Joint Lab, Shanghai, Peoples R China.; Joloboff, V (reprint author), INRIA, ENS Rennes, Rennes, France.

作者机构:[Yue, Daian; Joloboff, Vania; Mallet, Frederic] East China Normal Univ, MOE Trustworthy Software Int Joint Lab, Shanghai, Peoples R China.; [Yue, Da 更多

来源:2016 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL),2016

收录类别:CPCI-S

会议时间:SEP 14-16, 2016

会议名称:Forum on Specification and Design Languages (FDL)

资源类型:外文会议论文

16. Improved Dual System ABE in Prime-Order Groups via Predicate Encodings CPCI-S EI

作者:Chen, J;Gay, R;Wee, H

通讯作者:Chen, Jie

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

作者机构:[Chen, Jie] E China Normal Univ, Shanghai 200062, Peoples R China.; [Gay, Romain; Wee, Hoeteck] ENS, F-75230 Paris 05, France.

来源:ADVANCES IN CRYPTOLOGY - EUROCRYPT 2015, PT II,2015,Vol.9057,595-624

收录类别:CPCI-S;EI

会议时间:APR 26-30, 2015

会议名称:34th Annual International Conference on the Theory and Applications of; Cryptographic Techniques

WOS被引:27

资源类型:外文会议论文

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

资源类型:外文会议论文

共 3 页, 54 条记录

TOP