Language : 中文
李冉
442
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
MOBILE Version

  • Personal Information

    Lecturer (higher education)
    Gender:Female
    Education Level:With Certificate of Graduation for Doctorate Study
    Degree:Doctoral Degree in Engineering
    Status:在岗
    School/Department:软件学院
    Date of Employment:2023-06-25
    Business Address:临江楼A1004
    Contact Information:rli@nuist.edu.cn
    Alma Mater:华东师范大学

  • Profile

    李冉，江苏连云港人，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


  • Research Field

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

  • Social Affiliations

    No Content

  • Education Background

    [1]  2018.9- 2023.6
    华东师范大学 | Software Engineering | 博士 | 工学博士
    [2]  2014.9- 2018.6
    华东师范大学 | Software Engineering | 本科 | 工学学士

  • Work Experience

    [1]  2023.6- Now
    南京信息工程大学 | 软件学院

  • Research Group

    No Content

  • Other Contact Information

    No Content