| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2004 | Bounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang; Yao-Wen Huang | ||||
| 2015 | Network-Traffic Anomaly Detection with Incremental Majority Learning | Shin-Ying Huang; Fang Yu; Rua-Huan Tsaih; Yennun Huang | ||||
| 2002 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-02-014 | |||
| 2016 | Optimal Sanitization Synthesis for Web Application Vulnerability Repair | Fang Yu; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen; Bow-Yaw Wang; Tevfik Bultan | ||||
| 2002 | OVL Assertion-Checking of Embedded Softwares with Dense-Time Semantics | Farn Wang; Fang Yu | TR-IIS-02-011 | |||
| 2014 | Resistant Learning on the Envelope Bulk for Identifying Anomalous Patterns | Shin-Ying Huang; Fang Yu; Rua-Huan Tsaih; Yennun Huang | ||||
| 2003 | TCTL Inevitability Analysis of Dense-time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-03-006 | |||
| 2004 | Toward Unbounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang |
