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.

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

  • 108 Citations
  • 7 h-Index
  • 9 Article dans les actes d'une conférence/un colloque
  • 4 Autre contribution
  • 1 Chapitre
  • 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

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

  • Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

    Kang, E-Y. & Schobbens, P-Y., 1 janv. 2013, Simulation Series. Vol 45. p. 62-69 8 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