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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

  • 97 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
64 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