Eun-Young KANG

Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Eun-Young KANG is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

1 Active
3 Finished

CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.
1/10/99 → …
Project: Research
VEREV: Verification of recursive, evolutive, real-time software
SCHOBBENS, P. & KANG, E.
1/02/11 → 31/01/12
Project: Research
VLPL: Software Product Lines Verification
HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
TPA: Theory and Practice of Automata and Logics
SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.
1/01/11 → 31/12/14
Project: Research

114 Citations
7 h-Index
10 Conference contribution
4 Other contribution
1 Chapter
1 Article

InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Kang, E. Y. & Schobbens, P. Y., Jun 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow
Kang, E. Y., Chen, J., Ke, L. & Chen, S., 19 Oct 2016, Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016. Institute of Electrical and Electronics Engineers Inc., p. 1328-1333 6 p. 7603790
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Schedulability analysis support for automotive systems: From requirement to implementation
Kang, E-Y. & Schobbens, P. Y., 24 Mar 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File
91 Downloads (Pure)
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E-Y. & Schobbens, P., 2013
Research output: Other contribution

File

57 Downloads (Pure)
A methodology for formal analysis and verification of EAST-ADL models
Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.
Research output: Contribution to journal › Article › peer-review