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.

  • 5 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

Research Output 2011 2016

  • 101 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 proceedingConference contribution

Statistical Analysis
Statistical methods
Real-time
Formal Analysis
Energy
69 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 proceedingConference contribution

Open Access
File
Scheduling
Interchanges
Model checking
Brakes
Costs

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 journalArticle

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 proceedingConference contribution

Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes