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)

Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. - Eun-Young Kang 001; Li Huang 001 (SETTA, 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)

Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier. - Eun-Young Kang 001; Li Huang 001 (CoRR, 2018)

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

Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. - Li Huang 001; Eun-Young Kang 001 (FASE, 2019)

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. - Li Huang 001; Tian Liang; Eun-Young Kang 001 (ICECCS, 2019)

Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. - Li Huang 001; Tian Liang; Eun-Young Kang 001 (QRS, 2019)

Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. - Li Huang 001; Eun-Young Kang 001 (RTSS, 2019)

SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems. - Li Huang 001; Eun-Young Kang 001 (CoRR, 2019)

Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. - Li Huang 001; Eun-Young Kang 001 (CoRR, 2019)

Improving Counterexample Quality from Failed Program Verification. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (ISSRE Workshops, 2022)

Lessons from Formally Verified Deployed Software Systems. - Li Huang 001; Sophie Ebersold; Alexander Kogtenkov; Alexandr Naumchev; Bertrand Meyer 001; Yinling Liu; ALiyu Alege (CoRR, 2023)

A failed proof can yield a useful test. - Li Huang 001; Bertrand Meyer 001 (Softw. Test. Verification Reliab., 2023)

BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community. - Bertrand Meyer 001; Viktoryia Kananchuk; Li Huang 001 (APR, 2024)

Execution-Free Program Repair. - Li Huang 001; Bertrand Meyer 001; Ilgiz Mustafin; Manuel Oriol (SIGSOFT FSE Companion, 2024)

Is MCDC Really Better? Lessons from Combining Tests and Proofs. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (TAP, 2024)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community. - Bertrand Meyer 001; Viktoryia Kananchuk; Li Huang 001 (CoRR, 2024)

Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites. - Li Huang 001; Bertrand Meyer 001; Manuel Oriol (SN Comput. Sci., 2025)

Loop unrolling: formal definition and application to testing. - Li Huang 001; Bertrand Meyer 001; Reto Weber (CoRR, 2025)

Do AI models help produce verified bug fixes? - Li Huang 001; Ilgiz Mustafin; Marco Piccioni; Alessandro Schena; Reto Weber; Bertrand Meyer 001 (CoRR, 2025)