Dongrui Mu

According to our database, Dongrui Mu authored at least 7 papers between 2017 and 2018.

Collaborative distances:

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

2018

Probabilistic Analysis of Weakly-Hard Real-Time Systems.

Eun-Young Kang, Dongrui Mu, Li Huang

CoRR, 2018

Model-based Verification and Validation of an Autonomous Vehicle System.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

CoRR, 2018

Formal Analysis of Non-functional Properties for a Cooperative Automotive System.

Eun-Young Kang, Li Huang, Dongrui Mu

CoRR, 2018

Formal verification of energy and timed requirements for a cooperative automotive system.

Eun-Young Kang, Li Huang, Dongrui Mu

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.

Eun-Young Kang, Dongrui Mu, Li Huang

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Verification and Validation of a Cyber-Physical System in the Automotive Domain.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017