| 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) | 2 | 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 | 174 | 138 | |
| 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 | 2 | |
| 2020 | VENUS: Verifiable Range Query in Data Streaming | I. C. Tsai; C. M. Yu; H. Yokota; S. Y. Kuo; SY-YEN KUO | International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA 2018) within the IEEE INFOCOM | 0 | 0 | |
| 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) | 29 | 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) | 24 | 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) |
