Projects per year
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.
- 5 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Projects
-
CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
-
TPA: Theory and Practice of Automata and Logics
SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.
1/01/11 → 31/12/14
Project: Research
-
VLPL: Software Product Lines Verification
HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
Research output
-
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 AccessFile -
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E-Y. & Schobbens, P., 2013Research output: Other contribution
File57 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