Miyoung Kang

19 papers A 1Misc 1Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
Unlocking Korean Verbs: A User-Friendly Exploration into the Verb Lexicon.
NAACL (System Demonstrations)
Seohyun Song, Eunkyul Leah Jo, Yige Chen, Jeen-Pyo Hong, Kyuwon Kim, Jin Wee, Miyoung Kang, Kyungtae Lim, Jungyeul Park, Chulwoo Park
2024 J jnl
Unlocking Korean Verbs: A User-Friendly Exploration into the Verb Lexicon.
CoRR
Seohyun Song, Eunkyul Leah Jo, Yige Chen, Jeen-Pyo Hong, Kyuwon Kim, Jin Wee, Miyoung Kang, Kyungtae Lim, Jungyeul Park, Chulwoo Park
2023 — conf
Security Attacks Against the Availability of Low Earth Orbit Satellite Networks.
ICNCC
Seongho Yoon, Miyoung Kang, Jin-Young Choi
2022 — conf
DDoS attacks detection in the cloud using K-medoids algorithm.
ICACT
Seongho Yoon, Miyoung Kang
2022 — conf
Threat Modeling Analysis on FireStormcx's Webcam System.
ICACT
Jong Jin Cho, Miyoung Kang
2022 — conf
Verification Framework for Software-Defined Networking.
ICACT
Miyoung Kang, Jong Jin Cho
2020 J jnl
Formal Verification of SDN-Based Firewalls by Using TLA+.
IEEE Access
Young-Mi Kim, Miyoung Kang
2019 Misc conf
Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers.
TRIDENTCOM
Miyoung Kang, Jin-Young Choi
2016 J jnl
A Verification Method of SDN Firewall Applications.
IEICE Trans. Commun.
Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin
2016 J jnl
Hierarchical System Schedulability Analysis Framework Using UPPAAL.
IEICE Trans. Inf. Syst.
So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi
2015 — conf
Verification for NFV-enabled network services.
ICTC
Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi
2014 — conf
The Research on Vulnerability Analysis in OpenADR for Smart Grid.
DARE
Mijeong Park, Miyoung Kang, Jin-Young Choi
2013 A conf
Formal Modeling and Verification of SDN-OpenFlow.
ICST
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi
2012 — conf
Formal specifications for software-defined networking.
CFI
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi
2012 — conf
Process Algebraic Specification of Software Defined Networks.
CICSyN
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin
2011 — conf
A method for detecting arrhythmia using a RR interval from ECG data in U-Health system.
ICUIMC
Jaein Kim, Miyoung Kang, Buhyun Hwang
2011 — conf
Human Neck's Posture Measurement using a 3-Axis Accelerometer Sensor.
ICCSA (5)
Soonmook Jeong, Taehoun Song, Hyungmin Kim, Miyoung Kang, Key Ho Kwon, Jae Wook Jeon
2011 J jnl
Improved User Authentication Scheme with User Anonymity for Wireless Communications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi
2006 J jnl
Formal Verification of Security Model Using SPR Tool.
Comput. Artif. Intell.
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang