Junri Mi

According to our database, Junri Mi authored at least 2 papers in 2023.

Collaborative distances:

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

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