MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. - Junfu Luo; Jiaqi Yin; Huibiao Zhu (PDCAT, 2022)

Trace and Algebraic Semantics for Partial Store Order Memory Model. - Junfu Luo; Lili Xiao; Huibiao Zhu; Ziqing Su (COMPSAC, 2024)