Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. - Sini Chen; Huibiao Zhu; Ran Li; Lili Xiao; Jiapeng Wang 004; Ning Ge 002; Xinbin Cao (ICTAC, 2024)

Verification of Scapegoat Trees Using Dafny. - Jiapeng Wang 004; Sini Chen; Huibiao Zhu (NFM, 2024)