Photo of Eun-Young KANG

View Scopus Profile

Eun-Young KANG

  • Belgium

  • 113 Citations
  • 7 h-Index
19992020

Research output per year

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

Research Output

  • 113 Citations
  • 7 h-Index
  • 10 Conference contribution
  • 4 Other contribution
  • 1 Chapter
  • 1 Article
Filter
Other contribution
2013

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)
2012

XFG Language and its Profile for Modeling and Analysis of Energy-Aware Real-Time Behaviors

Kang, E-Y., Perrouin, G. & Schobbens, P., 2012, (Unpublished)

Research output: Other contribution

File
100 Downloads (Pure)
2011

A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Kang, E-Y., 2011, (Unpublished)

Research output: Other contribution

A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems

Kang, E-Y., Schobbens, P-Y. & Legay, A., 2011, (Unpublished)

Research output: Other contribution