If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Collaborateur Scientifique, University of Namur

Research areas

  • Software Methodology
  • Software Engineering
  • Software Quality Assurance
  • Safety-critical systems
  • Verification & Validation
  • Cyber-Physical Systems
  • Energy-aware Real-Timed Embedded Systems
  • Model-Driven Design & Implementation
  • Component-based Development and Re-use
  • Programming Languages And formal Models
  • Safety & Security
  • Model-Checking
  • SMT/SAT-Solver
  • Computer Aided Design, Modeling, Analysis and Simulation
  • Dependability & Reliability of Embedded Software

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.

Specification languages Engineering & Materials Science
Semantics Engineering & Materials Science
Embedded systems Engineering & Materials Science
Clocks Engineering & Materials Science
Model checking Engineering & Materials Science
Traffic signs Engineering & Materials Science
Specifications Engineering & Materials Science
Systems analysis Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2004 2019

Formal verification of dynamic and stochastic behaviors for automotive systems

Huang, L., Liang, T. & Kang, E. Y., 2019, Proceedings - 2019 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019. IEEE, p. 11-20

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Specifications
Specification languages
Stochastic systems
Stochastic models
Clocks
21 Downloads (Pure)

Formal verification of safety & security related timing constraints for a cooperative automotive system

Huang, L. & Kang, E. Y., 2019, Fundamental Approaches to Software Engineering : - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 210-227 (Lecture Notes in Computer Science, Vol. 11424 ). (Theoretical Computer Science and General Issues, Vol. 11424).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
Semantics
Specification languages
Clocks
Wireless networks
Accidents

Formal Verification Techniques for Architecture-based Embedded Systems in EAST-ADL

Kang, E-Y., Mar 2019, arXiv. 19 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Embedded systems
Specifications
Model checking
Trucks
Computer systems

Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems

Huang, L., Liang, T. & Kang, E., 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. IEEE Computer Society Press, p. 228-239

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Specifications
Specification languages
Cyber Physical System
Clocks
Semantics

Translating EAST-ADL/Stateflow Models into Probabilistic Verifiable Models: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow using UPPAAL Tools

Kang, E-Y., Chen, J., Ke, L. & Chen, S., Mar 2019, 51 p.

Research output: Book/anthology/thesis/reportReportResearch

Open Access
Embedded systems
Statistical methods
Semantics
Systems analysis
Statistical Models

Activities 2017 2019

  • 4 Peer review of manuscripts

Formal Aspects of Computing (Journal)

Eun-Young Kang (Peer reviewer)
2019 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

IEEE Embedded Systems Letters (Journal)

Eun-Young Kang (Peer reviewer)
2019 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

IEEE Industrial Electronics and Applications (Journal)

Eun-Young Kang (Peer reviewer)
2018

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

International Journal of Critical Computer-Based Systems (IJCCBS) (Journal)

Eun-Young Kang (Peer reviewer)
2017 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Prizes

Research Grant: Principle Investigator

Eun-Young Kang (Recipient), 2015

Prize: Prizes, scholarships, distinctions

grant
teacher

Research Grant: National Science Research Foundation of Korea

Eun-Young Kang (Recipient), 2013

Prize: Prizes, scholarships, distinctions

Korea
grant
science
Ministry of Education
research facility

Research Grant: Fonds de la Recherche Scientifique - FNRS

Eun-Young Kang (Recipient), 2012

Prize: Prizes, scholarships, distinctions

grant
Belgium
EU
innovation