| A methodology for formal analysis and verification of EAST-ADL models EY Kang, EP Enoiu, R Marinescu, C Seceleanu, PY Schobbens, ... Reliability Engineering & System Safety 120, 127-138, 2013 | 49 | 2013 |
| Formal verification of safety & security related timing constraints for a cooperative automotive system L Huang, EY Kang International Conference on Fundamental Approaches to Software Engineering …, 2019 | 41 | 2019 |
| Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT EY Kang, PY Schobbens, P Pettersson International Conference on Computer Safety, Reliability, and Security, 243-256, 2011 | 39 | 2011 |
| 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 | 36 | 2017 |
| Formal modeling and verification of SDN-OpenFlow M Kang, EY Kang, DY Hwang, BJ Kim, KH Nam, MK Shin, JY Choi 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 34 | 2013 |
| A vision for behavioural model-driven validation of software product lines X Devroey, M Cordy, G Perrouin, EY Kang, PY Schobbens, P Heymans, ... International Symposium On Leveraging Applications of Formal Methods …, 2012 | 33 | 2012 |
| Schedulability analysis support for automotive systems: from requirement to implementation EY Kang, PY Schobbens Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1080-1085, 2014 | 29 | 2014 |
| Component publications and compositions N Zhan, EY Kang, Z Liu International Symposium on Unifying Theories of Programming, 238-257, 2008 | 29 | 2008 |
| 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 | 22 | 2018 |
| Model-based verification of energy-aware real-time automotive systems EY Kang, G Perrouin, PY Schobbens 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 20 | 2013 |
| 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 | 18 | 2018 |
| Towards formal energy and time aware behaviors in east-adl: An mde approach EY Kang, G Perrouin, PY Schobbens 2012 12th International Conference on Quality Software, 124-127, 2012 | 16 | 2012 |
| 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 | 15 | 2017 |
| Verifying automotive systems in EAST-ADL/Stateflow using UPPAAL EY Kang, L Ke, MZ Hua, YX Wang 2015 Asia-Pacific Software Engineering Conference (APSEC), 143-150, 2015 | 15 | 2015 |
| A research setup demonstrating flexible industry 4.0 production SC Jepsen, T Worm, A Johansen, S Lazarova-Molnar, MB Kjærgaard, ... 2021 International Symposium ELMAR, 143-150, 2021 | 14 | 2021 |
| 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 | 13 | 2019 |
| Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow EY Kang, J Chen, L Ke, S Chen 2016 IEEE 11th Conference on Industrial Electronics and Applications (ICIEA …, 2016 | 13 | 2016 |
| A comparison of word recognition skills between elementary students with reading disabilities and students without disabilities: focusing on word recognition performance and … AH Kim, EY Kang Communication Sciences & Disorders 15 (4), 632-647, 2010 | 12 | 2010 |
| Towards energy-aware cyber-physical systems verification and optimization R Soltani, EY Kang, JEH Mena 16th Conference on Computer Science and Intelligence Systems, FedCSIS 2021 …, 2021 | 9 | 2021 |
| A Mapping Analysis of Requirements Between the CRA and the GDPR J Ruohonen, K Hjerppe, EY Kang arXiv preprint arXiv:2503.01816, 2025 | 8 | 2025 |
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
