Junri Mi

According to our database, Junri Mi authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Active learning of deterministic timed automata via timed classification tree.

Yu Teng, Hanyue Chen, Junri Mi, Miaomiao Zhang, Jie An, Naijun Zhan

Sci. China Inf. Sci., 2025

2023

Automatic modelling and verification of Autosar architectures.

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.

Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi

Proceedings of the Computer Aided Verification - 35th International Conference, 2023