![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Kyungmin Bae"
@article{DBLP:journals/cars/DhoLMKKLKKKPP24, author = {Yun{-}Sik Dho and Byeong Cheol Lee and HyeongCheol Moon and Kyung Min Kim and Ho Kang and Eun Jung Lee and Min{-}Sung Kim and Jin Wook Kim and Yong Hwy Kim and Sang Joon Park and Chul{-}Kee Park}, title = {Validation of real-time inside-out tracking and depth realization technologies for augmented reality-based neuronavigation}, journal = {Int. J. Comput. Assist. Radiol. Surg.}, volume = {19}, number = {1}, pages = {15--25}, year = {2024}, url = {https://doi.org/10.1007/s11548-023-02993-0}, doi = {10.1007/S11548-023-02993-0}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cars/DhoLMKKLKKKPP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cbm/LeeSLBJCPCKYKCLYZSK24, author = {Jong Hyeon Lee and Jae Woo Shim and Min Hyuk Lim and Changhoon Baek and Byoungjun Jeon and Minwoo Cho and Sungwoo Park and Dong Hyun Choi and Byeong Soo Kim and Dan Yoon and Young Gyun Kim and Seung Yeon Cho and Kyung{-}Min Lee and Myoung{-}Souk Yeo and Hangman Zo and Sang Do Shin and Sungwan Kim}, title = {Towards optimal design of patient isolation units in emergency rooms to prevent airborne virus transmission: From computational fluid dynamics to data-driven modeling}, journal = {Comput. Biol. Medicine}, volume = {173}, pages = {108309}, year = {2024}, url = {https://doi.org/10.1016/j.compbiomed.2024.108309}, doi = {10.1016/J.COMPBIOMED.2024.108309}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cbm/LeeSLBJCPCKYKCLYZSK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AriasBOOPR24, author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba {\"{O}}lveczky and Laure Petrucci and Fredrik R{\o}mming}, title = {Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and {SMT} solving}, journal = {Sci. Comput. Program.}, volume = {233}, pages = {103074}, year = {2024}, url = {https://doi.org/10.1016/j.scico.2023.103074}, doi = {10.1016/J.SCICO.2023.103074}, timestamp = {Thu, 30 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/AriasBOOPR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KangB24, author = {Byeongjee Kang and Kyungmin Bae}, title = {Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems}, journal = {Sci. Comput. Program.}, volume = {235}, pages = {103097}, year = {2024}, url = {https://doi.org/10.1016/j.scico.2024.103097}, doi = {10.1016/J.SCICO.2024.103097}, timestamp = {Thu, 30 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/KangB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/YuCBM24, author = {Geunyeol Yu and Seunghyun Chae and Kyungmin Bae and Sungkun Moon}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Formal Specification of Trusted Execution Environment APIs}, booktitle = {Fundamental Approaches to Software Engineering - 27th International Conference, {FASE} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {101--121}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_5}, doi = {10.1007/978-3-031-57259-3\_5}, timestamp = {Sat, 08 Jun 2024 13:13:51 +0200}, biburl = {https://dblp.org/rec/conf/fase/YuCBM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/BaeELMS24, author = {Kyungmin Bae and Santiago Escobar and Ra{\'{u}}l L{\'{o}}pez{-}Rueda and Jos{\'{e}} Meseguer and Julia Sapi{\~{n}}a}, editor = {Kazuhiro Ogata and Narciso Mart{\'{\i}}{-}Oliet}, title = {Verifying Invariants by Deductive Model Checking}, booktitle = {Rewriting Logic and Its Applications - 15th International Workshop, {WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14953}, pages = {3--21}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65941-6\_1}, doi = {10.1007/978-3-031-65941-6\_1}, timestamp = {Thu, 08 Aug 2024 08:55:16 +0200}, biburl = {https://dblp.org/rec/conf/wrla/BaeELMS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/YuB24, author = {Geunyeol Yu and Kyungmin Bae}, editor = {Kazuhiro Ogata and Narciso Mart{\'{\i}}{-}Oliet}, title = {A Flexible Framework for Integrating Maude and {SMT} Solvers Using Python}, booktitle = {Rewriting Logic and Its Applications - 15th International Workshop, {WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14953}, pages = {179--192}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65941-6\_10}, doi = {10.1007/978-3-031-65941-6\_10}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/YuB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-01884, author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba {\"{O}}lveczky and Laure Petrucci}, title = {A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets}, journal = {CoRR}, volume = {abs/2401.01884}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.01884}, doi = {10.48550/ARXIV.2401.01884}, eprinttype = {arXiv}, eprint = {2401.01884}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-01884.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-01954, author = {Kang Min Yoo and Jaegeun Han and Sookyo In and Heewon Jeon and Jisu Jeong and Jaewook Kang and Hyunwook Kim and Kyung{-}Min Kim and Munhyong Kim and Sungju Kim and Donghyun Kwak and Hanock Kwak and Se Jung Kwon and Bado Lee and Dongsoo Lee and Gichang Lee and Jooho Lee and Baeseong Park and Seongjin Shin and Joonsang Yu and Seolki Baek and Sumin Byeon and Eungsup Cho and Dooseok Choe and Jeeseung Han and Youngkyun Jin and Hyein Jun and Jaeseung Jung and Chanwoong Kim and Jinhong Kim and Jinuk Kim and Dokyeong Lee and Dong Wook Park and Jeong Min Sohn and Sujung Han and Jiae Heo and Sungju Hong and Mina Jeon and Hyunhoon Jung and Jungeun Jung and Wangkyo Jung and Chungjoon Kim and Hyeri Kim and Jonghyun Kim and Min Young Kim and Soeun Lee and Joonhee Park and Jieun Shin and Sojin Yang and Jungsoon Yoon and Hwaran Lee and Sanghwan Bae and Jeehwan Cha and Karl Gylleus and Donghoon Ham and Mihak Hong and Youngki Hong and Yunki Hong and Dahyun Jang and Hyojun Jeon and Yujin Jeon and Yeji Jeong and Myunggeun Ji and Yeguk Jin and Chansong Jo and Shinyoung Joo and Seunghwan Jung and Adrian Jungmyung Kim and Byoung Hoon Kim and Hyomin Kim and Jungwhan Kim and Minkyoung Kim and Minseung Kim and Sungdong Kim and Yonghee Kim and Youngjun Kim and Youngkwan Kim and Donghyeon Ko and Dughyun Lee and Hayoung Lee and Jaehong Lee and Jieun Lee and Jonghyun Lee and Jongjin Lee and Min Young Lee and Yehbin Lee and Taehong Min and Yuri Min and Kiyoon Moon and Hyangnam Oh and Jaesun Park and Kyuyon Park and Younghun Park and Hanbae Seo and Seunghyun Seo and Mihyun Sim and Gyubin Son and Matt Yeo and Kyung Hoon Yeom and Wonjoon Yoo}, title = {HyperCLOVA {X} Technical Report}, journal = {CoRR}, volume = {abs/2404.01954}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.01954}, doi = {10.48550/ARXIV.2404.01954}, eprinttype = {arXiv}, eprint = {2404.01954}, timestamp = {Fri, 10 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-01954.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-06037, author = {Donghu Kim and Hojoon Lee and Kyungmin Lee and Dongyoon Hwang and Jaegul Choo}, title = {Investigating Pre-Training Objectives for Generalization in Vision-Based Reinforcement Learning}, journal = {CoRR}, volume = {abs/2406.06037}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.06037}, doi = {10.48550/ARXIV.2406.06037}, eprinttype = {arXiv}, eprint = {2406.06037}, timestamp = {Sat, 13 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-06037.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/GoS23, author = {Kyungmin Go and Donghoon Shin}, title = {Resilient Raw Format Live Video Streaming Framework for an Automated Driving System on an Ethernet-Based In-Vehicle Network}, journal = {{IEEE} Access}, volume = {11}, pages = {144364--144376}, year = {2023}, url = {https://doi.org/10.1109/ACCESS.2023.3345352}, doi = {10.1109/ACCESS.2023.3345352}, timestamp = {Sat, 13 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/GoS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ParkJKJS23, author = {Hee{-}Mun Park and Mi Jang and Yong{-}Jae Kim and Hyun{-}Joo Jung and Kyung{-}Min Seo}, title = {Design and Implementation of Data-Based Validation and Evaluation System for Combat System Engineering}, journal = {{IEEE} Access}, volume = {11}, pages = {80137--80150}, year = {2023}, url = {https://doi.org/10.1109/ACCESS.2023.3299441}, doi = {10.1109/ACCESS.2023.3299441}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ParkJKJS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bioinformatics/KimPLBLKMSK23, author = {Kijin Kim and Kyungmin Park and Seonghyeon Lee and Seung{-}Hwan Baek and Tae{-}Hun Lim and Jongwoo Kim and Balachandran Manavalan and Jin{-}Won Song and Won{-}Keun Kim}, title = {VirPipe: an easy-to-use and customizable pipeline for detecting viral genomes from Nanopore sequencing}, journal = {Bioinform.}, volume = {39}, number = {5}, year = {2023}, url = {https://doi.org/10.1093/bioinformatics/btad293}, doi = {10.1093/BIOINFORMATICS/BTAD293}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bioinformatics/KimPLBLKMSK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fi/ChangPKK23, author = {Sang{-}Yoon Chang and Kyungmin Park and Jonghyun Kim and Jinoh Kim}, title = {Securing {UAV} Flying Base Station for Mobile Networking: {A} Review}, journal = {Future Internet}, volume = {15}, number = {5}, pages = {176}, year = {2023}, url = {https://doi.org/10.3390/fi15050176}, doi = {10.3390/FI15050176}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fi/ChangPKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/HwangKKK23, author = {Sang{-}Ho Hwang and Kyung{-}Min Kim and Sungho Kim and Jong Wook Kwak}, title = {Lossless Data Compression for Time-Series Sensor Data Based on Dynamic Bit Packing}, journal = {Sensors}, volume = {23}, number = {20}, pages = {8575}, year = {2023}, url = {https://doi.org/10.3390/s23208575}, doi = {10.3390/S23208575}, timestamp = {Thu, 29 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/HwangKKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcasII/SeoHKLSCKCLYH23, author = {Hyeongmin Seo and Jiyun Han and Kyungmin Kim and Baek{-}Jin Lim and EunSeok Shin and Youngdon Choi and Hyungjong Ko and Jung{-}Hwan Choi and Sang{-}Hyun Lee and Changsik Yoo and Jaeduk Han}, title = {A 12-Gb/s Baud-Rate Clock and Data Recovery With 75{\%} Phase-Detection Probability by Precoding and Integration-Hold-Reset Frontend}, journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs}, volume = {70}, number = {2}, pages = {411--415}, year = {2023}, url = {https://doi.org/10.1109/TCSII.2022.3212881}, doi = {10.1109/TCSII.2022.3212881}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcasII/SeoHKLSCKCLYH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AriasBOOPR23, author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba {\"{O}}lveczky and Laure Petrucci and Fredrik R{\o}mming}, editor = {Lu{\'{\i}}s Gomes and Robert Lorenz}, title = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and {SMT} Solving}, booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13929}, pages = {369--392}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33620-1\_20}, doi = {10.1007/978-3-031-33620-1\_20}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/AriasBOOPR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asscc/YunPKBLCJ23, author = {Daeho Yun and Minsu Park and Kahyun Kim and Kyungmin Baek and Eonhui Lee and Woo{-}Seok Choi and Deog{-}Kyoon Jeong}, title = {A {PAM4} Level Mismatch Adjustment Scheme for 48-Gb/s {PAM4} Memory Tester Bridge}, booktitle = {{IEEE} Asian Solid-State Circuits Conference, {A-SSCC} 2023, Haikou, China, November 5-8, 2023}, pages = {1--3}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/A-SSCC58667.2023.10347967}, doi = {10.1109/A-SSCC58667.2023.10347967}, timestamp = {Sat, 27 Jan 2024 20:22:56 +0100}, biburl = {https://dblp.org/rec/conf/asscc/YunPKBLCJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cinc/KyungminYCCJ23, author = {Kyungmin Choi and Gi{-}Won Yoon and Sanghoon Choi and Hyeon{-}Hwa Choi and Segyeong Joo}, title = {Prediction Comatose Patient Outcomes Using Deep Learning -Based Analysis of {EEG} Power Spectral Density}, booktitle = {Computing in Cardiology, CinC 2023, Atlanta, GA, USA, October 1-4, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.22489/CinC.2023.048}, doi = {10.22489/CINC.2023.048}, timestamp = {Tue, 30 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cinc/KyungminYCCJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/HanKK00LLBH23, author = {Hojae Han and Yu Jin Kim and Byoungjip Kim and Youngwon Lee and Kyungjae Lee and Kyungmin Lee and Moontae Lee and Kyunghoon Bae and Seung{-}won Hwang}, editor = {Mingxuan Wang and Imed Zitouni}, title = {On Sample-Efficient Code Generation}, booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: {EMNLP} 2023 - Industry Track, Singapore, December 6-10, 2023}, pages = {783--791}, publisher = {Association for Computational Linguistics}, year = {2023}, url = {https://doi.org/10.18653/v1/2023.emnlp-industry.73}, doi = {10.18653/V1/2023.EMNLP-INDUSTRY.73}, timestamp = {Fri, 12 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/HanKK00LLBH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eucnc/ParkPSK23, author = {Cheolhee Park and Kyungmin Park and Jihyeon Song and Jonghyun Kim}, title = {Distributed Learning-Based Intrusion Detection in 5G and Beyond Networks}, booktitle = {2023 Joint European Conference on Networks and Communications {\&} 6G Summit, EuCNC/6G Summit 2023, Gothenburg, Sweden, June 6-9, 2023}, pages = {490--495}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/EuCNC/6GSummit58263.2023.10188312}, doi = {10.1109/EUCNC/6GSUMMIT58263.2023.10188312}, timestamp = {Mon, 31 Jul 2023 13:56:43 +0200}, biburl = {https://dblp.org/rec/conf/eucnc/ParkPSK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BaeO23, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, editor = {Javier C{\'{a}}mara and Sung{-}Shik Jongmans}, title = {Formal Model Engineering of Distributed CPSs Using {AADL:} From Behavioral {AADL} Models to Multirate Hybrid Synchronous {AADL}}, booktitle = {Formal Aspects of Component Software - 19th International Conference, {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14485}, pages = {127--152}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-52183-6\_7}, doi = {10.1007/978-3-031-52183-6\_7}, timestamp = {Thu, 18 Jan 2024 08:27:17 +0100}, biburl = {https://dblp.org/rec/conf/facs2/BaeO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/Bae23, author = {Kyungmin Bae}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Bounded {STL} Model Checking for Hybrid Systems (Invited Talk)}, booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal, 22 October 2023}, pages = {1}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3623503.3628255}, doi = {10.1145/3623503.3628255}, timestamp = {Thu, 26 Oct 2023 16:21:33 +0200}, biburl = {https://dblp.org/rec/conf/ftscs/Bae23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpdc/ChangPKK23, author = {Sang{-}Yoon Chang and Kyungmin Park and Jonghyun Kim and Jinoh Kim}, editor = {Massimo Cafaro and Eric Chan{-}Tin and Jerry Chou and Jinoh Kim}, title = {Towards Securing {UAV} Flying Base Station: Misplacement Impact Analyses on Battery and Power}, booktitle = {Proceedings of the 2023 on Systems and Network Telemetry and Analytics, {SNTA} 2023, Orlando, FL, USA, 20 June 2023}, pages = {3--8}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3589012.3594894}, doi = {10.1145/3589012.3594894}, timestamp = {Thu, 03 Aug 2023 10:30:48 +0200}, biburl = {https://dblp.org/rec/conf/hpdc/ChangPKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/KyungJCLC23, author = {Daeun Kyung and Kyungmin Jo and Jaegul Choo and Joonseok Lee and Edward Choi}, title = {Perspective Projection-Based 3d {CT} Reconstruction from Biplanar X-Rays}, booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing {ICASSP} 2023, Rhodes Island, Greece, June 4-10, 2023}, pages = {1--5}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICASSP49357.2023.10096296}, doi = {10.1109/ICASSP49357.2023.10096296}, timestamp = {Sun, 05 Nov 2023 16:51:21 +0100}, biburl = {https://dblp.org/rec/conf/icassp/KyungJCLC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/KimYBCJ23, author = {Kahyun Kim and Daeho Yun and Kyungmin Baek and Woo{-}Seok Choi and Deog{-}Kyoon Jeong}, title = {A 48-Gb/s Single-Ended {PAM-4} Receiver with Adaptive Nonlinearity Compensation}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2023, Monterey, CA, USA, May 21-25, 2023}, pages = {1--5}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISCAS46773.2023.10182132}, doi = {10.1109/ISCAS46773.2023.10182132}, timestamp = {Mon, 31 Jul 2023 09:04:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/KimYBCJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/AnLZKKS23, author = {Gaon An and Junhyeok Lee and Xingdong Zuo and Norio Kosaka and Kyung{-}Min Kim and Hyun Oh Song}, editor = {Alice Oh and Tristan Naumann and Amir Globerson and Kate Saenko and Moritz Hardt and Sergey Levine}, title = {Direct Preference-based Policy Optimization without Reward Modeling}, booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023}, year = {2023}, url = {http://papers.nips.cc/paper\_files/paper/2023/hash/de8bd6b2b01cfa788e63f62e5b9a99b9-Abstract-Conference.html}, timestamp = {Fri, 01 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/AnLZKKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/ParkBPHL23, author = {Jongseok Park and Kyungmin Bin and Gibum Park and Sangtae Ha and Kyunghan Lee}, editor = {Alice Oh and Tristan Naumann and Amir Globerson and Kate Saenko and Moritz Hardt and Sergey Levine}, title = {{ASPEN:} Breaking Operator Barriers for Efficient Parallelization of Deep Neural Networks}, booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023}, year = {2023}, url = {http://papers.nips.cc/paper\_files/paper/2023/hash/d899a31938c7838965b589d9b14a5ca6-Abstract-Conference.html}, timestamp = {Fri, 01 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nips/ParkBPHL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ro-man/Ko23, author = {Kyungmin Ko}, title = {Backward Curriculum Reinforcement Learning}, booktitle = {32nd {IEEE} International Conference on Robot and Human Interactive Communication, {RO-MAN} 2023, Busan, Republic of Korea, August 28-31, 2023}, pages = {1753--1757}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/RO-MAN57019.2023.10309513}, doi = {10.1109/RO-MAN57019.2023.10309513}, timestamp = {Thu, 23 Nov 2023 21:16:36 +0100}, biburl = {https://dblp.org/rec/conf/ro-man/Ko23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsit/JungLKLKOL23, author = {Jaehong Jung and Kyungmin Lee and Gunwoo Kong and Baekmin Lim and Seungjin Kim and Seunghyun Oh and Jongwoo Lee}, title = {A 2.4-to-4.2GHz 440.2fsrms-Integrated-Jitter 4.3mW Ring-Oscillator-Based {PLL} Using a Switched-Capacitor-Bias-Based Sampling {PD} in 4nm FinFET {CMOS}}, booktitle = {2023 {IEEE} Symposium on {VLSI} Technology and Circuits {(VLSI} Technology and Circuits), Kyoto, Japan, June 11-16, 2023}, pages = {1--2}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.23919/VLSITechnologyandCir57934.2023.10185300}, doi = {10.23919/VLSITECHNOLOGYANDCIR57934.2023.10185300}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vlsit/JungLKLKOL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wacv/KangLJL23, author = {Tae{-}Kyung Kang and Gun{-}Hee Lee and Kyung{-}Min Jin and Seong{-}Whan Lee}, title = {Action-aware Masking Network with Group-based Attention for Temporal Action Localization}, booktitle = {{IEEE/CVF} Winter Conference on Applications of Computer Vision, {WACV} 2023, Waikoloa, HI, USA, January 2-7, 2023}, pages = {6047--6056}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/WACV56688.2023.00600}, doi = {10.1109/WACV56688.2023.00600}, timestamp = {Tue, 14 Feb 2023 22:26:55 +0100}, biburl = {https://dblp.org/rec/conf/wacv/KangLJL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-05297, author = {Daeun Kyung and Kyungmin Jo and Jaegul Choo and Joonseok Lee and Edward Choi}, title = {Perspective Projection-Based 3D {CT} Reconstruction from Biplanar X-rays}, journal = {CoRR}, volume = {abs/2303.05297}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.05297}, doi = {10.48550/ARXIV.2303.05297}, eprinttype = {arXiv}, eprint = {2303.05297}, timestamp = {Thu, 16 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-05297.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-08929, author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba {\"{O}}lveczky and Laure Petrucci and Fredrik R{\o}mming}, title = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and {SMT} Solving}, journal = {CoRR}, volume = {abs/2303.08929}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.08929}, doi = {10.48550/ARXIV.2303.08929}, eprinttype = {arXiv}, eprint = {2303.08929}, timestamp = {Mon, 20 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-08929.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-11922, author = {Kolby Nottingham and Yasaman Razeghi and Kyungmin Kim and JB Lanier and Pierre Baldi and Roy Fox and Sameer Singh}, title = {Selective Perception: Optimizing State Descriptions with Reinforcement Learning for Language Model Actors}, journal = {CoRR}, volume = {abs/2307.11922}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.11922}, doi = {10.48550/ARXIV.2307.11922}, eprinttype = {arXiv}, eprint = {2307.11922}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-11922.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-16659, author = {Abhirami Harilal and Kyungmin Park and Michael Andrews and Manfred Paulini}, title = {Autoencoder-based Online Data Quality Monitoring for the {CMS} Electromagnetic Calorimeter}, journal = {CoRR}, volume = {abs/2308.16659}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.16659}, doi = {10.48550/ARXIV.2308.16659}, eprinttype = {arXiv}, eprint = {2308.16659}, timestamp = {Fri, 01 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-16659.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/KimKKKKPK22, author = {Jo{-}Eun Kim and Boram Kim and Hui Tae Kwon and Jaesung Kim and Kyungmin Kim and Dong{-}Wook Park and Yoon Kim}, title = {Flexible Parylene C-Based {RRAM} Array for Neuromorphic Applications}, journal = {{IEEE} Access}, volume = {10}, pages = {109760--109767}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3211956}, doi = {10.1109/ACCESS.2022.3211956}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/KimKKKKPK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cce/YoonJKSPBLL22, author = {Yo Sung Yoon and Woohyun Jeong and Jaeyong Kim and Mingyun Seok and Junsoo Park and Jaemin Bae and Kyungmin Lee and Jay H. Lee}, title = {Development of inferential sensor and real-time optimizer for a vacuum distillation unit by recurrent neural network modeling of time series data}, journal = {Comput. Chem. Eng.}, volume = {168}, pages = {108039}, year = {2022}, url = {https://doi.org/10.1016/j.compchemeng.2022.108039}, doi = {10.1016/J.COMPCHEMENG.2022.108039}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cce/YoonJKSPBLL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-sen/ChangLKC22, author = {Byeong{-}Mo Chang and Kyung{-}min Lee and Ga{-}young Koh and Kwanghoon Choi}, title = {SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs}, journal = {{IET} Softw.}, volume = {16}, number = {6}, pages = {576--602}, year = {2022}, url = {https://doi.org/10.1049/sfw2.12071}, doi = {10.1049/SFW2.12071}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iet-sen/ChangLKC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/LeeBOKK22, author = {Jaehun Lee and Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Sharon Kim and Minseok Kang}, title = {Modeling and formal analysis of virtually synchronous cyber-physical systems in {AADL}}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {24}, number = {6}, pages = {911--948}, year = {2022}, url = {https://doi.org/10.1007/s10009-022-00665-z}, doi = {10.1007/S10009-022-00665-Z}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/LeeBOKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcasII/YunLJKBKLKCJ22, author = {Daeho Yun and Eonhui Lee and Woosong Jung and Kahyun Kim and Kyung{-}Min Beak and Jihee Kim and Hyun Bae Lee and Byeongseon Ko and Woo{-}Seok Choi and Deog{-}Kyoon Jeong}, title = {A 32-Gb/s PAM4-Binary Bridge With Sampler Offset Cancellation for Memory Testing}, journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs}, volume = {69}, number = {9}, pages = {3749--3753}, year = {2022}, url = {https://doi.org/10.1109/TCSII.2022.3170887}, doi = {10.1109/TCSII.2022.3170887}, timestamp = {Thu, 22 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcasII/YunLJKBKLKCJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdsc/GoLKK22, author = {Kyungmin Go and Il{-}Gu Lee and Sungwon Kang and Myungchul Kim}, title = {Secure Video Transmission Framework for Battery-Powered Video Devices}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {19}, number = {1}, pages = {275--287}, year = {2022}, url = {https://doi.org/10.1109/TDSC.2020.2980256}, doi = {10.1109/TDSC.2020.2980256}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tdsc/GoLKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tog/LeeYCKIN22, author = {Dawon Lee and Jung Eun Yoo and Kyungmin Cho and Bumki Kim and Gyeonghun Im and Junyong Noh}, title = {PopStage: The Generation of Stage Cross-Editing Video Based on Spatio-Temporal Matching}, journal = {{ACM} Trans. Graph.}, volume = {41}, number = {6}, pages = {194:1--194:13}, year = {2022}, url = {https://doi.org/10.1145/3550454.3555467}, doi = {10.1145/3550454.3555467}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tog/LeeYCKIN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/YuLB22, author = {Geunyeol Yu and Jia Lee and Kyungmin Bae}, editor = {Sharon Shoham and Yakir Vizel}, title = {STLmc: Robust {STL} Model Checking of Hybrid Systems Using {SMT}}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13371}, pages = {524--537}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13185-1\_26}, doi = {10.1007/978-3-031-13185-1\_26}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/YuLB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/SonKH22, author = {Kihoon Son and Kyungmin Kim and Kyung Hoon Hyun}, editor = {Simone D. J. Barbosa and Cliff Lampe and Caroline Appert and David A. Shamma and Steven Mark Drucker and Julie R. Williamson and Koji Yatani}, title = {BIGexplore: Bayesian Information Gain Framework for Information Exploration}, booktitle = {{CHI} '22: {CHI} Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022 - 5 May 2022}, pages = {37:1--37:16}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3491102.3517729}, doi = {10.1145/3491102.3517729}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/chi/SonKH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/AriasBOOPR22, author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba {\"{O}}lveczky and Laure Petrucci and Fredrik R{\o}mming}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New Zealand, 7 December 2022}, pages = {3--15}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3563822.3569923}, doi = {10.1145/3563822.3569923}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ftscs/AriasBOOPR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/KangB22, author = {Byeongjee Kang and Kyungmin Bae}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New Zealand, 7 December 2022}, pages = {34--44}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3563822.3568017}, doi = {10.1145/3563822.3568017}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/KangB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/LeeKB22, author = {Jaeseo Lee and Sangki Kim and Kyungmin Bae}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Bounded Model Checking of {PLC} {ST} Programs using Rewriting Modulo {SMT}}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New Zealand, 7 December 2022}, pages = {56--67}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3563822.3568016}, doi = {10.1145/3563822.3568016}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/LeeKB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isocc/BaekKJ22, author = {Kyungmin Baek and Kahyun Kim and Deog{-}Kyoon Jeong}, title = {A 5GHz All-Digital {PLL} with shunt regulating Ring {DCO} in {BOST} for {DDR5} {ATE}}, booktitle = {19th International SoC Design Conference, {ISOCC} 2022, Gangneung-si, Republic of Korea, October 19-22, 2022}, pages = {139--140}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ISOCC56007.2022.10031547}, doi = {10.1109/ISOCC56007.2022.10031547}, timestamp = {Wed, 15 Feb 2023 22:08:05 +0100}, biburl = {https://dblp.org/rec/conf/isocc/BaekKJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/LeeBO22, author = {Jaehun Lee and Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {13703}, pages = {47--64}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19759-8\_4}, doi = {10.1007/978-3-031-19759-8\_4}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/LeeBO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mm/LeeKSBCLGH22, author = {Insoo Lee and Seyeon Kim and Sandesh Dhawaskar Sathyanarayana and Kyungmin Bin and Song Chong and Kyunghan Lee and Dirk Grunwald and Sangtae Ha}, editor = {Jo{\~{a}}o Magalh{\~{a}}es and Alberto Del Bimbo and Shin'ichi Satoh and Nicu Sebe and Xavier Alameda{-}Pineda and Qin Jin and Vincent Oria and Laura Toni}, title = {{R-FEC:} RL-based {FEC} Adjustment for Better QoE in WebRTC}, booktitle = {{MM} '22: The 30th {ACM} International Conference on Multimedia, Lisboa, Portugal, October 10 - 14, 2022}, pages = {2948--2956}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3503161.3548370}, doi = {10.1145/3503161.3548370}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mm/LeeKSBCLGH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wrla/2022, editor = {Kyungmin Bae}, title = {Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13252}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-12441-9}, doi = {10.1007/978-3-031-12441-9}, isbn = {978-3-031-12440-2}, timestamp = {Wed, 03 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-14214, author = {Kyungmin Ko and Sajad Khodadadian and Siva Theja Maguluri}, title = {Backward Curriculum Reinforcement Learning}, journal = {CoRR}, volume = {abs/2212.14214}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.14214}, doi = {10.48550/ARXIV.2212.14214}, eprinttype = {arXiv}, eprint = {2212.14214}, timestamp = {Sun, 08 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-14214.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/KimYLLPK21, author = {Kyungmin Kim and Jinhee Yoo and Hae Gyun Lim and Mina Lee and Sung{-}Min Park and Hyung Ham Kim}, title = {Lead-Free Piezoelectric Composite With Lithium Niobate and Barium Titanate Fabricated by Interdigital Pair Bonding Technique}, journal = {{IEEE} Access}, volume = {9}, pages = {85894--85902}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3088458}, doi = {10.1109/ACCESS.2021.3088458}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/KimYLLPK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csl/LeeJLKKHK21, author = {Kyungmin Lee and Hyunwhan Joe and Hyeontaek Lim and Kwangyoun Kim and Sungsoo Kim and Chang Woo Han and Hong{-}Gee Kim}, title = {Sequential routing framework: Fully capsule network-based speech recognition}, journal = {Comput. Speech Lang.}, volume = {70}, pages = {101228}, year = {2021}, url = {https://doi.org/10.1016/j.csl.2021.101228}, doi = {10.1016/J.CSL.2021.101228}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csl/LeeJLKKHK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmhci/ChungLPLKSKCH21, author = {Chaeyeon Chung and Jungsoo Lee and Kyungmin Park and Junsoo Lee and Minjae Kim and Mookyung Song and Yeonwoo Kim and Jaegul Choo and Sungsoo Ray Hong}, title = {Understanding Human-side Impact of Sampling Image Batches in Subjective Attribute Labeling}, journal = {Proc. {ACM} Hum. Comput. Interact.}, volume = {5}, number = {{CSCW2}}, pages = {296:1--296:26}, year = {2021}, url = {https://doi.org/10.1145/3476037}, doi = {10.1145/3476037}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmhci/ChungLPLKSKCH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/LimKKPKYHBPK21, author = {Hae Gyun Lim and Hyunhee Kim and Kyungmin Kim and Jeongwoo Park and Yeonggeun Kim and Jinhee Yoo and Dasom Heo and Jinhwan Baik and Sung{-}Min Park and Hyung Ham Kim}, title = {Thermal Ablation and High-Resolution Imaging Using a Back-to-Back {(BTB)} Dual-Mode Ultrasonic Transducer: In Vivo Results}, journal = {Sensors}, volume = {21}, number = {5}, pages = {1580}, year = {2021}, url = {https://doi.org/10.3390/s21051580}, doi = {10.3390/S21051580}, timestamp = {Fri, 11 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/LimKKPKYHBPK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmobile/KimBHLC21, author = {Seyeon Kim and Kyungmin Bin and Sangtae Ha and Kyunghan Lee and Song Chong}, title = {zTT: Learning-Based {DVFS} with Zero Thermal Throttling for Mobile Devices}, journal = {GetMobile Mob. Comput. Commun.}, volume = {25}, number = {4}, pages = {30--34}, year = {2021}, url = {https://doi.org/10.1145/3529706.3529714}, doi = {10.1145/3529706.3529714}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigmobile/KimBHLC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/BaeO21, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, title = {{MSYNC:} {A} Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {20}, number = {5s}, pages = {105:1--105:26}, year = {2021}, url = {https://doi.org/10.1145/3477036}, doi = {10.1145/3477036}, timestamp = {Fri, 26 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tecs/BaeO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vr/LimLWKL21, author = {Kyungmin Lim and Jaesung Lee and Kwanghyun Won and Nupur Kala and Tammy Lee}, title = {A novel method for {VR} sickness reduction based on dynamic field of view processing}, journal = {Virtual Real.}, volume = {25}, number = {2}, pages = {331--340}, year = {2021}, url = {https://doi.org/10.1007/s10055-020-00457-3}, doi = {10.1007/S10055-020-00457-3}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vr/LimLWKL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LeeKBO21, author = {Jaehun Lee and Sharon Kim and Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in {AADL}}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {491--504}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_23}, doi = {10.1007/978-3-030-81685-8\_23}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/LeeKBO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imis/LeeSKJ21, author = {Kyungmin Lee and Mincheol Shin and Yongho Kim and Hae{-}Duck J. Jeong}, editor = {Leonard Barolli and Kangbin Yim and Hsing{-}Chung Chen}, title = {An Intelligent Travel Application Using CNN-Based Deep Learning Technologies}, booktitle = {Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 15th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2021), Asan, Korea, 1-3 July, 2021}, series = {Lecture Notes in Networks and Systems}, volume = {279}, pages = {221--231}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79728-7\_22}, doi = {10.1007/978-3-030-79728-7\_22}, timestamp = {Tue, 24 Aug 2021 13:10:31 +0200}, biburl = {https://dblp.org/rec/conf/imis/LeeSKJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/incdm/KimJKLLSHPHK21, author = {Hiun Kim and Jisu Jeong and Kyung{-}Min Kim and Dongjun Lee and Hyun Dong Lee and Dongpil Seo and Jeeseung Han and Dong Wook Park and Ji Ae Heo and Rak Yeong Kim}, title = {Intent-based Product Collections for E-commerce using Pretrained Language Models}, booktitle = {2021 International Conference on Data Mining, {ICDM} 2021 - Workshops, Auckland, New Zealand, December 7-10, 2021}, pages = {228--237}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICDMW53433.2021.00036}, doi = {10.1109/ICDMW53433.2021.00036}, timestamp = {Fri, 28 Jan 2022 14:58:53 +0100}, biburl = {https://dblp.org/rec/conf/incdm/KimJKLLSHPHK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/LeeKJLLKJALBKJL21, author = {Jongsoo Lee and Byoungjoong Kang and Seongwon Joo and Seokwon Lee and Joongho Lee and Seunghoon Kang and Ikkyun Jo and Suseop Ahn and Jaeseung Lee and Jeongyeol Bae and Won Ko and Woniun Jung and Sangho Lee and Sangsung Lee and Euiyoung Park and Sungiun Lee and Jeongkyun Woo and Jaehoon Lee and Yanghoon Lee and Kyungmin Lee and Jongwoo Lee and Thomas Byunghak Cho and Inyup Kang}, title = {6.1 {A} Low-Power and Low-Cost 14nm FinFET {RFIC} Supporting Legacy Cellular and 5G {FR1}}, booktitle = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2021, San Francisco, CA, USA, February 13-22, 2021}, pages = {90--92}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISSCC42613.2021.9365736}, doi = {10.1109/ISSCC42613.2021.9365736}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isscc/LeeKJLLKJALBKJL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LeeYB21, author = {Jia Lee and Geunyeol Yu and Kyungmin Bae}, title = {Efficient SMT-Based Model Checking for Signal Temporal Logic}, booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2021, Melbourne, Australia, November 15-19, 2021}, pages = {343--354}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ASE51524.2021.9678719}, doi = {10.1109/ASE51524.2021.9678719}, timestamp = {Mon, 24 Jan 2022 16:18:34 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LeeYB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobisys/KimBHLC21, author = {Seyeon Kim and Kyungmin Bin and Sangtae Ha and Kyunghan Lee and Song Chong}, editor = {Suman Banerjee and Luca Mottola and Xia Zhou}, title = {zTT: learning-based {DVFS} with zero thermal throttling for mobile devices}, booktitle = {MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June - 2 July, 2021}, pages = {41--53}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3458864.3468161}, doi = {10.1145/3458864.3468161}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mobisys/KimBHLC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/21/TalcottABCH0KRRSV0Z21, author = {Carolyn L. Talcott and Sofia Ananieva and Kyungmin Bae and Beno{\^{\i}}t Combemale and Robert Heinrich and Mark Hills and Narges Khakpour and Ralf H. Reussner and Bernhard Rumpe and Patrizia Scandurra and Hans Vangheluwe and Francisco Dur{\'{a}}n and Steffen Zschaler}, editor = {Robert Heinrich and Francisco Dur{\'{a}}n and Carolyn L. Talcott and Steffen Zschaler}, title = {Foundations}, booktitle = {Composing Model-Based Analysis Tools}, pages = {9--37}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81915-6\_2}, doi = {10.1007/978-3-030-81915-6\_2}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV0Z21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/21/TalcottABCH0KRRSV21, author = {Carolyn L. Talcott and Sofia Ananieva and Kyungmin Bae and Beno{\^{\i}}t Combemale and Robert Heinrich and Mark Hills and Narges Khakpour and Ralf H. Reussner and Bernhard Rumpe and Patrizia Scandurra and Hans Vangheluwe}, editor = {Robert Heinrich and Francisco Dur{\'{a}}n and Carolyn L. Talcott and Steffen Zschaler}, title = {Composition of Languages, Models, and Analyses}, booktitle = {Composing Model-Based Analysis Tools}, pages = {45--70}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81915-6\_4}, doi = {10.1007/978-3-030-81915-6\_4}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-08241, author = {Hiun Kim and Jisu Jeong and Kyung{-}Min Kim and Dongjun Lee and Hyun Dong Lee and Dongpil Seo and Jeeseung Han and Dong Wook Park and Ji Ae Heo and Rak Yeong Kim}, title = {Intent-based Product Collections for E-commerce using Pretrained Language Models}, journal = {CoRR}, volume = {abs/2110.08241}, year = {2021}, url = {https://arxiv.org/abs/2110.08241}, eprinttype = {arXiv}, eprint = {2110.08241}, timestamp = {Fri, 22 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-08241.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aisy/KimSSPAJKSK20, author = {Young Seok Kim and Myeong Won Son and Hanchan Song and Juseong Park and Jangho An and Jae Bum Jeon and Geun Young Kim and Seoil Son and Kyung Min Kim}, title = {Stateful In-Memory Logic System and Its Practical Implementation in a TaO x -Based Bipolar-Type Memristive Crossbar Array}, journal = {Adv. Intell. Syst.}, volume = {2}, number = {3}, pages = {1900156}, year = {2020}, url = {https://doi.org/10.1002/aisy.201900156}, doi = {10.1002/AISY.201900156}, timestamp = {Tue, 08 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aisy/KimSSPAJKSK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aisy/XuPKSYPFKH20, author = {Nuo Xu and Tae Gyun Park and Hae Jin Kim and Xinglong Shao and Kyung Jean Yoon and Tae Hyung Park and Liang Fang and Kyung Min Kim and Cheol Seong Hwang}, title = {A Stateful Logic Family Based on a New Logic Primitive Circuit Composed of Two Antiparallel Bipolar Memristors}, journal = {Adv. Intell. Syst.}, volume = {2}, number = {1}, pages = {1900082}, year = {2020}, url = {https://doi.org/10.1002/aisy.201900082}, doi = {10.1002/AISY.201900082}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aisy/XuPKSYPFKH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-ipr/ParkB20, author = {Kyung{-}Min Park and Cherl{-}O. Bae}, title = {Smoke detection in ship engine rooms based on video images}, journal = {{IET} Image Process.}, volume = {14}, number = {6}, pages = {1141--1149}, year = {2020}, url = {https://doi.org/10.1049/iet-ipr.2018.5305}, doi = {10.1049/IET-IPR.2018.5305}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iet-ipr/ParkB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaeO20, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, title = {Formal aspects of component software {(FACS} 2018)}, journal = {Sci. Comput. Program.}, volume = {200}, pages = {102547}, year = {2020}, url = {https://doi.org/10.1016/j.scico.2020.102547}, doi = {10.1016/J.SCICO.2020.102547}, timestamp = {Tue, 24 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BaeO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/LeeGL20, author = {Il{-}Gu Lee and Kyungmin Go and Jung Hoon Lee}, title = {Battery Draining Attack and Defense against Power Saving Wireless {LAN} Devices}, journal = {Sensors}, volume = {20}, number = {7}, pages = {2043}, year = {2020}, url = {https://doi.org/10.3390/s20072043}, doi = {10.3390/S20072043}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/LeeGL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/AbdelhamedATBCZ20, author = {Abdelrahman Abdelhamed and Mahmoud Afifi and Radu Timofte and Michael S. Brown and Yue Cao and Zhilu Zhang and Wangmeng Zuo and Xiaoling Zhang and Jiye Liu and Wendong Chen and Changyuan Wen and Meng Liu and Shuailin Lv and Yunchao Zhang and Zhihong Pan and Baopu Li and Teng Xi and Yanwen Fan and Xiyu Yu and Gang Zhang and Jingtuo Liu and Junyu Han and Errui Ding and Songhyun Yu and Bumjun Park and Jechang Jeong and Shuai Liu and Ziyao Zong and Nan Nan and Chenghua Li and Zengli Yang and Long Bao and Shuangquan Wang and Dongwoon Bai and Jungwon Lee and Youngjung Kim and Kyeongha Rho and Changyeop Shin and Sungho Kim and Pengliang Tang and Yiyun Zhao and Yuqian Zhou and Yuchen Fan and Thomas S. Huang and Zhihao Li and Nisarg A. Shah and Wei Liu and Qiong Yan and Yuzhi Zhao and Marcin Mozejko and Tomasz Latkowski and Lukasz Treszczotko and Michal Szafraniuk and Krzysztof Trojanowski and Yanhong Wu and Pablo Navarrete Michelini and Fengshuo Hu and Yunhua Lu and Sujin Kim and Wonjin Kim and Jaayeon Lee and Jang{-}Hwan Choi and Magauiya Zhussip and Azamat Khassenov and Jong Hyun Kim and Hwechul Cho and Priya Kansal and Sabari Nathan and Zhangyu Ye and Xiwen Lu and Yaqi Wu and Jiangxin Yang and Yanlong Cao and Siliang Tang and Yanpeng Cao and Matteo Maggioni and Ioannis Marras and Thomas Tanay and Gregory G. Slabaugh and Youliang Yan and Myungjoo Kang and Han{-}Soo Choi and Kyungmin Song and Shusong Xu and Xiaomu Lu and Tingniao Wang and Chunxia Lei and Bin Liu and Rajat Gupta and Vineet Kumar}, title = {{NTIRE} 2020 Challenge on Real Image Denoising: Dataset, Methods and Results}, booktitle = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} Workshops 2020, Seattle, WA, USA, June 14-19, 2020}, pages = {2077--2088}, publisher = {Computer Vision Foundation / {IEEE}}, year = {2020}, url = {https://openaccess.thecvf.com/content\_CVPRW\_2020/html/w31/Abdelhamed\_NTIRE\_2020\_Challenge\_on\_Real\_Image\_Denoising\_Dataset\_Methods\_and\_CVPRW\_2020\_paper.html}, doi = {10.1109/CVPRW50498.2020.00256}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/AbdelhamedATBCZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iui/ChoiKPYLKSL20, author = {Jun{-}Ho Choi and Kyungmin Kim and Taejin Park and Junho Yun and Jong{-}Hwan Lee and Songkuk Kim and Hyunjung Shim and Jong{-}Seok Lee}, title = {Real-time Integrated Human Activity Recognition System based on Multimodal User Understanding}, booktitle = {{IUI} '20: 25th International Conference on Intelligent User Interfaces, Cagliari, Italy, March 17-20, 2020, Companion}, pages = {89--90}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3379336.3381482}, doi = {10.1145/3379336.3381482}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iui/ChoiKPYLKSL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2020formalise, editor = {Kyungmin Bae and Domenico Bianculli and Stefania Gnesi and Nico Plat}, title = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3372020}, doi = {10.1145/3372020}, isbn = {978-1-4503-7071-4}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2020formalise.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-00577, author = {Kwangyoun Kim and Kyungmin Lee and Dhananjaya Gowda and Junmo Park and Sungsoo Kim and Sichen Jin and Young{-}Yoon Lee and Jinsu Yeo and Daehyun Kim and Seokyeong Jung and Jungin Lee and Myoungji Han and Chanwoo Kim}, title = {Attention based on-device streaming speech recognition with large speech corpus}, journal = {CoRR}, volume = {abs/2001.00577}, year = {2020}, url = {http://arxiv.org/abs/2001.00577}, eprinttype = {arXiv}, eprint = {2001.00577}, timestamp = {Mon, 24 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-00577.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-04117, author = {Abdelrahman Abdelhamed and Mahmoud Afifi and Radu Timofte and Michael S. Brown and Yun Cao and Zhilu Zhang and Wangmeng Zuo and Xiaoling Zhang and Jiye Liu and Wendong Chen and Changyuan Wen and Meng Liu and Shuailin Lv and Yunchao Zhang and Zhihong Pan and Baopu Li and Teng Xi and Yanwen Fan and Xiyu Yu and Gang Zhang and Jingtuo Liu and Junyu Han and Errui Ding and Songhyun Yu and Bumjun Park and Jechang Jeong and Shuai Liu and Ziyao Zong and Nan Nan and Chenghua Li and Zengli Yang and Long Bao and Shuangquan Wang and Dongwoon Bai and Jungwon Lee and Youngjung Kim and Kyeongha Rho and Changyeop Shin and Sungho Kim and Pengliang Tang and Yiyun Zhao and Yuqian Zhou and Yuchen Fan and Thomas S. Huang and Zhihao Li and Nisarg A. Shah and Wei Liu and Qiong Yan and Yuzhi Zhao and Marcin Mozejko and Tomasz Latkowski and Lukasz Treszczotko and Michal Szafraniuk and Krzysztof Trojanowski and Yanhong Wu and Pablo Navarrete Michelini and Fengshuo Hu and Yunhua Lu and Sujin Kim and Wonjin Kim and Jaayeon Lee and Jang{-}Hwan Choi and Magauiya Zhussip and Azamat Khassenov and Jong Hyun Kim and Hwechul Cho and Priya Kansal and Sabari Nathan and Zhangyu Ye and Xiwen Lu and Yaqi Wu and Jiangxin Yang and Yanlong Cao and Siliang Tang and Yanpeng Cao and Matteo Maggioni and Ioannis Marras and Thomas Tanay and Gregory G. Slabaugh and Youliang Yan and Myungjoo Kang and Han{-}Soo Choi and Kyungmin Song and Shusong Xu and Xiaomu Lu and Tingniao Wang and Chunxia Lei and Bin Liu and Rajat Gupta and Vineet Kumar}, title = {{NTIRE} 2020 Challenge on Real Image Denoising: Dataset, Methods and Results}, journal = {CoRR}, volume = {abs/2005.04117}, year = {2020}, url = {https://arxiv.org/abs/2005.04117}, eprinttype = {arXiv}, eprint = {2005.04117}, timestamp = {Mon, 19 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-04117.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-11747, author = {Kyungmin Lee and Hyunwhan Joe and Hyeontaek Lim and Kwangyoun Kim and Sungsoo Kim and Chang Woo Han and Hong{-}Gee Kim}, title = {Sequential Routing Framework: Fully Capsule Network-based Speech Recognition}, journal = {CoRR}, volume = {abs/2007.11747}, year = {2020}, url = {https://arxiv.org/abs/2007.11747}, eprinttype = {arXiv}, eprint = {2007.11747}, timestamp = {Wed, 29 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-11747.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-11794, author = {Kyungmin Lee and Chiyoun Park and Ilhwan Kim and Namhoon Kim and Jaewon Lee}, title = {Applying {GPGPU} to Recurrent Neural Network Language Model based Fast Network Search in the Real-Time {LVCSR}}, journal = {CoRR}, volume = {abs/2007.11794}, year = {2020}, url = {https://arxiv.org/abs/2007.11794}, eprinttype = {arXiv}, eprint = {2007.11794}, timestamp = {Wed, 29 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-11794.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/KangSK19, author = {Bong Gu Kang and Kyung{-}Min Seo and Tag Gon Kim}, title = {Model-Based Design of Defense Cyber-Physical Systems to Analyze Mission Effectiveness and Network Performance}, journal = {{IEEE} Access}, volume = {7}, pages = {42063--42080}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2907566}, doi = {10.1109/ACCESS.2019.2907566}, timestamp = {Fri, 31 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/KangSK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BaeL19, author = {Kyungmin Bae and Jia Lee}, title = {Bounded model checking of signal temporal logic properties using syntactic separation}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {51:1--51:30}, year = {2019}, url = {https://doi.org/10.1145/3290364}, doi = {10.1145/3290364}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BaeL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaeR19, author = {Kyungmin Bae and Camilo Rocha}, title = {Symbolic state space reduction with guarded terms for rewriting modulo {SMT}}, journal = {Sci. Comput. Program.}, volume = {178}, pages = {20--42}, year = {2019}, url = {https://doi.org/10.1016/j.scico.2019.03.006}, doi = {10.1016/J.SCICO.2019.03.006}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BaeR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simulation/KangSK19, author = {Bong Gu Kang and Kyung{-}Min Seo and Tag Gon Kim}, title = {Machine learning-based discrete event dynamic surrogate model of communication systems for simulating the command, control, and communication system of systems}, journal = {Simul.}, volume = {95}, number = {8}, year = {2019}, url = {https://doi.org/10.1177/0037549718809890}, doi = {10.1177/0037549718809890}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/simulation/KangSK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tog/HongHCSN19, author = {Seokpyo Hong and Daseong Han and Kyungmin Cho and Joseph S. Shin and Junyong Noh}, title = {Physics-based full-body soccer motion control for dribbling and shooting}, journal = {{ACM} Trans. Graph.}, volume = {38}, number = {4}, pages = {74:1--74:12}, year = {2019}, url = {https://doi.org/10.1145/3306346.3322963}, doi = {10.1145/3306346.3322963}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tog/HongHCSN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asru/KimJLHKLGPKJLYK19, author = {Kwangyoun Kim and Seokyeong Jung and Jungin Lee and Myoungji Han and Chanwoo Kim and Kyungmin Lee and Dhananjaya Gowda and Junmo Park and Sungsoo Kim and Sichen Jin and Young{-}Yoon Lee and Jinsu Yeo and Daehyun Kim}, title = {Attention Based On-Device Streaming Speech Recognition with Large Speech Corpus}, booktitle = {{IEEE} Automatic Speech Recognition and Understanding Workshop, {ASRU} 2019, Singapore, December 14-18, 2019}, pages = {956--963}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ASRU46091.2019.9004027}, doi = {10.1109/ASRU46091.2019.9004027}, timestamp = {Mon, 24 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asru/KimJLHKLGPKJLYK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/LeeKSGPR19, author = {Kyung{-}Min Lee and Dae{-}Hyun Kim and Jae{-}Hyuck Shin and Tae{-}Dong Goh and Jun{-}Hyeong Park and Young{-}Ho Ryu}, title = {Reconfigurable battery system with active balancing circuit}, booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019}, pages = {4583--4586}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IECON.2019.8927747}, doi = {10.1109/IECON.2019.8927747}, timestamp = {Wed, 01 Jan 2020 14:47:53 +0100}, biburl = {https://dblp.org/rec/conf/iecon/LeeKSGPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/ChoKKPKLKCK18, author = {Seonghee Cho and Kyungmin Kim and Taehoon Kim and Hyoeun Park and Jin{-}Moo Kim and SeungHoon Lee and Yeonsu Kang and Kiyuk Chang and Chulhong Kim}, title = {High-Contrast Imaging of Cholesterol Crystals in Rabbit Arteries Ex Vivo Using LED-Based Polarization Microscopy}, journal = {Sensors}, volume = {18}, number = {4}, pages = {1258}, year = {2018}, url = {https://doi.org/10.3390/s18041258}, doi = {10.3390/S18041258}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/ChoKKPKLKCK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/LeeLCK18, author = {Sang{-}Won Lee and Kyung{-}Min Lee and Yoon{-}Geol Choi and Bongkoo Kang}, title = {Modularized Design of Active Charge Equalizer for Li-Ion Battery Pack}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {65}, number = {11}, pages = {8697--8706}, year = {2018}, url = {https://doi.org/10.1109/TIE.2018.2813997}, doi = {10.1109/TIE.2018.2813997}, timestamp = {Thu, 27 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/LeeLCK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biorob/YooLKKHPC18, author = {Ami Yoo and Kyungmin Lee and Byungjeon Kang and Chang{-}Sei Kim and Jiwon Han and Jong{-}Oh Park and Eunpyo Choi}, title = {Actively Controllable Stem Cell Spheroid-based Microrobot for Tissue Regeneration}, booktitle = {7th {IEEE} International Conference on Biomedical Robotics and Biomechatronics, BioRob 2018, Enschede, The Netherlands, August 26-29, 2018}, pages = {1286--1290}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/BIOROB.2018.8488086}, doi = {10.1109/BIOROB.2018.8488086}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/biorob/YooLKKHPC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eccv/ShimKKK18, author = {Minho Shim and Young Hwi Kim and Kyungmin Kim and Seon Joo Kim}, editor = {Vittorio Ferrari and Martial Hebert and Cristian Sminchisescu and Yair Weiss}, title = {Teaching Machines to Understand Baseball Games: Large-Scale Baseball Video Database for Multiple Video Understanding Tasks}, booktitle = {Computer Vision - {ECCV} 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part {XV}}, series = {Lecture Notes in Computer Science}, volume = {11219}, pages = {420--437}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01267-0\_25}, doi = {10.1007/978-3-030-01267-0\_25}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eccv/ShimKKK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/enter/RyuCC18, author = {Sunghan Ryu and Kyungmin Choi and Daegon Cho}, editor = {Brigitte Stangl and Juho Pesonen}, title = {Behaviour-Based Market Segmentation of Travellers and Their Different Activities at Peer-to-Peer Online Travel Marketplace}, booktitle = {Information and Communication Technologies in Tourism 2018, {ENTER} 2018, Proceedings of the International Conference in J{\"{o}}nk{\"{o}}ping, Sweden, January 24-26, 2018}, pages = {31--43}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-72923-7\_3}, doi = {10.1007/978-3-319-72923-7\_3}, timestamp = {Fri, 08 Feb 2019 07:44:08 +0100}, biburl = {https://dblp.org/rec/conf/enter/RyuCC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/LeePKL18, author = {Kyungmin Lee and Chiyoun Park and Namhoon Kim and Jaewon Lee}, title = {Accelerating Recurrent Neural Network Language Model Based Online Speech Recognition System}, booktitle = {2018 {IEEE} International Conference on Acoustics, Speech and Signal Processing, {ICASSP} 2018, Calgary, AB, Canada, April 15-20, 2018}, pages = {5904--5908}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICASSP.2018.8462334}, doi = {10.1109/ICASSP.2018.8462334}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/icassp/LeePKL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isscc/LeeKKJJKLKPLKLL18, author = {Seungjae Lee and Chulbum Kim and Minsu Kim and Sung{-}Min Joe and Joonsuc Jang and Seungbum Kim and Kangbin Lee and Jisu Kim and Jiyoon Park and Hanjun Lee and Min{-}Seok Kim and Seonyong Lee and SeonGeon Lee and Jinbae Bang and Dongjin Shin and Hwajun Jang and Deokwoo Lee and Nahyun Kim and Jonghoo Jo and Jonghoon Park and Sohyun Park and Youngsik Rho and Yongha Park and Hojoon Kim and Cheon An Lee and Chungho Yu and Young{-}Sun Min and Moosung Kim and Kyungmin Kim and Seunghyun Moon and Hyun{-}Jin Kim and Youngdon Choi and YoungHwan Ryu and Jinwon Choi and Minyeong Lee and Jungkwan Kim and Gyo Soo Choo and Jeong{-}Don Lim and Dae{-}Seok Byeon and Ki{-}Whan Song and Ki{-}Tae Park and Kyehyun Kyung}, title = {A 1Tb 4b/cell 64-stacked-WL 3D {NAND} flash memory with 12MB/s program throughput}, booktitle = {2018 {IEEE} International Solid-State Circuits Conference, {ISSCC} 2018, San Francisco, CA, USA, February 11-15, 2018}, pages = {340--342}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ISSCC.2018.8310323}, doi = {10.1109/ISSCC.2018.8310323}, timestamp = {Wed, 04 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isscc/LeeKKJJKLKPLKLL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/facs2/2018, editor = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, title = {Formal Aspects of Component Software - 15th International Conference, {FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11222}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02146-7}, doi = {10.1007/978-3-030-02146-7}, isbn = {978-3-030-02145-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-09866, author = {Kyungmin Lee and Chiyoun Park and Namhoon Kim and Jaewon Lee}, title = {Accelerating recurrent neural network language model based online speech recognition system}, journal = {CoRR}, volume = {abs/1801.09866}, year = {2018}, url = {http://arxiv.org/abs/1801.09866}, eprinttype = {arXiv}, eprint = {1801.09866}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-09866.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/AminantoKKK17, author = {Muhamad Erza Aminanto and Hakju Kim and Kyung{-}Min Kim and Kwangjo Kim}, title = {Another Fuzzy Anomaly Detection System Based on Ant Clustering Algorithm}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {100-A}, number = {1}, pages = {176--183}, year = {2017}, url = {https://doi.org/10.1587/transfun.E100.A.176}, doi = {10.1587/TRANSFUN.E100.A.176}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/AminantoKKK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jvca/JungHCECN17, author = {Sunjin Jung and Seokpyo Hong and Kyungmin Cho and Haegwang Eom and Byungkuk Choi and Junyong Noh}, title = {Age-related gait motion transformation based on biomechanical observations}, journal = {Comput. Animat. Virtual Worlds}, volume = {28}, number = {3-4}, year = {2017}, url = {https://doi.org/10.1002/cav.1774}, doi = {10.1002/CAV.1774}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jvca/JungHCECN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/LeeLCK17, author = {Kyung{-}Min Lee and Sang{-}Won Lee and Yoon{-}Geol Choi and Bongkoo Kang}, title = {Active Balancing of Li-Ion Battery Cells Using Transformer as Energy Carrier}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {64}, number = {2}, pages = {1251--1257}, year = {2017}, url = {https://doi.org/10.1109/TIE.2016.2611481}, doi = {10.1109/TIE.2016.2611481}, timestamp = {Thu, 27 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/LeeLCK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvt/KimKL17, author = {Jinhwan Kim and Kyungmin Kim and Jaiyong Lee}, title = {Energy-Efficient Relay Selection of Cooperative {HARQ} Based on the Number of Transmissions Over Rayleigh Fading Channels}, journal = {{IEEE} Trans. Veh. Technol.}, volume = {66}, number = {1}, pages = {610--621}, year = {2017}, url = {https://doi.org/10.1109/TVT.2016.2533624}, doi = {10.1109/TVT.2016.2533624}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tvt/KimKL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/ChoiJCC17, author = {Bareum Choi and Kyungmin Jo and Songe Choi and Jaesoon Choi}, title = {Surgical-tools detection based on Convolutional Neural Network in laparoscopic robot-assisted surgery}, booktitle = {2017 39th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society (EMBC), Jeju Island, South Korea, July 11-15, 2017}, pages = {1756--1759}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/EMBC.2017.8037183}, doi = {10.1109/EMBC.2017.8037183}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/embc/ChoiJCC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BaeR17, author = {Kyungmin Bae and Camilo Rocha}, editor = {Jos{\'{e}} Proen{\c{c}}a and Markus Lumpe}, title = {Guarded Terms for Rewriting Modulo {SMT}}, booktitle = {Formal Aspects of Component Software - 14th International Conference, {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10487}, pages = {78--97}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68034-7\_5}, doi = {10.1007/978-3-319-68034-7\_5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/BaeR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BaeG17, author = {Kyungmin Bae and Sicun Gao}, editor = {Daryl Stewart and Georg Weissenbacher}, title = {Modular SMT-based analysis of nonlinear hybrid systems}, booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna, Austria, October 2-6, 2017}, pages = {180--187}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.23919/FMCAD.2017.8102258}, doi = {10.23919/FMCAD.2017.8102258}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BaeG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/robio/LeKKLH0CKP17, author = {Viet Ha Le and Byungjeon Kang and Jayoung Kim and Kyungmin Lee and Manh Cuong Hoang and Van Du Nguyen and Eunpyo Choi and Chang{-}Sei Kim and Jong{-}Oh Park}, title = {Non-invasive active capsule endoscope integrated targeting biopsy function based on electro-mangetic actuation system}, booktitle = {2017 {IEEE} International Conference on Robotics and Biomimetics, {ROBIO} 2017, Macau, China, December 5-8, 2017}, pages = {2309--2313}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ROBIO.2017.8324763}, doi = {10.1109/ROBIO.2017.8324763}, timestamp = {Tue, 07 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/robio/LeKKLH0CKP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/es/YunLL16, author = {Unil Yun and Gangin Lee and Kyung{-}Min Lee}, title = {Efficient representative pattern mining based on weight and maximality conditions}, journal = {Expert Syst. J. Knowl. Eng.}, volume = {33}, number = {5}, pages = {439--462}, year = {2016}, url = {https://doi.org/10.1111/exsy.12158}, doi = {10.1111/EXSY.12158}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/es/YunLL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ficn/GohelLKAKKK16, author = {Bakul Gohel and Sanghyun Lim and Min{-}Young Kim and Kyung{-}min An and Ji{-}Eun Kim and Hyukchan Kwon and Kiwoong Kim}, title = {Evaluation of Phase-Amplitude Coupling in Resting State Magnetoencephalographic Signals: Effect of Surrogates and Evaluation Approach}, journal = {Frontiers Comput. Neurosci.}, volume = {10}, pages = {120}, year = {2016}, url = {https://doi.org/10.3389/fncom.2016.00120}, doi = {10.3389/FNCOM.2016.00120}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ficn/GohelLKAKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/irob/LeeLYKB16, author = {Chang{-}Hyuk Lee and Kyung{-}min Lee and Je Hong Yoo and In{-}su Kim and Young{-}Bong Bang}, title = {A compact stair-climbing wheelchair with two 3-DOF legs and a 1-DOF base}, journal = {Ind. Robot}, volume = {43}, number = {2}, pages = {181--192}, year = {2016}, url = {https://doi.org/10.1108/IR-05-2015-0085}, doi = {10.1108/IR-05-2015-0085}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/irob/LeeLYKB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jifs/YunKRLL16, author = {Unil Yun and Donggyu Kim and Heungmo Ryang and Gangin Lee and Kyung{-}Min Lee}, title = {Mining recent high average utility patterns based on sliding window from stream data}, journal = {J. Intell. Fuzzy Syst.}, volume = {30}, number = {6}, pages = {3605--3617}, year = {2016}, url = {https://doi.org/10.3233/IFS-162106}, doi = {10.3233/IFS-162106}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jifs/YunKRLL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/GoKBK16, author = {Kyungmin Go and Sungwon Kang and Jongmoon Baik and Myungchul Kim}, title = {Pairwise testing for systems with data derived from real-valued variable inputs}, journal = {Softw. Pract. Exp.}, volume = {46}, number = {3}, pages = {381--403}, year = {2016}, url = {https://doi.org/10.1002/spe.2295}, doi = {10.1002/SPE.2295}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/spe/GoKBK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/LeeLHCB16, author = {Kyung{-}min Lee and Chang{-}Hyuk Lee and Soonwook Hwang and Jiwon Choi and Young{-}Bong Bang}, title = {Power-Assisted Wheelchair With Gravity and Friction Compensation}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {63}, number = {4}, pages = {2203--2211}, year = {2016}, url = {https://doi.org/10.1109/TIE.2016.2514357}, doi = {10.1109/TIE.2016.2514357}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/LeeLHCB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tjs/LeeYL16, author = {Gangin Lee and Unil Yun and Kyung{-}Min Lee}, title = {Analysis of tree-based uncertain frequent pattern mining techniques without pattern losses}, journal = {J. Supercomput.}, volume = {72}, number = {11}, pages = {4296--4318}, year = {2016}, url = {https://doi.org/10.1007/s11227-016-1847-z}, doi = {10.1007/S11227-016-1847-Z}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tjs/LeeYL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/GoldmanBPMB16, author = {Robert P. Goldman and Daniel Bryce and Michael J. S. Pelican and David J. Musliner and Kyungmin Bae}, editor = {Daniele Magazzeni and Scott Sanner and Sylvie Thi{\'{e}}baux}, title = {An Architecture for Hybrid Planning and Execution}, booktitle = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona, USA, February 13, 2016}, series = {{AAAI} Technical Report}, volume = {{WS-16-12}}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12622}, timestamp = {Tue, 05 Sep 2023 08:59:27 +0200}, biburl = {https://dblp.org/rec/conf/aaai/GoldmanBPMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/JoCCMC16, author = {Kyungmin Jo and Bareum Choi and Songe Choi and Youngjin Moon and Jaesoon Choi}, title = {Automatic detection of hemorrhage and surgical instrument in laparoscopic surgery image}, booktitle = {38th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August 16-20, 2016}, pages = {1260--1263}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/EMBC.2016.7590935}, doi = {10.1109/EMBC.2016.7590935}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/embc/JoCCMC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BaeOKGC16, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Soonho Kong and Sicun Gao and Edmund M. Clarke}, editor = {Alessandro Abate and Georgios Fainekos}, title = {SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems}, booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016}, pages = {145--154}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2883817.2883849}, doi = {10.1145/2883817.2883849}, timestamp = {Fri, 13 Aug 2021 11:37:40 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BaeOKGC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/ZhengSLGKK16, author = {Le Zheng and Sangho Shin and G. Scott Lloyd and Maya B. Gokhale and Kyungmin Kim and Sung{-}Mo Kang}, title = {RRAM-based TCAMs for pattern search}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2016, Montr{\'{e}}al, QC, Canada, May 22-25, 2016}, pages = {1382--1385}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISCAS.2016.7527507}, doi = {10.1109/ISCAS.2016.7527507}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscas/ZhengSLGKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/GoldmanBPMB16, author = {Robert P. Goldman and Daniel Bryce and Michael J. S. Pelican and David J. Musliner and Kyungmin Bae}, editor = {Sanjai Rayadurgam and Oksana Tkachuk}, title = {A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control}, booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9690}, pages = {388--394}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40648-0\_29}, doi = {10.1007/978-3-319-40648-0\_29}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/GoldmanBPMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/HeZLSB16, author = {Xudong He and Reng Zeng and Su Liu and Zhuo Sun and Kyungmin Bae}, title = {A Term Rewriting Approach to Analyze High Level Petri Nets}, booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2016, Shanghai, China, July 17-19, 2016}, pages = {109--112}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/TASE.2016.11}, doi = {10.1109/TASE.2016.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/HeZLSB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaeKMO15, author = {Kyungmin Bae and Joshua Krisiloff and Jos{\'{e}} Meseguer and Peter Csaba {\"{O}}lveczky}, title = {Designing and verifying distributed cyber-physical systems using Multirate {PALS:} An airplane turning control system case study}, journal = {Sci. Comput. Program.}, volume = {103}, pages = {13--50}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.09.011}, doi = {10.1016/J.SCICO.2014.09.011}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BaeKMO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaeM15, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, title = {Model checking linear temporal logic of rewriting formulas under localized fairness}, journal = {Sci. Comput. Program.}, volume = {99}, pages = {193--234}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.006}, doi = {10.1016/J.SCICO.2014.02.006}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BaeM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tie/LeeCSK15, author = {Kyung Min Lee and Yoochae Chung and Chang{-}Hyeon Sung and Bongkoo Kang}, title = {Active Cell Balancing of Li-Ion Batteries Using {LC} Series Resonant Circuit}, journal = {{IEEE} Trans. Ind. Electron.}, volume = {62}, number = {9}, pages = {5491--5501}, year = {2015}, url = {https://doi.org/10.1109/TIE.2015.2408573}, doi = {10.1109/TIE.2015.2408573}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tie/LeeCSK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaeO15, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, editor = {Narciso Mart{\'{\i}}{-}Oliet and Peter Csaba {\"{O}}lveczky and Carolyn L. Talcott}, title = {Hybrid Multirate {PALS}}, booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}} Meseguer on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9200}, pages = {114--134}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23165-5\_5}, doi = {10.1007/978-3-319-23165-5\_5}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaeO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpsweek/BaeKG15, author = {Kyungmin Bae and Soonho Kong and Sicun Gao}, editor = {Goran Frehse and Matthias Althoff}, title = {{SMT} Encoding of Hybrid Systems in dReal}, booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015}, series = {EPiC Series in Computing}, volume = {34}, pages = {188--195}, publisher = {EasyChair}, year = {2015}, url = {https://doi.org/10.29007/s3b9}, doi = {10.29007/S3B9}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpsweek/BaeKG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/interspeech/LeePKKL15, author = {Kyungmin Lee and Chiyoun Park and Ilhwan Kim and Namhoon Kim and Jaewon Lee}, title = {Applying {GPGPU} to recurrent neural network language model based fast network search in the real-time {LVCSR}}, booktitle = {16th Annual Conference of the International Speech Communication Association, {INTERSPEECH} 2015, Dresden, Germany, September 6-10, 2015}, pages = {2102--2106}, publisher = {{ISCA}}, year = {2015}, url = {https://doi.org/10.21437/Interspeech.2015-475}, doi = {10.21437/INTERSPEECH.2015-475}, timestamp = {Tue, 11 Jun 2024 16:45:43 +0200}, biburl = {https://dblp.org/rec/conf/interspeech/LeePKKL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Bae14, author = {Kyungmin Bae}, title = {Rewriting-based model checking methods}, school = {University of Illinois Urbana-Champaign, {USA}}, year = {2014}, url = {https://hdl.handle.net/2142/50553}, timestamp = {Fri, 29 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Bae14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaeMO14, author = {Kyungmin Bae and Jos{\'{e}} Meseguer and Peter Csaba {\"{O}}lveczky}, title = {Formal patterns for multirate distributed real-time systems}, journal = {Sci. Comput. Program.}, volume = {91}, pages = {3--44}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2013.09.010}, doi = {10.1016/J.SCICO.2013.09.010}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BaeMO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simulation/SeoCKK14, author = {Kyung{-}Min Seo and Chang Beom Choi and Tag Gon Kim and Jung Hoon Kim}, title = {DEVS-based combat modeling for engagement-level simulation}, journal = {Simul.}, volume = {90}, number = {7}, pages = {759--781}, year = {2014}, url = {https://doi.org/10.1177/0037549714532960}, doi = {10.1177/0037549714532960}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/simulation/SeoCKK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvt/NguyenONB14, author = {T. T. Ngoc Nguyen and Sai Kiran Oruganti and Kyungmin Na and Franklin Bien}, title = {An Adaptive Backward Control Battery Equalization System for Serially Connected Lithium-ion Battery Packs}, journal = {{IEEE} Trans. Veh. Technol.}, volume = {63}, number = {8}, pages = {3651--3660}, year = {2014}, url = {https://doi.org/10.1109/TVT.2014.2304453}, doi = {10.1109/TVT.2014.2304453}, timestamp = {Sun, 31 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tvt/NguyenONB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BaeOM14, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Jos{\'{e}} Meseguer}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, title = {Definition, Semantics, and Analysis of Multirate Synchronous {AADL}}, booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8442}, pages = {94--109}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06410-9\_7}, doi = {10.1007/978-3-319-06410-9\_7}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/BaeOM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gis/ChangH14, author = {Kyungmin Chang and Dongsoo Han}, editor = {Rolf A. de By and Carola Wenk}, title = {Crowdsourcing-based radio map update automation for wi-fi positioning systems}, booktitle = {Proceedings of the 3rd {ACM} {SIGSPATIAL} International Workshop on Crowdsourced and Volunteered Geographic Information, GeoCrowd '14, Dallas, Texas, USA, November 4, 2014}, pages = {24--31}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2676440.2676441}, doi = {10.1145/2676440.2676441}, timestamp = {Sun, 12 Nov 2023 02:14:39 +0100}, biburl = {https://dblp.org/rec/conf/gis/ChangH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaeM14, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, editor = {Gilles Dowek}, title = {Predicate Abstraction of Rewrite Theories}, booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference, {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8560}, pages = {61--76}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08918-8\_5}, doi = {10.1007/978-3-319-08918-8\_5}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaeM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/urai/LiuSJS14, author = {Yanheng Liu and Myeongseok Shin and Kyungmin Jeong and TaeWon Seo}, title = {Dry adhesion optimization design for a wall-climbing robot based on experiment}, booktitle = {11th International Conference on Ubiquitous Robots and Ambient Intelligence, {URAI} 2014, Kuala Lumpur, Malaysia, November 12-15, 2014}, pages = {216--219}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/URAI.2014.7057435}, doi = {10.1109/URAI.2014.7057435}, timestamp = {Wed, 19 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/urai/LiuSJS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/BaeM14, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, editor = {Santiago Escobar}, title = {Infinite-State Model Checking of {LTLR} Formulas Using Narrowing}, booktitle = {Rewriting Logic and Its Applications - 10th International Workshop, {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8663}, pages = {113--129}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12904-4\_6}, doi = {10.1007/978-3-319-12904-4\_6}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/BaeM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejivp/LeeKLKL13, author = {Jaeho Lee and Seongwan Kim and Kyungmin Lim and Jae Kim and Sangyoun Lee}, title = {Fast intermode decision algorithm based on general and local residual complexity in {H.264/AVC}}, journal = {{EURASIP} J. Image Video Process.}, volume = {2013}, pages = {30}, year = {2013}, url = {https://doi.org/10.1186/1687-5281-2013-30}, doi = {10.1186/1687-5281-2013-30}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ejivp/LeeKLKL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijdsn/KimPJHKK13, author = {Kyungmin Kim and Kwang{-}Il Park and Yewon Jeong and June Seok Hong and Hak{-}Jin Kim and Wooju Kim}, title = {{HMM} and Rule-Based Hybrid Intruder Detection Approach by Synthesizing Decisions of Sensors}, journal = {Int. J. Distributed Sens. Networks}, volume = {9}, year = {2013}, url = {https://doi.org/10.1155/2013/503965}, doi = {10.1155/2013/503965}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijdsn/KimPJHKK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simulation/HongSK13, author = {Jeong{-}Hee Hong and Kyung{-}Min Seo and Tag Gon Kim}, title = {Simulation-based optimization for design parameter exploration in hybrid system: a defense system example}, journal = {Simul.}, volume = {89}, number = {3}, pages = {362--380}, year = {2013}, url = {https://doi.org/10.1177/0037549712466707}, doi = {10.1177/0037549712466707}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/simulation/HongSK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globalsip/SuR13, author = {Kyungmin Su and Kay A. Robbins}, title = {Content-based {EEG} database retrieval using a multiclass {SVM} classifier}, booktitle = {{IEEE} Global Conference on Signal and Information Processing, GlobalSIP 2013, Austin, TX, USA, December 3-5, 2013}, pages = {17--20}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/GlobalSIP.2013.6736800}, doi = {10.1109/GLOBALSIP.2013.6736800}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/globalsip/SuR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/SungLK13, author = {Chang{-}Hyeon Sung and Kyung{-}Min Lee and Bongkoo Kang}, title = {Voltage equalizer for li-ion battery string using {LC} series resonance}, booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics Society, Vienna, Austria, November 10-13, 2013}, pages = {1404--1409}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IECON.2013.6699338}, doi = {10.1109/IECON.2013.6699338}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/iecon/SungLK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/SuR13, author = {Kyungmin Su and Kay A. Robbins}, title = {A framework for content-based retrieval of {EEG} with applications to neuroscience and beyond}, booktitle = {The 2013 International Joint Conference on Neural Networks, {IJCNN} 2013, Dallas, TX, USA, August 4-9, 2013}, pages = {1--8}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IJCNN.2013.6707106}, doi = {10.1109/IJCNN.2013.6707106}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/SuR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaeEM13, author = {Kyungmin Bae and Santiago Escobar and Jos{\'{e}} Meseguer}, editor = {Femke van Raamsdonk}, title = {Abstract Logical Model Checking of Infinite-State Systems Using Narrowing}, booktitle = {24th International Conference on Rewriting Techniques and Applications, {RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands}, series = {LIPIcs}, volume = {21}, pages = {81--96}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/LIPIcs.RTA.2013.81}, doi = {10.4230/LIPICS.RTA.2013.81}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaeEM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/icl/OhHKL12, author = {BongHwan Oh and Jechan Han and Kyungmin Kim and Jaiyong Lee}, title = {A New Receiver-Based Retransmission Scheme with {TFRC}}, journal = {{IEEE} Commun. Lett.}, volume = {16}, number = {12}, pages = {2091--2094}, year = {2012}, url = {https://doi.org/10.1109/LCOMM.2012.101712.121314}, doi = {10.1109/LCOMM.2012.101712.121314}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/icl/OhHKL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BaeOFLT12, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Thomas Huining Feng and Edward A. Lee and Stavros Tripakis}, title = {Verifying hierarchical Ptolemy {II} discrete-event models using Real-Time Maude}, journal = {Sci. Comput. Program.}, volume = {77}, number = {12}, pages = {1235--1271}, year = {2012}, url = {https://doi.org/10.1016/j.scico.2010.10.002}, doi = {10.1016/J.SCICO.2010.10.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BaeOFLT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/BaeMO12, author = {Kyungmin Bae and Jos{\'{e}} Meseguer and Peter Csaba {\"{O}}lveczky}, editor = {Corina S. Pasareanu and Gwen Sala{\"{u}}n}, title = {Formal Patterns for Multi-rate Distributed Real-Time Systems}, booktitle = {Formal Aspects of Component Software, 9th International Symposium, {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7684}, pages = {1--18}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35861-6\_1}, doi = {10.1007/978-3-642-35861-6\_1}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/BaeMO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BaeOMA12, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Jos{\'{e}} Meseguer and Abdullah Al{-}Nayeem}, editor = {Juan de Lara and Andrea Zisman}, title = {The SynchAADL2Maude Tool}, booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7212}, pages = {59--62}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28872-2\_4}, doi = {10.1007/978-3-642-28872-2\_4}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/BaeOMA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/BaeM12, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, editor = {Francisco Dur{\'{a}}n}, title = {Model Checking {LTLR} Formulas under Localized Fairness}, booktitle = {Rewriting Logic and Its Applications - 9th International Workshop, {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7571}, pages = {99--117}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34005-5\_6}, doi = {10.1007/978-3-642-34005-5\_6}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/BaeM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1301-0038, author = {Kyungmin Bae and Joshua Krisiloff and Jos{\'{e}} Meseguer and Peter Csaba {\"{O}}lveczky}, editor = {Peter Csaba {\"{O}}lveczky and Cyrille Artho}, title = {PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude}, booktitle = {Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12, 2012}, series = {{EPTCS}}, volume = {105}, pages = {5--21}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.105.2}, doi = {10.4204/EPTCS.105.2}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1301-0038.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/ParkKYK11, author = {Kyungmin Park and Chungha Koh and Kang Jin Yoon and Young Yong Kim}, title = {Dynamic Channel Adaptation for {IP} Based Split Spectrum Femto/Macro Cellular Systems}, journal = {{IEICE} Trans. Commun.}, volume = {94-B}, number = {3}, pages = {694--697}, year = {2011}, url = {https://doi.org/10.1587/transcom.E94.B.694}, doi = {10.1587/TRANSCOM.E94.B.694}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/ParkKYK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BaeM11, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, editor = {Ganesh Gopalakrishnan and Shaz Qadeer}, title = {State/Event-Based {LTL} Model Checking under Parametric Generalized Fairness}, booktitle = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6806}, pages = {132--148}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22110-1\_11}, doi = {10.1007/978-3-642-22110-1\_11}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BaeM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/BaeOAM11, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Abdullah Al{-}Nayeem and Jos{\'{e}} Meseguer}, editor = {Shengchao Qin and Zongyan Qiu}, title = {Synchronous {AADL} and Its Formal Analysis in Real-Time Maude}, booktitle = {Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6991}, pages = {651--667}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24559-6\_43}, doi = {10.1007/978-3-642-24559-6\_43}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/BaeOAM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/ShinKK11, author = {Sangho Shin and Kyungmin Kim and Sung{-}Mo Kang}, title = {Complementary structure of memristive devices based passive memory arrays}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May 15-19 2011, Rio de Janeiro, Brazil}, pages = {321--324}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ISCAS.2011.5937567}, doi = {10.1109/ISCAS.2011.5937567}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscas/ShinKK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ntcir/JeongJKM11, author = {Yoonjae Jeong and Gwan Jang and Kyung{-}Min Kim and Sung{-}Hyon Myaeng}, editor = {Noriko Kando and Daisuke Ishikawa and Miho Sugimoto}, title = {Geo-temporal Information Retrieval Based on Semantic Role Labeling and Rank Aggregation}, booktitle = {Proceedings of the 9th {NTCIR} Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, Question Answering and Cross-Lingual Information Access, NTCIR-9, National Center of Sciences, Tokyo, Japan, December 6-9, 2011}, publisher = {National Institute of Informatics {(NII)}}, year = {2011}, url = {http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings9/NTCIR/03-NTCIR9-GEOTIME-JeongY.pdf}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ntcir/JeongJKM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/ShinKK10, author = {Sangho Shin and Kyungmin Kim and Sung{-}Mo Kang}, title = {Compact Models for Memristors Based on Charge-Flux Constitutive Relationships}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {29}, number = {4}, pages = {590--598}, year = {2010}, url = {https://doi.org/10.1109/TCAD.2010.2042891}, doi = {10.1109/TCAD.2010.2042891}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/ShinKK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ChoJJRS10, author = {Kyungmin Cho and Younghyun Ju and SungJae Jo and Yunseok Rhee and Junehwa Song}, editor = {Sheikh Iqbal Ahamed and Doo{-}Hwan Bae and Sung Deok Cha and Carl K. Chang and Rajesh Subramanyan and W. Eric Wong and Hen{-}I Yang}, title = {A Scalable and Efficient Path Management Scheme for Internet-Based Sensor Data Delivery Infrastructure}, booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July 2010}, pages = {401--406}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/COMPSAC.2010.72}, doi = {10.1109/COMPSAC.2010.72}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ChoJJRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ntcir/ParkRKM10, author = {Keun{-}Chan Park and Jihee Ryu and Kyung{-}Min Kim and Sung{-}Hyon Myaeng}, editor = {Tetsuya Sakai and Mark Sanderson and William Webber}, title = {A Game-based Evaluation Method for Subjective Tasks Involving Text Content Analysis}, booktitle = {Proceedings of the 3rd International Workshop on Evaluating Information Access, {EVIA} 2010, National Center of Sciences, Tokyo, Japan, June 15, 2010}, pages = {69--76}, publisher = {National Institute of Informatics {(NII)}}, year = {2010}, url = {http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings8/EVIA/10-EVIA2010-ParkK.pdf}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ntcir/ParkRKM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/BaeM10, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, editor = {Peter Csaba {\"{O}}lveczky}, title = {The Linear Temporal Logic of Rewriting Maude Model Checker}, booktitle = {Rewriting Logic and Its Applications - 8th International Workshop, {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6381}, pages = {208--225}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16310-4\_14}, doi = {10.1007/978-3-642-16310-4\_14}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/BaeM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1009-4261, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky}, editor = {Peter Csaba {\"{O}}lveczky}, title = {Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical {DE} Models}, booktitle = {Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9, 2010}, series = {{EPTCS}}, volume = {36}, pages = {46--66}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.36.3}, doi = {10.4204/EPTCS.36.3}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-4261.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/BaeOFT09, author = {Kyungmin Bae and Peter Csaba {\"{O}}lveczky and Thomas Huining Feng and Stavros Tripakis}, editor = {Karin K. Breitman and Ana Cavalcanti}, title = {Verifying Ptolemy {II} Discrete-Event Models Using Real-Time Maude}, booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5885}, pages = {717--736}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10373-5\_37}, doi = {10.1007/978-3-642-10373-5\_37}, timestamp = {Mon, 21 Feb 2022 14:40:49 +0100}, biburl = {https://dblp.org/rec/conf/icfem/BaeOFT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cse/HamBB08, author = {Kyungmin Ham and Heath A. Barnett and Leslie G. Butler}, title = {Burning Issues in Tomography Analysis}, journal = {Comput. Sci. Eng.}, volume = {10}, number = {2}, pages = {78--81}, year = {2008}, url = {https://doi.org/10.1109/MCSE.2008.51}, doi = {10.1109/MCSE.2008.51}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cse/HamBB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaeM12, author = {Kyungmin Bae and Jos{\'{e}} Meseguer}, editor = {G{\"{u}}nter Kniesel and Jorge Sousa Pinto}, title = {A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting}, booktitle = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008, Hagenberg, Austria, July 14-18, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {290}, pages = {19--36}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2012.11.009}, doi = {10.1016/J.ENTCS.2012.11.009}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BaeM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icess/YangKKLY07, author = {Inseok Yang and Donggil Kim and Kyungmin Kang and Dongik Lee and Kyungsik Yoon}, editor = {Yann{-}Hang Lee and Heung{-}Nam Kim and Jong Kim and Yongwan Park and Laurence Tianruo Yang and Sung Won Kim}, title = {Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical Embedded Systems}, booktitle = {Embedded Software and Systems, [Third] International Conference, {ICESS} 2007, Daegu, Korea, May 14-16, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4523}, pages = {615--626}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72685-2\_57}, doi = {10.1007/978-3-540-72685-2\_57}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/icess/YangKKLY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/HuhLCJK06, author = {Jinwook Huh and Kyungmin Lee and Wan Kyun Chung and Woong Shik Jeong and Kyung Keun Kim}, title = {Mobile Robot Exploration in Indoor Environment Using Topological Structure with Invisible Barcode}, booktitle = {2006 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2006, October 9-15, 2006, Beijing, China}, pages = {5265--5272}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/IROS.2006.282025}, doi = {10.1109/IROS.2006.282025}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/iros/HuhLCJK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isnn/KimBPKMKK06, author = {Yejin Kim and Hyeon Bae and Kyungmin Poo and Jongrack Kim and Taesup Moon and Sungshin Kim and Changwon Kim}, editor = {Jun Wang and Zhang Yi and Jacek M. Zurada and Bao{-}Liang Lu and Hujun Yin}, title = {Soft Sensor Using {PNN} Model and Rule Base for Wastewater Treatment Plant}, booktitle = {Advances in Neural Networks - {ISNN} 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {3973}, pages = {1261--1269}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11760191\_184}, doi = {10.1007/11760191\_184}, timestamp = {Tue, 20 Aug 2024 07:54:43 +0200}, biburl = {https://dblp.org/rec/conf/isnn/KimBPKMKK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trob/BangLKLK05, author = {Young{-}Bong Bang and Kyung{-}min Lee and Juho Kook and Wonseok Lee and In{-}su Kim}, title = {Micro parts assembly system with micro gripper and {RCC} unit}, journal = {{IEEE} Trans. Robotics}, volume = {21}, number = {3}, pages = {465--470}, year = {2005}, url = {https://doi.org/10.1109/TRO.2004.838028}, doi = {10.1109/TRO.2004.838028}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/trob/BangLKLK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vtc/JeKSLLB04, author = {Hui Won Je and Kyung Min Kim and Oh{-}Soon Shin and Won{-}Ick Lee and Kwang Bok Lee and Saewoong Bahk}, title = {A novel multiple access scheme for uplink cellular systems}, booktitle = {Proceedings of the 60th {IEEE} Vehicular Technology Conference, {VTC} Fall 2004, 26-29 September 2004, Los Angeles, CA, {USA}}, pages = {984--988}, publisher = {{IEEE}}, year = {2004}, url = {https://doi.org/10.1109/VETECF.2004.1400168}, doi = {10.1109/VETECF.2004.1400168}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vtc/JeKSLLB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/KimCHKL03, author = {Su Myeon Kim and Kyungmin Cho and Inseok Hwang and Seungwoo Kang and Heung{-}Kyu Lee}, editor = {Gary B. Lamont and Hisham Haddad and George A. Papadopoulos and Brajendra Panda}, title = {{CIGMA:} aCtive inventory service in Global e-MArket Based on Efficient Catalog Management}, booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, {USA}}, pages = {653--658}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/952532.952659}, doi = {10.1145/952532.952659}, timestamp = {Wed, 09 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/KimCHKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.