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 Examinez les sujets de recherche où Eun-Young Kang est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 5 Profils similaires
Real time systems Ingénierie et Science des Matériaux
Model checking Ingénierie et Science des Matériaux
Brakes Ingénierie et Science des Matériaux
Telecommunication systems Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Embedded systems Ingénierie et Science des Matériaux
Wire Ingénierie et Science des Matériaux
Formal Analysis mathématiques

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1999 2014

Résultat de recherche 2011 2016

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

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

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

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

Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes