| Formal verification of safety & security related timing constraints for a cooperative automotive system L Huang, EY Kang Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 36 | 2019 |
| Verification and validation of a cyber-physical system in the automotive domain EY Kang, D Mu, L Huang, Q Lan 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 32 | 2017 |
| Formal verification of energy and timed requirements for a cooperative automotive system EY Kang, L Huang, D Mu Proceedings of the 33rd annual acm symposium on applied computing, 1492-1499, 2018 | 19 | 2018 |
| Probabilistic verification of timing constraints in automotive systems using UPPAAL-SMC EY Kang, D Mu, L Huang Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 16 | 2018 |
| Model-based analysis of timing and energy constraints in an autonomous vehicle system EY Kang, D Mu, L Huang, Q Lan 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 14 | 2017 |
| Cooperator or supporter: how can cross-boundary Macau–Zhuhai metropolis promote regional tourism together? X Song, Z Mo, MT Liu, B Niu, L Huang Asia Pacific Journal of Marketing and Logistics 34 (10), 2207-2236, 2022 | 12 | 2022 |
| Tool-supported analysis of dynamic and stochastic behaviors in cyber-physical systems L Huang, T Liang, EY Kang 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 12 | 2019 |
| Backfires on firms' intangible assets of the casino industry in Macau and Las Vegas: investigating advertising expenditure L Huang, MT Liu Asia Pacific Journal of Marketing and Logistics 34 (9), 1956-1975, 2022 | 10 | 2022 |
| A method of customer valuation score and implementation for marketing strategy L Huang, MT Liu, X Song, J Yen Asia Pacific Journal of Marketing and Logistics 35 (2), 344-363, 2023 | 7 | 2023 |
| Photodegradation of rhodamine B dye using a microwave electrodeless UV lamp (MWUVL) D Gu, L Huang, C Shao, H Fang, R Zhang, H Hou Frontiers of Chemistry in China 2, 436-441, 2007 | 7 | 2007 |
| Marketing placebo effect on consumption of reduced-sugar labeled products L Huang, X Song, MT Liu Asia Pacific Journal of Marketing and Logistics 36 (1), 148-166, 2023 | 6 | 2023 |
| Model-based Verification and Validation of an Autonomous Vehicle System EY Kang, D Mu, L Huang, Q Lan arXiv preprint arXiv:1803.06103, 2018 | 6 | 2018 |
| Probabilistic analysis of timing constraints in autonomous automotive systems using simulink design verifier EY Kang, L Huang Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018 | 6 | 2018 |
| Formal verification of dynamic and stochastic behaviors for automotive systems L Huang, T Liang, EY Kang 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 5 | 2019 |
| Formal specification & analysis of autonomous systems in PrCCSL/Simulink Design Verifier EY Kang, L Huang arXiv preprint arXiv:1806.07702, 2018 | 5 | 2018 |
| Placebo effect in food marketing: young consumers' perception of food healthiness and tastiness in reduced-sugar labeling L Huang, X Song, MT Liu, W Chang, GJ Shi Asia Pacific Journal of Marketing and Logistics, 2024 | 3 | 2024 |
| A failed proof can yield a useful test L Huang, B Meyer Software Testing, Verification and Reliability 33 (7), e1859, 2023 | 3 | 2023 |
| Improving counterexample quality from failed program verification L Huang, B Meyer, M Oriol 2022 IEEE International Symposium on Software Reliability Engineering …, 2022 | 2 | 2022 |
| Model-based Verification and Validation of an Autonomous Vehicle System: Simulation and Statistical Model Checking EY Kang12, D Mu, L Huang, Q Lan arXiv preprint arXiv:1803.06103, 2018 | 2 | 2018 |
| Seeding contradiction: a fast method for generating full-coverage test suites L Huang, B Meyer, M Oriol SN Computer Science 6 (1), 1-16, 2025 | 1 | 2025 |
Eun-Young KangUniversity of Southern DenmarkVerified email at mmmi.sdu.dk