Sirui Liu

Orcid: 0009-0005-4708-914X

Affiliations:

National University of Defense Technology, College of Computer Science and Technology, Changsha, Hunan, China

According to our database¹, Sirui Liu authored at least 5 papers between 2024 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Accelerating Kind Realizability: A Multi-stage Incremental Realizability Checking Framework.

[BibT_eX]

[DOI]

Sirui Liu

Wei Dong

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Robotics, Control and Automation, 2025

MUATC: Multi-Agent Utilization to Augment Test Coverage.

[BibT_eX]

[DOI]

Proceedings of the 32nd Asia-Pacific Software Engineering Conference, 2025

2024

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis.

[BibT_eX]

[DOI]

CoRR, 2024

Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - 6th International School, 2024

Sirui Liu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...