无 佳奇 印 的照片

查看 Scopus 资料

印 佳奇

Professor

根据储存在 Pure 的刊物以及来自 Scopus 的引用文献数量计算
20192025

每年的科研成果

过滤
会议稿件

搜索结果

  • 2024

    Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP

    Zhu, B., Yin, J., Chen, S. & Zhu, H., 8 4月 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, 页码 300-302 3 页码 (Proceedings of the ACM Symposium on Applied Computing).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • Formalization and Verification of the Zab Protocol Using CSP

    Dong, W., Yin, J., Chen, S. & Zhu, H., 2024, Parallel and Distributed Computing, Applications and Technologies - Proceedings of PDCAT 2023. Park, J. S., Takizawa, H., Shen, H. & Park, J. J. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 12-24 13 页码 (Lecture Notes in Electrical Engineering; 卷 1112 LNEE).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • 2023

    Formalization and Verification of SIP Using CSP

    Hou, Z., Yin, J., Zhu, H. & Chen, N., 2023, Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Proceedings. Takizawa, H., Shen, H., Hanawa, T., Hyuk Park, J., Tian, H. & Egawa, R. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 158-171 14 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 13798 LNCS).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • Formalization and Verification of the ICC Mechanism in Android System Using CSP

    Lv, Y., Yin, J., Chen, S. & Zhu, H., 2023, Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop, ISSREW 2023. Institute of Electrical and Electronics Engineers Inc., 页码 89-95 7 页码 (Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop, ISSREW 2023).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    1 引用 （Scopus）

  • MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity

    Luo, J., Yin, J. & Zhu, H., 2023, Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Proceedings. Takizawa, H., Shen, H., Hanawa, T., Hyuk Park, J., Tian, H. & Egawa, R. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 387-398 12 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 13798 LNCS).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • 2022

    Formal Analysis and Verification of DPSTM v2 Architecture Using CSP

    Li, P., Yin, J., Zhu, H., Xiao, L. & Popovic, M., 2022, Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022. Va Leong, H., Sarvestani, S. S., Teranishi, Y., Cuzzocrea, A., Kashiwazaki, H., Towey, D., Yang, J.-J. & Shahriar, H. (编辑). Institute of Electrical and Electronics Engineers Inc., 页码 872-877 6 页码 (Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    1 引用 （Scopus）

  • Formal Verification of COCO Database Framework Using CSP

    Li, P., Yin, J. & Zhu, H., 2022, SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 363-368 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问
    1 引用 （Scopus）

  • Modeling and Verifying AUPS Using CSP

    Zhang, H., Zhu, H., Yin, J. & Chen, N., 2022, SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 568-573 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问

  • The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing

    Yin, J. & Zhu, H., 2022, Proceedings - 2022 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022. Institute of Electrical and Electronics Engineers Inc., 页码 133-142 10 页码 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; 卷 2022-March).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • 2021

    Formalization and verification of dubbo using CSP

    Hou, Z., Yin, J. & Zhu, H., 2021, Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 154-159 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 2021-July).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问
    2 引用 （Scopus）

  • Formal modeling and verification of ICN-IoT middleware architecture

    Zhang, H., Yin, J., Zhu, H. & Chen, N., 2021, Proceedings - SEKE 2021: 33rd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 102-107 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 2021-July).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问
    1 引用 （Scopus）

  • Formal Modelling and Verification of the RTPS Behavior Module

    Yin, J., Zhu, H., Fei, Y. & Xu, Q., 8月 2021, Proceedings - 2021 International Symposium on Theoretical Aspects of Software Engineering, TASE 2021. Institute of Electrical and Electronics Engineers Inc., 页码 127-134 8 页码 (Proceedings - 2021 International Symposium on Theoretical Aspects of Software Engineering, TASE 2021).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    2 引用 （Scopus）

  • Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata

    Yin, J., Zhu, H. & Fei, Y., 2021, Proceedings - 2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021. Zhao, L., Kumar, N., Hsu, R. C. & Zou, D. (编辑). Institute of Electrical and Electronics Engineers Inc., 页码 68-75 8 页码 (Proceedings - 2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    1 引用 （Scopus）

  • Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP

    Xu, J., Yin, J., Zhu, H. & Xiao, L., 26 5月 2021, Proceedings of the 7th Conference on the Engineering of Computer Based Systems, ECBS 2021. Association for Computing Machinery, (ACM International Conference Proceeding Series).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    11 引用 （Scopus）

  • Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP

    Zhao, C., Yin, J., Zhu, H. & Li, R., 2021, 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021. Institute of Electrical and Electronics Engineers Inc., 页码 845-852 8 页码 (19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    1 引用 （Scopus）

  • SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing

    Yin, J., Zhu, H. & Fei, Y., 1 2月 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. Institute of Electrical and Electronics Engineers Inc., 页码 990-993 4 页码 9474184. (Proceedings -Design, Automation and Test in Europe, DATE; 卷 2021-February).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    1 引用 （Scopus）
  • 2020

    Formalization and verification of VANET

    Li, R., Zhu, H., Xiao, L., Yin, J., Fei, Y. & Lu, G., 2020, SEKE 2020 - Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 1-6 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 PartF162440).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    2 引用 （Scopus）

  • Formal modelling and verification of MCAC router architecture in ICN

    Xu, J., Zhu, H., Xiao, L., Yin, J., Fei, Y. & Lu, G., 2020, SEKE 2020 - Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 222-227 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 PartF162440).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • Modeling and Analysis of RabbitMQ Using UPPAAL

    Li, R., Yin, J. & Zhu, H., 12月 2020, Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020. Wang, G., Ko, R., Bhuiyan, M. Z. A. & Pan, Y. (编辑). Institute of Electrical and Electronics Engineers Inc., 页码 79-86 8 页码 9343066. (Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    7 引用 （Scopus）

  • Modeling and verifying data access mechanism of NLSR trust model

    Chen, N., Zhu, H., Fei, Y., Xiao, L. & Yin, J., 12月 2020, Proceedings - 2020 27th Asia-Pacific Software Engineering Conference, APSEC 2020. IEEE Computer Society, 页码 198-207 10 页码 9359304. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 卷 2020-December).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • Modeling and verifying NDN-based IoV using CSP

    Chen, N., Zhu, H., Yin, J., Xiao, L. & Fei, Y., 2020, SEKE 2020 - Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 31-36 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 PartF162440).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    1 引用 （Scopus）
  • 2019

    A Security Calculus for Wireless Networks of Named Data Networking

    Fei, Y., Zhu, H., Sun, H. & Yin, J., 2019, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings. Ait-Ameur, Y. & Qin, S. (编辑). Springer, 页码 170-185 16 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 11852 LNCS).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • Formalization and verification of RTPS StatefulWriter module using CSP

    Yin, J., Zhu, H., Fei, Y., Xu, Q. & Wu, R., 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 147-152 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 2019-July).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问
    4 引用 （Scopus）

  • Modeling and verifying spark on YARN using process algebra

    Yin, J., Zhu, H., Fei, Y. & Fang, Y., 22 3月 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Jiang, C., Yu, D. & Nguyen, V. (编辑). IEEE Computer Society, 页码 208-215 8 页码 8673062. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; 卷 2019-January).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    2 引用 （Scopus）

  • Modeling and verifying TESAC using CSP

    Sun, D., Zhu, H., Fei, Y., Xiao, L., Lu, G. & Yin, J., 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 265-270 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 2019-July).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问

  • Verifying opacity of a modified PSTM

    Fang, Y., Zhu, H. & Yin, J., 7月 2019, Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019. Institute of Electrical and Electronics Engineers Inc., 页码 232-239 8 页码 8913906. (Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

  • Verifying static aspects of UML models using prolog

    Sheng, F., Zhu, H., Yang, Z., Yin, J. & Lu, G., 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 259-264 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; 卷 2019-July).

    科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

    开放访问
    1 引用 （Scopus）