Byoung U. Kim, Ph.D.

Affiliations: 
2008 Electrical & Computer Engineering University of Arizona, Tucson, AZ 
Area:
Computer Science
Google:
"Byoung Kim"

Parents

Sign in to add mentor
Salim Hariri grad student 2008 University of Arizona
 (Anomaly-based self-healing framework in distributed systems.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Kim BU, Humphrey LR. (2014) Satisfiability checking of LTL specifications for verifiable UAV mission planning 52nd Aiaa Aerospace Sciences Meeting - Aiaa Science and Technology Forum and Exposition, Scitech 2014
Kim BU. (2014) Verification and validation of UAV mission planning for human automation collaboration Iie Annual Conference and Expo 2014
Li M, Chen H, Zhang B, et al. (2014) Hazard regression modeling for robotic performance prediction Iie Annual Conference and Expo 2014. 3465-3471
Kim BU. (2012) Data flow analysis for anomaly detection and identification toward resiliency in extreme scale systems Journal of Supercomputing. 61: 6-26
Vohnout S, Kim BU, Kunst N, et al. (2012) A Model-based Avionic Prognostic Reasoner (MAPR) Aiaa Infotech At Aerospace Conference and Exhibit 2012
Kim BU, Engelman M, Vohnout S, et al. (2012) A robustness assessment for design tool Aiaa Infotech At Aerospace Conference and Exhibit 2012
Vohnout S, Bodden D, Kim BU, et al. (2012) Prognostic-enabling of an electrohydrostatic actuator (EHA) system Proceedings of the Annual Conference of the Prognostics and Health Management Society 2012, Phm 2012. 437-448
Liu J, Li J, Kim BU. (2011) Bayesian reliability modeling of multi-level system with interdependent subsystems and components Proceedings of 2011 Ieee International Conference On Intelligence and Security Informatics, Isi 2011. 252-257
Kim BU, Vohnout S, Mikkola E, et al. (2011) Causal analysis for troubleshooting and decision support system 2011 Ieee International Conference On Prognostics and Health Management, Phm 2011 - Conference Proceedings
Kim BU, Lynn C, Kunst N, et al. (2011) Fault classification with Gauss-Newton optimization and real-time simulation Ieee Aerospace Conference Proceedings
See more...