Research output per year
Research output per year
Personal profile
External positions
Collaborateur Scientifique, University of Namur
Research areas
- 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
Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
- 1 Similar Profiles
-
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation
Kang, E. Y. & Hacks, S., 2023, 2023 12th Mediterranean Conference on Embedded Computing (MECO). IEEE, 8 p. (Mediterranean Conference on Embedded Computing, MECO ).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System
Kang, E. Y., Brix, M., Szenczi, D., Kovats, A., Formosa, R., Melsen, C. W. & Norgard, M. A., 2022, 2022 6th International Conference on System Reliability and Safety, ICSRS 2022. IEEE, p. 251-258 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Towards Model Driven Safety and Security by Design
Campusano, M., Hacks, S. & Kang, E. Y., 6. Dec 2022, Proceedings of the 10th International Workshop on Quantitative Approaches to Software Quality . CEUR Workshop Proceedings, Vol. 3330. p. 34-41 (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile2 Downloads (Pure) -
A Research Setup Demonstrating Flexible Industry 4.0 Production
Jepsen, S. C., Worm, T., Johansen, A., Lazarova-Molnar, S., Kjargaard, M. B., Kang, E. Y., Friederich, J., Heredia Mena, J. E., Soltani, R., Sorensen, S. L. & Hjort Schwee, J., 13. Sept 2021, 2021 International Symposium ELMAR. Mustra, M., Vukovic, J. & Zovko-Cihlar, B. (eds.). IEEE, p. 143-150 (Proceedings Elmar - International Symposium Electronics in Marine, Vol. 2021-September).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Towards Energy-aware Cyber-Physical Systems Verification and Optimization
Soltani, R., Kang, E-Y. & Heredia Mena, J. E., 2021, Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems. Polish Information Processing Society, Vol. 26. p. 205-210 (Annals of Computer Science and Information Systems, Vol. 26).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile9 Downloads (Pure)
-
The 23rd International Conference on Formal Engineering Methods (Event)
Eun-Young Kang (Member)
2022 → …Activity: Membership › Membership of review committee
-
The 37th ACM/SIGAPP Symposium On Applied Computing (Event)
Eun-Young Kang (Member)
2022 → …Activity: Membership › Membership of review committee
-
Theoretical Computer Science (Journal)
Eun-Young Kang (Peer reviewer)
2021 → …Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
17th International Colloquium on Theoretical Aspects of Computing (Event)
Eun-Young Kang (Member)
Mar 2020 → …Activity: Membership › Membership of review committee
-
The 2020 IEEE Intelligent Vehicles Symposium (Event)
Eun-Young Kang (Peer reviewer)
13. Feb 2020 → 22. Mar 2020Activity: Editorial work and peer review › Peer review of manuscripts › Research
Prizes
-
Research Grant: National Natural Science Foundation of China - The Research Fund for International Young Talented Scientists.
Kang, Eun-Young (Recipient), 2016
Prize: Prizes, scholarships, distinctions
-
Research Grant: Principle Investigator
Kang, Eun-Young (Recipient), 2015
Prize: Prizes, scholarships, distinctions
-
Research Grant: National Science Research Foundation of Korea
Kang, Eun-Young (Recipient), 2013
Prize: Prizes, scholarships, distinctions
-
Research Grant: Fonds de la Recherche Scientifique - FNRS
Kang, Eun-Young (Recipient), 2012
Prize: Prizes, scholarships, distinctions
-
Post Doc Scholarship: CERUNA, MoVES EU Project.
Kang, Eun-Young (Recipient), 2011
Prize: Prizes, scholarships, distinctions