Projets par an
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."
Expertise relative aux objectifs de développement durable des Nations Unies
En 2015, les États membres des Nations Unies ont convenu de 17 objectifs de développement durable (Sustainable Development Goals, SDG) pour éradiquer la pauvreté, protéger la planète et assurer la prospérité de tous. Le travail de cette personne contribue à la poursuite du/des SDG suivant(s) :
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.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
CFV: Centre Fédéré en Vérification de Logiciel
Schobbens, P. Y. (Responsable du Projet), Bontemps, Y. (Chercheur), Ortiz Vega, J. J. (Chercheur) & KANG, E.-Y. (Chercheur)
1/10/99 → …
Projet: Recherche
-
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
Schobbens, P. Y. (Responsable du Projet) & KANG, E.-Y. (Chercheur)
1/02/11 → 31/01/12
Projet: Recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)
1/01/11 → 1/01/13
Projet: Recherche
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y. (Responsable du Projet), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Ortiz Vega, J. J. (Chercheur)
1/01/11 → 31/12/14
Projet: Recherche
Résultat de recherche
-
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érence › Article 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. 7603790Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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érence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile129 Téléchargements (Pure) -
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E.-Y. & Schobbens, P., 2013Résultats de recherche: Autre contribution
File85 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 revue › Article › Revue par des pairs