Taeho Kim
Taeho Kim
ETRI (Electronics and Telecommunications Research Institute)
Geverifieerd e-mailadres voor etri.re.kr
Titel
Geciteerd door
Geciteerd door
Jaar
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
262018
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
152016
Dynamic virtualization technique for multicore processor system
T Kim
US Patent App. 13/274,492, 2012
122012
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
122001
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
112005
Active vibration/noise control of axial piston machine using swash plate control
T Kim, M Ivantysynova
Fluid Power Systems Technology 58332, V001T01A053, 2017
102017
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
102005
Cyber-physical system and method of monitoring virtual machine thereof
JA Shin, T Kim, CD Lim
US Patent 9,417,904, 2016
92016
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
92002
Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification
T Kim
Tese (Doutorado)-Korea Advanced Institute of Science and Technology, 2005
72005
A method of logically time synchronization for safety-critical distributed system
J Park, T Kim
2016 18th International Conference on Advanced Communication Technology …, 2016
62016
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
62015
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
62014
Hybrid virtualization method for interrupt controller in nested virtualization environment
V Dupre, T Kim, CD Lim
US Patent App. 14/825,409, 2016
52016
Qplus/Esto-AIR: DO-178B Level A Certified RTOS and IDE for Supporting ARINC 653
TH Kim, DH Son, CM Shin, SC Park, DH Lim, HY Lee, BH Gim, CD Lim
Communications of the Korean Institute of Information Scientists and …, 2012
52012
Syndicate: Software platform for distributed real-time system
E Pak, YM Ha, J Park, Y Kim, M Song, T Kim
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing …, 2015
42015
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
42009
Developing distributed software systems by incorporating meta-object protocol (diMOP) with unified modeling language (UML)
JS Lee, TH Kim, GS Yoon, JE Hong, SD Cha, DH Bae
Proceedings. Fourth International Symposium on Autonomous Decentralized …, 1999
41999
Shared Resource Partitioning in an RTOS
E Pak, D Lim, YM Ha, T Kim
Proceedings of the 13th International Workshop on Operating Systems …, 2017
32017
System and method for handling an interrupt
DH Lim, TH Kim, CD Lim
US Patent App. 14/538,916, 2016
32016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20