Seguir
Eun-Young Kang
Título
Citado por
Citado por
Año
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
432013
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
362011
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
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
302019
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
292014
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
292013
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
272017
Component publications and compositions
N Zhan, EY Kang, Z Liu
Unifying Theories of Programming: Second International Symposium, UTP 2008 …, 2010
272010
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
182013
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
162018
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
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
152012
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
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
132015
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
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
112016
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
102019
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
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
72021
Composition and refinement of components
Z Liu, E Kang, N Zhan
Post event Proceedings of UTP, 2008
72008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20