| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 1999 | Automatic Verification of Pointer Data-Structures Systems for All Numbers of Processes | Wang, Farn | TR-IIS-99-003 | | | |
| 1997 | High-Level Execution Time Analysis | Wang, Farn | TR-IIS-97-009 | | | |
| 1998 | Iterative Refinement and Condensation for State-Graph Construction | Wang, Farn; Hsiung, Pao-Ann | TR-IIS-98-009 | | | |
| 1997 | Parametric Analysis of Computer Systems | Wang, Farn; Hsiung, Pao-Ann | TR-IIS-97-010 | | | |
| 1998 | Scheduling System Verification | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun | TR-IIS-98-014 | | | |
| 1998 | Verification of Dynamic Linear Lists for All Numbers of Processes | Wang, Farn | TR-IIS-98-019 | | | |
