Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sirui Liu
conf.researchr.org general profile
APSEC 2025 profile
FM 2026 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 28 Oct 2024
Name:
Sirui Liu
Contributions
2026
SPLASH
Author of Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse within the OOPSLA-track
FM
Author of Accelerating Kind Realizability: A Multi-Stage Incremental Realizability Checking Framework within the Research Track-track
2025
APSEC
Author of MUATC: Multi-Agent Utilization to Augment Test Coverage within the Technical Track-track
Share
x
Mon 11 May 18:32