Young Joo Kim
According to our database1, Young Joo Kim
Legend:Book In proceedings Article PhD thesis Other
Path-tracking simulation and field tests for an auto-guidance tillage tractor for a paddy field.
Computers and Electronics in Agriculture, 2015
Validating Software Reliability Early through Statistical Model Checking.
IEEE Software, 2013
Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE.
Proceedings of the 34th International Conference on Software Engineering, 2012
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation.
Proceedings of the Hardware and Software: Verification and Testing, 2012
Incremental discount policy of cell-phone carrier with connection success rate constraint.
European Journal of Operational Research, 2009
An optimal operating policy for the production system with rework.
Computers & Industrial Engineering, 2009
AsiDesigner: exon-based siRNA design server considering alternative splicing.
Nucleic Acids Research, 2008
SNP@Domain: a web resource of single nucleotide polymorphisms (SNPs) within protein domain structures and sequences.
Nucleic Acids Research, 2006
FESD: a Functional Element SNPs Database in human.
Nucleic Acids Research, 2005