Items where Author is "Cheng, Yumeng"
 | Up a level |
Article
Yu, Wangyang and Guo, Qi and Cheng, Yumeng and Liu, Lu and Hao, Fei and Zhai, Xiaojun and Chen, Minsi (2025) Formal Modeling and Reliability Analysis of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System. Transactions on Embedded Computing Systems, 24 (3). pp. 1-21. DOI https://doi.org/10.1145/3715960
Yu, Wangyang and Cheng, Yumeng and Fang, Xianwen and Zhai, Xiaojun and Wang, Yinglong and Jing, Hongyuan (2025) Modeling and Risk Analysis of Cooperative Adaptive Cruise Control Systems Based on Petri Nets and Distributed Edge Intelligence. IEEE Internet of Things Journal. DOI https://doi.org/10.1109/jiot.2025.3546701
Yu, Wangyang and Feng, Jie and Liu, Lu and Zhai, Xiaojun and Cheng, Yumeng (2024) Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection. Future Generation Computer Systems, 158. pp. 210-218. DOI https://doi.org/10.1016/j.future.2024.04.035
Conference or Workshop Item
Cheng, Yumeng and Yu, Wangyang and Zhai, Xiaojun and Hao, Fei and Liu, Yuan (2024) Grading and Calculation of Synchronic Distance in Petri Nets for Trustworthy Modeling and analyzing. In: The 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 2023-11-01 - 2023-11-03, Exeter.