Li Huang

Li Huang

Sun Yat Sen University - Guangzhou / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4573579
太阳森大学
person_outline Li Huang's MOST POPULAR ARTICLES
1-) Formal verification of safety & security related timing constraints for a cooperative automotive systemL Huang, EY KangFundamental Approaches to Software Engineering: 22nd International …, 2019272019
2-) Verification and validation of a cyber-physical system in the automotive domainEY Kang, D Mu, L Huang, Q Lan2017 IEEE International Conference on Software Quality, Reliability and …, 2017272017
3-) Formal verification of energy and timed requirements for a cooperative automotive systemEY Kang, L Huang, D MuProceedings of the 33rd annual acm symposium on applied computing, 1492-1499, 2018162018
4-) Probabilistic verification of timing constraints in automotive systems using UPPAAL-SMCEY Kang, D Mu, L HuangIntegrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018162018
5-) Model-based analysis of timing and energy constraints in an autonomous vehicle systemEY Kang, D Mu, L Huang, Q Lan2017 IEEE International Conference on Software Quality, Reliability and …, 2017142017