Projects per year
Personal profile
Introduction
Introduction
Fingerprint
Dive into the research topics where Eun-Young KANG is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y. (PI), Bontemps, Y. (Researcher), Ortiz Vega, J. J. (Researcher) & KANG, E.-Y. (Researcher)
1/10/99 → …
Project: Research
-
VEREV: Verification of recursive, evolutive, real-time software
Schobbens, P. Y. (PI) & KANG, E.-Y. (Researcher)
1/02/11 → 31/01/12
Project: Research
-
VLPL: Software Product Lines Verification
Heymans, P. (PI), Schobbens, P. Y. (PI), Classen, A. (Researcher), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Legay, A. (Researcher)
1/01/11 → 1/01/13
Project: Research
-
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y. (PI), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Ortiz Vega, J. J. (Researcher)
1/01/11 → 31/12/14
Project: Research
-
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Kang, E. Y. & Schobbens, P. Y., Jun 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
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. 7603790Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
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 proceeding › Conference contribution
Open AccessFile218 Downloads (Pure) -
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E.-Y. & Schobbens, P., 2013Research output: Other contribution
File143 Downloads (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 Jul 2013, In: Reliability Engineering and System Safety. 120, p. 127-138 12 p.Research output: Contribution to journal › Article › peer-review