Dongrui Mu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2018
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IFM | Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. | Eun-Young Kang, Dongrui Mu, Li Huang |
| 2018 | SAC | Formal verification of energy and timed requirements for a cooperative automotive system. | Eun-Young Kang, Li Huang, Dongrui Mu |
| 2017 | QRS | Verification and Validation of a Cyber-Physical System in the Automotive Domain. | Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan |
| 2017 | QRS | Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. | Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan |