Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. - Sirui Liu 006; Wei Dong 006; Tiecheng Ma; Yanqi Dong; Dong Yang (SETSS, 2024)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis. - Dong Yang; Wei Dong 006; Wei Lu; Yanqi Dong; Sirui Liu 006 (CoRR, 2024)

MUATC: Multi-Agent Utilization to Augment Test Coverage. - Tiecheng Ma; Sirui Liu 006; Wei Dong 006; Jiaxin Liu; Yating Zhang (APSEC, 2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis. - Dong Yang; Wei Dong 006; Wei Lu; Yanqi Dong; Sirui Liu 006; Yijie Zheng (ICRCA, 2025)

Accelerating Kind Realizability: A Multi-stage Incremental Realizability Checking Framework. - Sirui Liu 006; Wei Dong 006 (FM (1), 2026)