Publikationer pr. år
Publikationer pr. år
Personlig profil
Aktuelle eksterne ansættelser og poster
Collaborateur Scientifique, University of Namur
Emneord
- Metoder til softwareudvikling
- Programmeringssprog og formelle modeller
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Eun-Young Kang er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
Enhancing Dependability of Industrial Robots: Security and Safety Assessments Based on Model-Driven Engineering
Kang, E.-Y., Choudhary, G., Campusano, M., Kühnrich, M. & Pedersen, A., 2024, 2024 11th International Conference on Dependable Systems and Their Applications (DSA). IEEE, s. 106-113 (Proceedings - International Conference on Dependable Systems and Their Applications (DSA)).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems
Kang, E.-Y., 2023, 2023 7th International Conference on System Reliability and Safety (ICSRS). IEEE, s. 518-522Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation
Kang, E. Y. & Hacks, S., 2023, 2023 12th Mediterranean Conference on Embedded Computing (MECO). IEEE, 8 s. (Mediterranean Conference on Embedded Computing, MECO ).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata
Kang, E. Y. & Silva, T. R., 2023, Proceedings - 2023 30th Asia-Pacific Software Engineering Conference, APSEC 2023. IEEE Computer Society, s. 612-616 5 s. (Proceedings of the Asia-Pacific Software Engineering Conference, APSEC).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil28 Downloads (Pure) -
Towards Safety Assessment of Robot Behaviors in SMACH
Kang, E. Y. & Campusano, M., 2023, Proceedings - 2023 30th Asia-Pacific Software Engineering Conference, APSEC 2023. IEEE Computer Society, s. 617-621 5 s. (Proceedings of the Asia-Pacific Software Engineering Conference, APSEC).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
The 23rd International Conference on Formal Engineering Methods (Begivenhed)
Kang, E.-Y. (Medlem)
2022 → …Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
The 37th ACM/SIGAPP Symposium On Applied Computing (Begivenhed)
Kang, E.-Y. (Medlem)
2022 → …Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
Theoretical Computer Science (Tidsskrift)
Kang, E.-Y. (Peer reviewer)
2021 → …Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
17th International Colloquium on Theoretical Aspects of Computing (Begivenhed)
Kang, E.-Y. (Medlem)
mar. 2020 → …Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg
-
The 2020 IEEE Intelligent Vehicles Symposium (Begivenhed)
Kang, E.-Y. (Peer reviewer)
13. feb. 2020 → 22. mar. 2020Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Priser
-
Research Grant: National Natural Science Foundation of China - The Research Fund for International Young Talented Scientists.
Kang, E.-Y. (Modtager), 2016
Pris: Priser, stipendier, udnævnelser
-
Research Grant: Principle Investigator
Kang, E.-Y. (Modtager), 2015
Pris: Priser, stipendier, udnævnelser
-
Research Grant: National Science Research Foundation of Korea
Kang, E.-Y. (Modtager), 2013
Pris: Priser, stipendier, udnævnelser
-
Research Grant: Fonds de la Recherche Scientifique - FNRS
Kang, E.-Y. (Modtager), 2012
Pris: Priser, stipendier, udnævnelser
-
Best Paper Award: Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
Kang, E.-Y. (Modtager), 2011
Pris: Priser, stipendier, udnævnelser