Follow
Eun-Young Kang
Title
Cited by
Cited by
Year
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
472013
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
EY Kang, PY Schobbens, P Pettersson
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
372011
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
332019
A vision for behavioural model-driven validation of software product lines
X Devroey, M Cordy, G Perrouin, EY Kang, PY Schobbens, P Heymans, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
322012
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
302017
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
302014
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
302013
Component publications and compositions
N Zhan, EY Kang, Z Liu
Unifying Theories of Programming: Second International Symposium, UTP 2008 …, 2010
282010
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
192013
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
172018
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
162012
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
152018
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
142015
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
132017
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
122016
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
122010
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
112019
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
82021
Managing Duplicate Memberships of Websites: An Approach of Social Network Analysis
EY Kang, KY Kwahk
Journal of Intelligence and Information Systems 17 (1), 153-169, 2011
82011
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems
EY Kang, PY Schobbens
2013 10th IEEE International Conference on Control and Automation (ICCA …, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20