Photo of Eun-Young KANG

View Scopus Profile

Eun-Young KANG

  • 108 Citations
  • 7 h-Index
19992016
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.

  • 7 Similar Profiles
Real time systems Engineering & Materials Science
Model checking Engineering & Materials Science
Brakes Engineering & Materials Science
Telecommunication systems Engineering & Materials Science
Semantics Engineering & Materials Science
Embedded systems Engineering & Materials Science
Wire Engineering & Materials Science
Formal Analysis Mathematics

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

Projects 1999 2014

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 2011 2016

  • 108 Citations
  • 7 h-Index
  • 9 Conference contribution
  • 4 Other contribution
  • 1 Chapter
  • 1 Article

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

Statistical Analysis
Statistical methods
Real-time
Formal Analysis
Energy
71 Downloads (Pure)

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
Scheduling
Interchanges
Model checking
Brakes
Costs

Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties

Kang, E-Y. & Schobbens, P., 2013

Research output: Other contribution

File

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

Formal Analysis
Formal Verification
Methodology
Timing
Requirements

Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, Simulation Series. Vol. 45. p. 62-69 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes