Photo of Eun-Young KANG

View Scopus Profile

Eun-Young KANG

  • Belgium

  • 112 Citations
  • 7 h-Index
19992020

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.

  • 3 Similar Profiles

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

Projects

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

Research Output

  • 112 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
    • 79 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
    55 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