Yixiao Lv

According to our database, Yixiao Lv authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system.

Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu

Softw. Qual. J., September, 2024

2023

Formalization and Verification of the ICC Mechanism in Android System Using CSP.

Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023