A Contract-Based Semantics and Refinement for Simulink. - Quan Sun; Wei Zhang 305; Chao Wang 069; Zhiming Liu 001 (SETTA, 2022)

Towards correctness proof for hybrid Simulink block diagrams. - Wei Zhang 305; Quan Sun; Chao Wang 069; Zhiming Liu 001 (J. Syst. Archit., 2023)

A contract-based semantics and refinement for hybrid Simulink block diagrams. - Quan Sun; Wei Zhang 305; Chao Wang 069; Zhiming Liu 001 (J. Syst. Archit., 2023)

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS. - Quan Sun; David N. Jansen; Xinxin Liu 012; Wei Zhang 305 (Formal Aspects Comput., 2023)