Research output

Research output per year 2011 2020

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

Research output per year

Research output per year

Search results

• 2013

  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)
• 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
  98 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