Personal profile
Current external positions
Collaborateur Scientifique, University of Namur
Keywords
- Software Methodology
- Software Engineering
- Software Quality Assurance
- Safety-critical systems
- Verification & Validation
- Cyber-Physical Systems
- Energy-aware Real-Timed Embedded Systems
- Model-Driven Design & Implementation
- Component-based Development and Re-use
- Programming Languages And formal Models
- Safety & Security
- Model-Checking
- SMT/SAT-Solver
- Computer Aided Design, Modeling, Analysis and Simulation
- Dependability & Reliability of Embedded Software
Fingerprint
- 1 Similar Researchers
-
Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection Attacks
Hasrat, I. R., Abdullahi, S. M. & Kang, E. Y., 2026, Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings. Törngren, M., Gallina, B., Schoitsch, E., Troubitsyna, E. & Bitsch, F. (eds.). Springer Science+Business Media, p. 327-339 (Lecture Notes in Computer Science, Vol. 15955 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Software Liability Came to Europe
Ruohonen, J. & Kang, E.-Y., 30. Jan 2026, In: IEEE Security & Privacy. 24, 1, p. 61-64 4 p.Research output: Contribution to journal › Comment/debate › Communication
-
A Mapping Analysis of Requirements Between the CRA and the GDPR
Ruohonen, J., Hjerppe, K. & Kang, E.-Y., Sept 2025, 2025 IEEE 33rd International Requirements Engineering Conference Workshops (REW). IEEE, p. 215-222 (Proceedings - IEEE International Requirements Engineering Conference Workshops (REW)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile20 Downloads (Pure) -
An Alignment Between the CRA's Essential Requirements and the ATT&CK©'s Mitigations
Ruohonen, J., Kang, E.-Y. & Ramadan, Q., 13. Oct 2025, 2025 IEEE 33rd International Requirements Engineering Conference Workshops (REW). IEEE, p. 209-214 (Proceedings - IEEE International Requirements Engineering Conference Workshops (REW)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile33 Downloads (Pure) -
Formal Verification and Fault Detection Optimization of Industrial Drive Systems
Hasrat, I. R., Kang, E. Y. & Graulund, C. U., 2025, 2025 9th International Conference on System Reliability and Safety, ICSRS 2025. IEEE, p. 249-256 8 p. (2025 9th International Conference on System Reliability and Safety, ICSRS 2025).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
The 23rd International Conference on Formal Engineering Methods (Event)
Kang, E.-Y. (Member)
2022 → …Activity: Membership › Membership of review committee
-
The 37th ACM/SIGAPP Symposium On Applied Computing (Event)
Kang, E.-Y. (Member)
2022 → …Activity: Membership › Membership of review committee
-
Theoretical Computer Science (Journal)
Kang, E.-Y. (Peer reviewer)
2021 → …Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
17th International Colloquium on Theoretical Aspects of Computing (Event)
Kang, E.-Y. (Member)
Mar 2020 → …Activity: Membership › Membership of review committee
-
The 2020 IEEE Intelligent Vehicles Symposium (Event)
Kang, E.-Y. (Peer reviewer)
13. Feb 2020 → 22. Mar 2020Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
SECUREAM: Advancing Cybersecurity in Additive Manufacturing
Kang, E.-Y. (PI), Lybech, S. (Project participant), Ruohonen, J. (Project participant) & Morita, H. (Project participant)
01/10/2025 → 01/10/2027
Project: Research
-
AI-Safe Robots: AI-Safe CPS & Industrial Robots
Kang, E.-Y. (PI)
01/08/2025 → 31/12/2026
Project: Research
-
ASSA: Automated safety and security assessments in Cyber-Physical Systems with IoT features
Kang, E.-Y. (PI), Campusano Araya, M. E. (Project participant), Hack , S. (Project participant) & Choudhary, G. (Project participant)
01/09/2023 → 30/06/2024
Project: Industry
-
EF-CPS: Error-Free Cyber-Physical Systems within an Industry 4.0 Platform
Kang, E.-Y. (PI)
01/03/2021 → 29/02/2024
Project: PhD Project
Prizes
-
Research Grant: National Natural Science Foundation of China - The Research Fund for International Young Talented Scientists.
Kang, E.-Y. (Recipient), 2016
Prize: Prizes, scholarships, distinctions
-
Research Grant: Principle Investigator
Kang, E.-Y. (Recipient), 2015
Prize: Prizes, scholarships, distinctions
-
Research Grant: National Science Research Foundation of Korea
Kang, E.-Y. (Recipient), 2013
Prize: Prizes, scholarships, distinctions
-
Research Grant: Fonds de la Recherche Scientifique - FNRS
Kang, E.-Y. (Recipient), 2012
Prize: Prizes, scholarships, distinctions
-
Post Doc Scholarship: CERUNA, MoVES EU Project.
Kang, E.-Y. (Recipient), 2011
Prize: Prizes, scholarships, distinctions