个人简介

李冉，江苏连云港人，2018年6月获华东师范大学软件工程专业学士学位，2023年6月获华东师范大学软件工程专业博士学位（硕博连读）。目前主要研究方向为形式化方法、可信计算、形式化建模与验证、信息物理融合系统等。

论文

[c9] Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge and Xinbin Cao: Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. ICTAC 2024

[c8] Jiawen Weng, Zeke Xia, Ran Li, Ming Hu and Mingsong Chen. FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation. SEKE 2024

[j5] Ran Li, Huibiao Zhu, Richard Banach: An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency. J. Log. Algebraic Methods Program.139: 100973 (2024)

[j4] Sini Chen, Ran Li, Huibiao Zhu: Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. 34(2): 301-330 (2024)

[j3] Ran Li, Huibiao Zhu, Richard Banach: Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things 23: 100864 (2023)

[j2] Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh: Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. 27(5): 2049-2067 (2022)

[c7] Ran Li, Huibiao Zhu, Richard Banach: A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM 2022: 244-262

[c6] Ran Li, Huibiao Zhu, Richard Banach: Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA 2022: 127-133

[c5] Ran Li, Huibiao Zhu, Richard Banach: Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS 2022: 123-132

[j1] Ran Li, Huibiao Zhu, Jiaqi Yin: Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. 104-D(12): 2154-2163 (2021)

[c4] Sini Chen, Ran Li, Huibiao Zhu: Formalization and Verification of Group Communication CoAP Using CSP. PDCAT 2021: 616-628

[c3] Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li: Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP.ISPA/BDCloud/SocialCom/SustainCom 2021: 845-852

[c2] Ran Li, Jiaqi Yin, Huibiao Zhu: Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom 2020: 79-86

[c1] Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu: Formalization and Verification of VANET. SEKE 2020: 1-6

教育经历

[1] 2018.9- 2023.6

华东师范大学 | 软件工程 | 工学博士 | 博士

[2] 2014.9- 2018.6

华东师范大学 | 软件工程 | 工学学士 | 本科

工作经历

[1] 2023.6- 至今

南京信息工程大学 | 软件学院

社会兼职

暂无内容

研究方向

[1] 形式化方法、可信计算、形式语义、形式化建模与验证

其他联系方式

暂无内容

团队成员