刘艾
暂无内容
- Ai Liu,,Shaoying Liu.Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages:IEEE Transactions on Software Engineering,2023,49(1):304 - 324
- Ai Liu,,Shaoying Liu,Meng Sun.Probabilistic mediator: A coalgebraic perspective:Journal of Logical and Algebraic Methods in Programming,2022,129:100808
- Ai Liu,,Shun Wang,Luis Soares Barbosa,Meng Sun.Fuzzy Automata as Coalgebras:Mathematics,2021,9(3):272
- Ai Liu,Meng Sun.A Unifying Coalgebraic Semantics Framework for Quantum Systems:International Journal of Software Engineering and Knowledge Engineering,2021,31(3):381-403
- Ai Liu,Meng Sun.A Coalgebraic Semantics Framework for Quantum Systems:Proceedings of ICFEM 2019
1.北京大学,数学科学学院,2024.3.20:Applied Mathematics Seminar——基于测试的形式验证:理论扩展与应用探索
Guest Editor: Complex Engineering Systems, Topic: Advancements in Formal Methods for System Development (oaepublish.com)
PC Member: FPDRE 2024 (at the QRS 2024 conference), MLiSE 2021 (at the ECML PKDD 2021
conference)
Workshop/Tutorial Chair: ICECCS 2022
PC Co-chair: SOFL+MSVL 2022 (at the ICFEM 2022 conference)
Review Editor: Frontiers in Computer Science
(Sub)-Reviewer of Journals: IEEE Transactions on Reliability, Frontiers of Computer Science, International Journal of Software Engineering and Knowledge Engineering, Science of Computer Programming
(Sub)-Reviewer of Conferences: TASE, ISSRE, SEKE
Reviewer of Doctoral Thesis:Annamalai University