| 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 | 69 | 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 |
| Hybrid virtualization method for interrupt controller in nested virtualization environment V Dupre, T Kim, CD Lim US Patent App. 14/825,409, 2016 | 16 | 2016 |
| Cyber-physical system and method of monitoring virtual machine thereof JA Shin, T Kim, CD Lim US Patent 9,417,904, 2016 | 15 | 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 |
| 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 | 8 | 2022 |
| 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 |
| Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification TH Kim 한국과학기술원, 2005 | 7 | 2005 |
| Shared resource partitioning in an RTOS E Pak, D Lim, Y Ha, T Kim Proc. 13th Workshop Operating Syst. Platforms Embedded Real-Time Appl …, 2017 | 5 | 2017 |
| System and method for handling an interrupt DH Lim, TH Kim, CD Lim US Patent App. 14/538,916, 2016 | 5 | 2016 |
| Dual display of virtual machines for automotive infotainment systems H Joe, D Kang, JA Shin, V Dupre, SY Kim, T Kim, C Lim 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 131-132, 2015 | 5 | 2015 |
