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.

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

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. IEEE, 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

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

  • 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

  • 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
  • 73 Downloads (Pure)

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

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

    Research output: Monograph/anthology/thesis/reportReportResearch

    Open Access
  • 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

  • Activities

    • 5 Peer review of manuscripts
    • 1 Membership of review committee

    17th International Colloquium on Theoretical Aspects of Computing (Event)

    Eun-Young Kang (Member)

    Mar 2020 → …

    Activity: MembershipMembership of review committee

    The 2020 IEEE Intelligent Vehicles Symposium (Event)

    Eun-Young Kang (Peer reviewer)

    13. Feb 202022. Mar 2020

    Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

    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

    Prizes

    Research Grant: Principle Investigator

    Kang, Eun-Young (Recipient), 2015

    Prize: Prizes, scholarships, distinctions

  • Research Grant: National Science Research Foundation of Korea

    Kang, Eun-Young (Recipient), 2013

    Prize: Prizes, scholarships, distinctions

  • Research Grant: Fonds de la Recherche Scientifique - FNRS

    Kang, Eun-Young (Recipient), 2012

    Prize: Prizes, scholarships, distinctions