• 112 Citations
  • 7 h-Index
19992020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Présentation

Eun-Young's area of expertise is formal modeling, design and analysis of real-time embedded systems. Her research interest lies in combining several different formal method techniques to handle large and complex systems, either automatically or with less manual intervention. Prior to joining PReCISE in 2011, she worked at PROGRESS, the Swedish national strategic research centre on embedded software in Mälardalen Real-Time Research Centre (MRTC) and previously at United Nations University - International Institute for Software Technology in Macau. She received her PhD from Loria-INRIA in Nancy, France. The topic of her thesis was, "Tool-supported real-time system verification based on a combination of predicate abstraction and model checking."

Présentation

Eun-Young's area of expertise is formal modeling, design and analysis of real-time embedded systems. Her research interest lies in combining several different formal method techniques to handle large and complex systems, either automatically or with less manual intervention. Prior to joining PReCISE in 2011, she worked at PROGRESS, the Swedish national strategic research centre on embedded software in Mälardalen Real-Time Research Centre (MRTC) and previously at United Nations University - International Institute for Software Technology in Macau. She received her PhD from Loria-INRIA in Nancy, France. The topic of her thesis was, "Tool-supported real-time system verification based on a combination of predicate abstraction and model checking."

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Eun-Young KANG est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 3 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

  • 112 Citations
  • 7 h-Index
  • 10 Article dans les actes d'une conférence/un colloque
  • 4 Autre contribution
  • 1 Chapitre
  • 1 Article

InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

Kang, E. Y. & Schobbens, P. Y., juin 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Schedulability analysis support for automotive systems: From requirement to implementation

    Kang, E-Y. & Schobbens, P. Y., 24 mars 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
  • 82 Téléchargements (Pure)
    55 Téléchargements (Pure)

    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 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

    Résultats de recherche: Contribution à un journal/une revueArticle