Projects per year
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 4 Similar Profiles
Real time systems
Engineering & Materials Science
Model checking
Engineering & Materials Science
Brakes
Engineering & Materials Science
Telecommunication systems
Engineering & Materials Science
Semantics
Engineering & Materials Science
Embedded systems
Engineering & Materials Science
Wire
Engineering & Materials Science
Formal Analysis
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 1999 2014
CFV: Federated Centre for Software Verification
Schobbens, P., Bontemps, Y., Ortiz Vega, J. J. & Kang, E.
1/10/99 → …
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
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
Research Output 2011 2016
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
Statistical Analysis
Statistical methods
Real-time
Formal Analysis
Energy
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 Access
File
Scheduling
Interchanges
Model checking
Brakes
Costs
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E-Y. & Schobbens, P., 2013Research output: Other contribution
File
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
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 Jan 2013, Simulation Series. Vol. 45. p. 62-69 8 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Embedded systems
Telecommunication systems
Model checking
Real time systems
Brakes