Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Eksterne ansættelser

Collaborateur Scientifique, University of Namur

Forskningsområder

  • Metoder til softwareudvikling
  • Programmeringssprog og formelle modeller

Fingeraftryk Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede emneordskoncepter, som definerer de vigtigste emner for hver enkelt forsker.

Specification languages Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Embedded systems Teknik og materialevidenskab
Clocks Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Traffic signs Teknik og materialevidenskab
Specifications Teknik og materialevidenskab
Systems analysis Teknik og materialevidenskab

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 2004 2019

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

Kang, E., Liang, T. & Huang, L., 28. okt. 2019, 24th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Xplore, s. 11-20 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Specifications
Specification languages
Stochastic systems
Stochastic models
Clocks
13 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. (red.). Springer, s. 210-227 (Lecture Notes in Computer Science, Bind 11424 ). (Theoretical Computer Science and General Issues, Bind 11424).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Embedded systems
Specifications
Model checking
Trucks
Computer systems

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

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Embedded systems
Statistical methods
Semantics
Systems analysis
Statistical Models

Aktiviteter 2017 2019

  • 4 Peer reviewer/fagfællebedømmer af manuskripter

Formal Aspects of Computing (Tidsskrift)

Eun-Young Kang (Peer reviewer)
2019 → …

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

IEEE Embedded Systems Letters (Tidsskrift)

Eun-Young Kang (Peer reviewer)
2019 → …

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

IEEE Industrial Electronics and Applications (Tidsskrift)

Eun-Young Kang (Peer reviewer)
2018

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Eun-Young Kang (Peer reviewer)
2017 → …

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Priser

Research Grant: Principle Investigator

Eun-Young Kang (Modtager), 2015

Pris: Priser, stipendier, udnævnelser

grant
teacher

Research Grant: National Science Research Foundation of Korea

Eun-Young Kang (Modtager), 2013

Pris: Priser, stipendier, udnævnelser

Korea
grant
science
Ministry of Education
research facility

Research Grant: Fonds de la Recherche Scientifique - FNRS

Eun-Young Kang (Modtager), 2012

Pris: Priser, stipendier, udnævnelser

grant
Belgium
EU
innovation