| CBDN: cloud-based drone navigation for efficient battery charging in drone networks J Kim, S Kim, J Jeong, H Kim, JS Park, T Kim IEEE Transactions on Intelligent Transportation Systems 20 (11), 4174-4191, 2018 | 65 | 2018 |
| San: Self-adaptive navigation for drone battery charging in wireless drone networks J Kim, J Lee, J Jeong, H Kim, JS Park, T Kim 2016 30th International Conference on Advanced Information Networking and …, 2016 | 23 | 2016 |
| Quantune: Post-training quantization of convolutional neural networks using extreme gradient boosting for fast deployment J Lee, M Yu, Y Kwon, T Kim Future Generation Computer Systems 132, 124-135, 2022 | 20 | 2022 |
| Dynamic virtualization technique for multicore processor system T Kim US Patent App. 13/274,492, 2012 | 18 | 2012 |
| Cyber-physical system and method of monitoring virtual machine thereof JA Shin, T Kim, CD Lim US Patent 9,417,904, 2016 | 15 | 2016 |
| Hybrid virtualization method for interrupt controller in nested virtualization environment V Dupre, T Kim, CD Lim US Patent App. 14/825,409, 2016 | 14 | 2016 |
| Automated structural analysis of SCR‐style software requirements specifications using PVS T Kim, S Cha Software Testing, Verification and Reliability 11 (3), 143-163, 2001 | 12 | 2001 |
| A synthesis method of software fault tree from NuSCR formal specification using templates TH Kim, JB Yoo, SD Cha Journal of KIISE: Software and Applications 32 (12), 1178-1191, 2005 | 11 | 2005 |
| Formal verification of functional properties of a SCR-style software requirements specification using PVS T Kim, D Stringer-Calvert, S Cha Reliability Engineering & System Safety 87 (3), 351-363, 2005 | 10 | 2005 |
| Formal verification of functional properties of an SCR-style software requirements specification using PVS T Kim, D Stringer-Calvert, S Cha International Conference on Tools and Algorithms for the Construction and …, 2002 | 10 | 2002 |
| Clock offset estimation for systems with asymmetric packet delays Y Ha, E Pak, J Park, T Kim, JW Yoon IEEE/ACM Transactions on Networking 31 (4), 1838-1853, 2023 | 8 | 2023 |
| Device for controlling user interface, and method of controlling user interface thereof DW Kang, TH Kim, CD Lim US Patent App. 14/620,366, 2015 | 8 | 2015 |
| Clock synchronization method and apparatus YM Ha, EJ Pak, TH Kim US Patent 10,404,393, 2019 | 7 | 2019 |
| A method of logically time synchronization for safety-critical distributed system J Park, T Kim 2016 18th International Conference on Advanced Communication Technology …, 2016 | 7 | 2016 |
| Qplus-hyper: A hypervisor for safty-criticla systems T Kim, D Kang, S Kim, J Shin, D Lim, V Dupre The 9th International Symposium on Embedded Technology (ISET), 102-103, 2014 | 7 | 2014 |
| Model-based kernel testing for concurrency bugs through counter example replay M Kim, S Hong, C Hong, T Kim Electronic Notes in Theoretical Computer Science 253 (2), 21-36, 2009 | 7 | 2009 |
| Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification TH Kim 한국과학기술원, 2005 | 7 | 2005 |
| CPrune: Compiler-informed model pruning for efficient target-aware DNN execution T Kim, Y Kwon, J Lee, T Kim, S Ha European Conference on Computer Vision, 651-667, 2022 | 6 | 2022 |
| Remote graphical processing for dual display of RTOS and GPOS on an embedded hypervisor H Joe, D Kang, JA Shin, V Dupre, SY Kim, T Kim, C Lim 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 6 | 2015 |
| System and method for handling an interrupt DH Lim, TH Kim, CD Lim US Patent App. 14/538,916, 2016 | 5 | 2016 |
