Research output per year
Research output per year
Search results
-
2024
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP
Zhu, B., Yin, J., Chen, S. & Zhu, H., 8 Apr 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, p. 300-302 3 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 12-24 13 p. (Lecture Notes in Electrical Engineering; vol. 1112 LNEE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 158-171 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13798 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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., p. 89-95 7 p. (Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop, ISSREW 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 387-398 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13798 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 872-877 6 p. (Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 363-368 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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, p. 568-573 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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., p. 133-142 10 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; vol. 2022-March).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 154-159 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2021-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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, p. 102-107 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2021-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Formal Modelling and Verification of the RTPS Behavior Module
Yin, J., Zhu, H., Fei, Y. & Xu, Q., Aug 2021, Proceedings - 2021 International Symposium on Theoretical Aspects of Software Engineering, TASE 2021. Institute of Electrical and Electronics Engineers Inc., p. 127-134 8 p. (Proceedings - 2021 International Symposium on Theoretical Aspects of Software Engineering, TASE 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 68-75 8 p. (Proceedings - 2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP
Xu, J., Yin, J., Zhu, H. & Xiao, L., 26 May 2021, Proceedings of the 7th Conference on the Engineering of Computer Based Systems, ECBS 2021. Association for Computing Machinery, (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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., p. 845-852 8 p. (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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing
Yin, J., Zhu, H. & Fei, Y., 1 Feb 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. Institute of Electrical and Electronics Engineers Inc., p. 990-993 4 p. 9474184. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2021-February).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 1-6 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. PartF162440).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 222-227 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. PartF162440).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Modeling and Analysis of RabbitMQ Using UPPAAL
Li, R., Yin, J. & Zhu, H., Dec 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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 79-86 8 p. 9343066. (Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Modeling and verifying data access mechanism of NLSR trust model
Chen, N., Zhu, H., Fei, Y., Xiao, L. & Yin, J., Dec 2020, Proceedings - 2020 27th Asia-Pacific Software Engineering Conference, APSEC 2020. IEEE Computer Society, p. 198-207 10 p. 9359304. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2020-December).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 31-36 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. PartF162440).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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. (eds.). Springer, p. 170-185 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11852 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 147-152 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2019-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Modeling and verifying spark on YARN using process algebra
Yin, J., Zhu, H., Fei, Y. & Fang, Y., 22 Mar 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Jiang, C., Yu, D. & Nguyen, V. (eds.). IEEE Computer Society, p. 208-215 8 p. 8673062. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; vol. 2019-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 265-270 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2019-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Verifying opacity of a modified PSTM
Fang, Y., Zhu, H. & Yin, J., Jul 2019, Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 232-239 8 p. 8913906. (Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 259-264 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2019-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access