Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems - Mingyu Park; Taejoon Byun; Yunja Choi (FTSCS, 2012)

Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation. - Yunja Choi; Mingyu Park; Taejoon Byun; Dongwoo Kim (Sci. Comput. Program., 2015)

HelloBot: Facilitating Social Inclusion with an Interactive Greeting Robot. - Narae Cha; Inyeop Kim; Mingyu Park; Auk Kim; Uichin Lee (UbiComp/ISWC Adjunct, 2018)

A Study on Classification of Traffic Accident Injury Grade Using CNN and NASS-CDS Data. - Hyu-Seop Song; Yongbeom Lee; Seongkeun Park; Hyeonseok Kim; Eungi Cho; Mingyu Park; Seung-Woo Kim (ICNCC, 2018)

Reptor: A Model for Deriving Trust and Reputation on Blockchain-based Electronic Payment System. - Jaehong Ahn; Mingyu Park; Jeongyeup Paek (ICTC, 2018)

A Machine Learning Approach to Prediction of Passenger Injuries on Real Road Situation. - Yongbeom Lee; Eungi Cho; Mingyu Park; Hyeonseok Kim; Kyusang Choi; Seongkeun Park (SCIS&ISIS, 2018)

SCoRe: Scheduling Commands and Responses for Multihop Low-Power Wireless Network. - Mingyu Park; Jeongyeup Paek (MASS Workshops, 2019)

TAiM: TCP assistant-in-the-middle for multihop low-power and lossy networks in IoT. - Mingyu Park; Jeongyeup Paek (J. Commun. Networks, 2019)

Property-based testing for LG home appliances using accelerated software-in-the-loop simulation. - Mingyu Park; Hoon Jang; Taejoon Byun; Yunja Choi (ICSE (SEIP), 2020)

Performance of RPL Routing Protocol over Multihop Power Line Communication Network. - Mingyu Park; Gunmo Jeong; Heedeok Son; Jeongyeup Paek (ICTC, 2020)

A²-Trickle: Adaptive & Aligned Trickle for Rapid and Reliable Dissemination in Low-Power Wireless Networks. - Gunmo Jeong; Mingyu Park; Jeongyeup Paek (IEEE Access, 2020)

Hello There! Is Now a Good Time to Talk?: Opportune Moments for Proactive Interactions with Smart Speakers. - Narae Cha; Auk Kim; Cheul Young Park; Soowon Kang; Mingyu Park; Jae-Gil Lee 001; Sangsu Lee; Uichin Lee (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020)

A 1.1-V 10-nm Class 6.4-Gb/s/Pin 16-Gb DDR5 SDRAM With a Phase Rotator-ILO DLL, High-Speed SerDes, and DFE/FFE Equalization Scheme for Rx/Tx. - Dongkyun Kim; Kibong Koo; Yongmi Kim; Dong-Uk Lee; Jaejin Lee; Ki Hun Kwon; Byeongchan Choi; Hongjung Kim; Sanghyun Ku; Jong-Sam Kim; Seungwook Oh; Minsu Park; et al. (IEEE J. Solid State Circuits, 2020)

On Anderson Acceleration for Partially Observable Markov Decision Processes. - Melike Ermis; Mingyu Park; Insoon Yang (CDC, 2021)

On-Demand Scheduling of Command and Responses for Low-Power Multihop Wireless Networks. - Mingyu Park; Jeongyeup Paek (Sensors, 2021)

Broadcasting in Vehicular Ad-hoc Network: Survey on Recent Advances. - Yejin Cho; Mingyu Park; Jeongyeup Paek (ICTC, 2022)

A Measurement Study of Adalm-PLUTO Software Defined Radio with IEEE 802.15.4. - Yonghan Kwon; Mingyu Park; Jeongyeup Paek (ICTC, 2022)

Infusing Model Predictive Control Into Meta-Reinforcement Learning for Mobile Robots in Dynamic Environments. - Jaeuk Shin; Astghik Hakobyan; Mingyu Park; Yeoneung Kim; Gihun Kim; Insoon Yang (IEEE Robotics Autom. Lett., 2022)

A novel training mechanism for health indicator construction and remaining useful lifetime (RUL) prediction. - Hanbyeol Park; Dohee Kim; Minseop Kim; Mingyu Park; Hyerim Bae; Yunkyung Park (IEEE Big Data, 2023)

Poster Abstract: Frequency-Hopped Chirp Spread Spectrum for Collision Resolution in LoRa Network. - Mingyu Park; Jeongyeup Paek (SenSys, 2023)

RPL objective function for multihop PLC network. - Mingyu Park; Gunmo Jeong; Omprakash Gnawali; Jeongyeup Paek (J. Commun. Networks, 2023)

Evidential deep learning for trustworthy prediction of enzyme commission number. - So-Ra Han; Mingyu Park; Sai Kosaraju; Jeungmin Lee; Hyun Lee; Jun Hyuck Lee; Tae-Jin Oh; Mingon Kang (Briefings Bioinform., 2023)

BIC-LoRa: Bits in Chirp Shapes to Boost Throughput in LoRa. - Geonhee Lee; Eunjeong Park; Mingyu Park; Jeongyeup Paek; Saewoong Bahk (IPSN, 2024)

Anderson acceleration for partially observable Markov decision processes: A maximum entropy approach. - Mingyu Park; Jaeuk Shin; Insoon Yang (Autom., 2024)

BemaGANv2: A Vocoder with Superior Periodicity Capture for Long-Term Audio Generation. - Taesoo Park; Mungwi Jeong; Mingyu Park; Narae Kim; Junyoung Kim; Dohyun Park; Mujung Kim; Jisang Yoo; Hoyun Lee; Sanghoon Kim; Soonchul Kwon (ICAIIC, 2025)

Pretraining a Shared Q-Network for Data-Efficient Offline Reinforcement Learning. - Jongchan Park; Mingyu Park; Donghwan Lee (CoRR, 2025)

BemaGANv2: A Tutorial and Comparative Survey of GAN-based Vocoders for Long-Term Audio Generation. - Taesoo Park; Mungwi Jeong; Mingyu Park; Narae Kim; Junyoung Kim; Mujung Kim; Jisang Yoo; Hoyun Lee; Sanghoon Kim; Soonchul Kwon (CoRR, 2025)