Verification and Validation of a Cyber-Physical System in the Automotive Domain. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (QRS Companion, 2017)

Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (QRS Companion, 2017)

Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001 (IFM, 2018)

Formal verification of energy and timed requirements for a cooperative automotive system. - Eun-Young Kang 001; Li Huang 001; Dongrui Mu (SAC, 2018)

Formal Analysis of Non-functional Properties for a Cooperative Automotive System. - Eun-Young Kang 001; Li Huang 001; Dongrui Mu (CoRR, 2018)

Model-based Verification and Validation of an Autonomous Vehicle System. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (CoRR, 2018)

Probabilistic Analysis of Weakly-Hard Real-Time Systems. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001 (CoRR, 2018)