| 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 | 30 | 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 | 27 | 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 | 16 | 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 | 13 | 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 | 10 | 2019 |
| 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 specification & analysis of autonomous systems in PrCCSL/Simulink Design Verifier EY Kang, L Huang arXiv preprint arXiv:1806.07702, 2018 | 5 | 2018 |
| Model-based Verification and Validation of an Autonomous Vehicle System EY Kang, D Mu, L Huang, Q Lan arXiv preprint arXiv:1803.06103, 2018 | 5 | 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 | 4 | 2019 |
| A failed proof can yield a useful test L Huang, B Meyer Software Testing, Verification and Reliability 33 (7), e1859, 2023 | 2 | 2023 |
| Model-based Verification and Validation of an Autonomous Vehicle System: Simulation and Statistical Model Checking EY Kang, D Mu, L Huang, Q Lan arXiv preprint arXiv:1803.06103, 2018 | 2 | 2018 |
| 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 |
| Improving counterexample quality from failed program verification L Huang, B Meyer, M Oriol 2022 IEEE International Symposium on Software Reliability Engineering …, 2022 | 1 | 2022 |
| 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 |
| 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 | | 2023 |
| Lessons from Formally Verified Deployed Software Systems. L Huang, S Ebersold, A Kogtenkov, A Naumchev, B Meyer, Y Liu, ... CoRR, 2023 | | 2023 |
| Work-in-progress: Formal analysis of hybrid-dynamic timing behaviors in cyber-physical systems L Huang, EY Kang 2019 IEEE Real-Time Systems Symposium (RTSS), 580-583, 2019 | | 2019 |
| Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems L Huang, EY Kang arXiv preprint arXiv:1910.14306, 2019 | | 2019 |
Eun-Young KangUniversity of Southern DenmarkAdresă de e-mail confirmată pe mmmi.sdu.dk
