Projects per year
Personal profile
Introduction
Introduction
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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
-
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
-
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
-
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 AccessFile140 Downloads (Pure) -
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E.-Y. & Schobbens, P., 2013Research output: Other contribution
File95 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