Li Huang

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 16

Top Topics

Autonomous Systems

Timing Constraints

Formal Verification

Top Venues

Publications

Li Huang, Tian Liang, Eun-Young Kang
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. QRS (2019)
Li Huang, Eun-Young Kang
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. FASE (2019)
Li Huang, Eun-Young Kang
Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. RTSS (2019)
Li Huang, Tian Liang, Eun-Young Kang
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. CoRR (2019)
Li Huang, Eun-Young Kang
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. CoRR (2019)
Li Huang, Tian Liang, Eun-Young Kang
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. ICECCS (2019)
Li Huang, Eun-Young Kang
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems. CoRR (2019)
Eun-Young Kang, Li Huang
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier. CoRR (2018)
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, Li Huang
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. SETTA (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)