Learning Assumptions for Compositional Verification of Timed Automata. - Hanyue Chen; Yu Su; Miaomiao Zhang 003; Zhiming Liu 001; Junri Mi (CAV (1), 2023)

Automatic modelling and verification of Autosar architectures. - Miaomiao Zhang 003; Yu Teng; Hui Kong 007; John W. Baugh Jr.; Yu Su; Junri Mi; Bowen Du 002 (J. Syst. Softw., 2023)