| 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 | 34 | 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 | 30 | 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 | 18 | 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 | 15 | 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 |
| 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 |
| 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 |
| 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 IFIP International Conference on Testing Software and Systems, 52-70, 2023 | 1 | 2023 |
| Lessons from Formally Verified Deployed Software Systems (Extended version) L Huang, S Ebersold, A Kogtenkov, B Meyer, Y Liu arXiv preprint arXiv:2301.02206, 2023 | 1 | 2023 |
| Probabilistic analysis of weakly-hard real-time systems EY Kang, D Mu, L Huang arXiv preprint arXiv:1807.00003, 2018 | 1 | 2018 |
| Formal Analysis of Non-functional Properties for a Cooperative Automotive System EY Kang, L Huang, D Mu arXiv preprint arXiv:1803.06075, 2018 | 1 | 2018 |
| Is MCDC Really Better? Lessons from Combining Tests and Proofs L Huang, B Meyer, M Oriol International Conference on Tests and Proofs, 25-44, 2024 | | 2024 |
| Execution-Free Program Repair L Huang, B Meyer, I Mustafin, M Oriol Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | | 2024 |
| BUGFIX: towards a common language and framework for the Automatic Program Repair community B Meyer, V Kananchuk, L Huang Proceedings of the 5th ACM/IEEE International Workshop on Automated Program …, 2024 | | 2024 |
Eun-Young KangUniversity of Southern DenmarkVerified email at mmmi.sdu.dk
