Dongrui Mu

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 7

Top Topics

Automotive Industry

Formal Analysis

Top Venues

Publications

Eun-Young Kang, Dongrui Mu, Li Huang
Probabilistic Analysis of Weakly-Hard Real-Time Systems. CoRR (2018)
Eun-Young Kang, Li Huang, Dongrui Mu
Formal Analysis of Non-functional Properties for a Cooperative Automotive System. CoRR (2018)
Eun-Young Kang, Dongrui Mu, Li Huang
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. IFM (2018)
Eun-Young Kang, Li Huang, Dongrui Mu
Formal verification of energy and timed requirements for a cooperative automotive system. SAC (2018)
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
Model-based Verification and Validation of an Autonomous Vehicle System. CoRR (2018)
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. QRS Companion (2017)
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
Verification and Validation of a Cyber-Physical System in the Automotive Domain. QRS Companion (2017)