2023
Automatic modelling and verification of Autosar architectures.
[DOI]
Miaomiao Zhang
,
Yu Teng
,
Hui Kong
,
John W. Baugh Jr.
,
Yu Su
,
Junri Mi
,
Bowen Du
J. Syst. Softw., July, 2023

Learning Assumptions for Compositional Verification of Timed Automata.
[DOI]
Hanyue Chen
,
Yu Su
,
Miaomiao Zhang
,
Zhiming Liu
,
Junri Mi
Proceedings of the Computer Aided Verification - 35th International Conference, 2023