| 2026 | ICST | SemLink: A Semantic-Aware Automated Test Oracle for Hyperlink Verification using Siamese Sentence-BERT. | Guan-Yan Yang, Wei-Ling Wen, Shu-Yuan Ku, Farn Wang, Kuo-Hui Yeh |
| 2017 | ICST | Using Semantic Similarity in Crawling-Based Web Application Testing. | Jun-Wei Lin, Farn Wang, Paul Chu |
| 2017 | IFM | Synthesizing Coalitions for Multi-agent Games. | Wei Ji, Farn Wang, Peng Wu |
| 2016 | ICECCS | An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. | Wei Ji, Farn Wang, Peng Wu, Yi Lv |
| 2016 | ICSE | PAC learning-based verification and model synthesis. | Yu-Fang Chen, Chiao Hsieh, Ondrej Lengl, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2015 | TACAS | CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2014 | SAS | Verifying Recursive Programs Using Intraprocedural Analyzers. | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2013 | APLAS | Temporal Specification Mining for Anomaly Analysis. | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li |
| 2013 | TACAS | Model-Checking Iterated Games. | Chung-Hao Huang, Sven Schewe, Farn Wang |
| 2011 | CONCUR | A Temporal Logic for the Interaction of Strategies. | Farn Wang, Chung-Hao Huang, Fang Yu |
| 2011 | DASC | Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. | Farn Wang, Li-Wei Yao, Jung-Hsuan Wu |
| 2011 | FASE | Evolving a Test Oracle in Black-Box Testing. | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang |
| 2010 | TASE | Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. | Farn Wang |
| 2009 | ATVA | LTL Model Checking for Recursive Programs. | Geng-Dian Huang, Lin-Zan Cai, Farn Wang |
| 2008 | ATVA | Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. | Farn Wang |
| 2008 | FORTE | Program Repair Suggestions from Graphical State-Transition Specifications. | Farn Wang, Chih-Hong Cheng |
| 2008 | RTSS | Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. | Farn Wang |
| 2006 | ISoLA | REDLIB for the Formal Verification of Embedded Systems. | Farn Wang |
| 2005 | ATVA | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. | Geng-Dian Huang, Farn Wang |
| 2005 | ICFEM | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. | Farn Wang |
| 2005 | SEKE | Verifying Timed and Linear Hybrid Rule-Systems with RED. | Farn Wang, Rong-Shiung Wu, Geng-Dian Huang |
| 2004 | CAV | Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. | Farn Wang |
| 2003 | FORTE | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. | Farn Wang, Geng-Dian Hwang, Fang Yu |
| 2003 | RTCSA | Symbolic Simulation of Real-Time Concurrent Systems. | Farn Wang, Geng-Dian Huang, Fang Yu |
| 2003 | RTCSA | OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. | Farn Wang, Fang Yu |
| 2003 | VMCAI | Efficient Verification of Timed Automata with BDD-Like Data-Structures. | Farn Wang |
| 2002 | FORTE | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. | Farn Wang, Karsten Schmidt |
| 2001 | APLAS | Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. | Farn Wang |
| 2001 | FORTE | Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. | Farn Wang |
| 2001 | SAS | Parametric Optimization of Open Real-Time Systems. | Farn Wang, Hsu-Chun Yen |
| 2000 | COMPSAC | Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. | Farn Wang |
| 2000 | RTCSA | On the verification of Wireless Transaction Protocol using SGM and RED. | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
| 2000 | TACAS | Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. | Farn Wang |
| 1999 | FM | Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. | Farn Wang |
| 1999 | FORTE | User-Friendly Verification. | Pao-Ann Hsiung, Farn Wang |
| 1999 | RTCSA | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
| 1999 | TACAS | Scheduling System Verification. | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
| 1998 | RTCSA | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Pao-Ann Hsiung, Farn Wang |
| 1997 | RTAS | Error Propagation Analysis of Real-Time Data Intensive Applications. | Tei-Wei Kuo, Doug Locke, Farn Wang |
| 1997 | RTCSA | PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. | Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang |
| 1996 | FM | Procedure-Level Verification of Real-time Concurrent Systems. | Farn Wang, Chia-Tien Dan Lo |
| 1996 | RTAS | Scalable compositional reachability analysis of real-time concurrent systems. | Farn Wang |
| 1996 | RTCSA | Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. | Farn Wang |
| 1995 | CONCUR | Reachability Analysis at Procedure Level through Timing Coincidence. | Farn Wang |
| 1995 | LATIN | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. | Farn Wang |
| 1995 | LICS | Timing Behavior Analysis for Real-Time Systems | Farn Wang |
| 1994 | FM | RTL and Refutation by Positive Cycles. | Farn Wang, Aloysius K. Mok |
| 1993 | FM | Symbolic Model Checking for Distributed Real-Time Systems. | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
| 1993 | RTSS | Symbolic Model Checking for Event-Driven Real-Time Systems. | Jin Yang, Aloysius K. Mok, Farn Wang |
| 1992 | ICSE | Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. | Farn Wang, Aloysius K. Mok, E. Allen Emerson |