Yintan Ai

According to our database, Yintan Ai authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

SPV: Formal Verification of Stateful Parallel SFC Correctness.

Yijun Guo, Zhenyu Liu, Yintan Ai, Hua Li

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2022

Design and Implementation of SFC Monitoring and Alerting Based on YANG Data Model.

Yaru Ding, Yintan Ai, Xiaomin Zhang, Hua Li, Xianrong Wang, Hongwei Ruan

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

The Design and Specification of Path Adjustable SFC Using YANG Data Model.

Yintan Ai, Hua Li, Xianrong Wang, Jiafeng Wang, Yaru Ding

Proceedings of the IEEE Symposium on Computers and Communications, 2022

Integrated Construction of Service Function Chain and Business System Based on Colored Petri Net.

Yintan Ai, Yajun Cui, Zhenyu Liu, Xiaomin Zhang, Hua Li, Xianrong Wang

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022