Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2018 | UFO - Hidden Backdoor Discovery and Security Verification in IoT Device Firmware | C. W. Tien; T. T. Tsai; I. Y. Chen; S. Y. Kuo; SY-YEN KUO | 29th IEEE Symposium on Software Reliability Engineering (ISSRE 2018) | 14 | 0 | |
2003 | Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation | C. Y. Huang; M. R. Lyu; S. Y. Kuo; SY-YEN KUO | IEEE Transactions on Software Engineering | 209 | 156 | |
2018 | Using Tree-based Approaches to Analyze Dependability and Security on I&C Systems in Safety Critical Systems | C. S. Cho; W. H. Chung; S. Y. Kuo; SY-YEN KUO | IEEE Systems Journal | 4 | 5 | |
2004 | Verifying Web applications using bounded model checking | Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO | International Conference on Dependable Systems and Networks (DSN-2004) | 33 | 0 | |
2009 | Xprobe2++: Low volume remote network information gathering tool | F. V. Yarochkin; O. Arkin; M. Kydyraliev; S. Y. Dai; Y. Huang; S. Y. Kuo; SY-YEN KUO | 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2009) | 31 | 0 | |
2008 | Yield Enhancement Techniques for Content-Addressable Memories | S. K. Lu; G. Q. Lin; S. Y. Kuo; SY-YEN KUO | 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2008) |