Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. - Farn Wang; Aloysius K. Mok; E. Allen Emerson (ICSE, 1992)

Symbolic Model Checking for Distributed Real-Time Systems. - Farn Wang; Aloysius K. Mok; E. Allen Emerson (FME, 1993)

Symbolic Model Checking for Event-Driven Real-Time Systems. - Jin Yang; Aloysius K. Mok; Farn Wang (RTSS, 1993)

Distributed Real-Time System Specification and Verification in APTL. - Farn Wang; Aloysius K. Mok; E. Allen Emerson (ACM Trans. Softw. Eng. Methodol., 1993)

RTL and Refutation by Positive Cycles. - Farn Wang; Aloysius K. Mok (FME, 1994)

Reachability Analysis at Procedure Level through Timing Coincidence. - Farn Wang (CONCUR, 1995)

Timing Behavior Analysis for Real-Time Systems - Farn Wang (LICS, 1995)

Scalable compositional reachability analysis of real-time concurrent systems. - Farn Wang (IEEE Real Time Technology and Applications Symposium, 1996)

Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. - Farn Wang (RTCSA, 1996)

Parametric Timing Analysis for Real-Time Systems. - Farn Wang (Inf. Comput., 1996)

Parametric Analysis of Computer Systems. - Farn Wang; Pao-Ann Hsiung (AMAST, 1997)

High-Level Execution Time Analysis. - Farn Wang (ARTS, 1997)

Error Propagation Analysis of Real-Time Data Intensive Applications. - Tei-Wei Kuo; Doug Locke; Farn Wang (IEEE Real Time Technology and Applications Symposium, 1997)

PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. - Tei-Wei Kuo; Shao-Juen Ho; Chih-Hung Wei; Farn Wang (RTCSA, 1997)

A Temporal Logic for Real-Time Partial Ordering with Named Transactions. - Farn Wang (Theor. Comput. Sci., 1997)

Symboloc Model Checking for Event-Driven Real-Time Systems. - Jin Yang; Aloysius K. Mok; Farn Wang (ACM Trans. Program. Lang. Syst., 1997)

Automatic Verification on the Large. - Farn Wang; Pao-Ann Hsiung (HASE, 1998)

A State Graph Manipulator Tool for Real-Time System Specification and Verification. - Pao-Ann Hsiung; Farn Wang (RTCSA, 1998)

Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. - Farn Wang (World Congress on Formal Methods, 1999)

User-Friendly Verification. - Pao-Ann Hsiung; Farn Wang (FORTE, 1999)

Verification of Concurrent Client-Server Real-Time Scheduling Systems. - Pao-Ann Hsiung; Farn Wang; Yue-Sun Kuo (RTCSA, 1999)

Scheduling System Verification. - Pao-Ann Hsiung; Farn Wang; Yue-Sun Kuo (TACAS, 1999)

Procedure-Level Verification of Real-time Concurrent Systems. - Farn Wang; Chia-Tien Dan Lo (Real Time Syst., 1999)

Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. - Farn Wang (COMPSAC, 2000)

On the verification of Wireless Transaction Protocol using SGM and RED. - Pao-Ann Hsiung; Farn Wang; Ruey-Cheng Chen (RTCSA, 2000)

Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. - Farn Wang (TACAS, 2000)

Parametric Analysis of Computer Systems. - Farn Wang (Formal Methods Syst. Des., 2000)

Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. - Farn Wang (APLAS, 2001)

Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. - Farn Wang (FORTE, 2001)

Parametric Optimization of Open Real-Time Systems. - Farn Wang; Hsu-Chun Yen (SAS, 2001)

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. - Farn Wang; Karsten Schmidt 004 (FORTE, 2002)

Efficient and User-Friendly Verification. - Farn Wang; Pao-Ann Hsiung (IEEE Trans. Computers, 2002)

Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. - Farn Wang; Geng-Dian Hwang; Fang Yu 001 (FORTE, 2003)

Symbolic Simulation of Real-Time Concurrent Systems. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (RTCSA, 2003)

OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. - Farn Wang; Fang Yu 001 (RTCSA, 2003)

TCTL Inevitability Analysis of Dense-Time Systems. - Farn Wang; Geng-Dian Hwang; Fang Yu 001 (CIAA, 2003)

Timing Parameter Characterization of Real-Time Systems. - Farn Wang; Hsu-Chun Yen (CIAA, 2003)

Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures - Farn Wang (CoRR, 2003)

Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. - Farn Wang (AMAST, 2004)

Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis. - Farn Wang (Int. J. Found. Comput. Sci., 2004)

Formal verification of timed systems: a survey and perspective. - Farn Wang (Proc. IEEE, 2004)

Efficient verification of timed automata with BDD-like data structures. - Farn Wang (Int. J. Softw. Tools Technol. Transf., 2004)

Reachability solution characterization of parametric real-time systems. - Farn Wang; Hsu-Chun Yen (Theor. Comput. Sci., 2004)

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. - Farn Wang; Karsten Schmidt 004; Fang Yu 001; Geng-Dian Huang; Bow-Yaw Wang (IEEE Trans. Software Eng., 2004)

Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. - Geng-Dian Huang; Farn Wang (ATVA, 2005)

Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. - Farn Wang (ICFEM, 2005)

Verifying Timed and Linear Hybrid Rule-Systems with RED. - Farn Wang; Rong-Shiung Wu; Geng-Dian Huang (SEKE, 2005)

Under-approximation of the Greatest Fixpoint in Real-Time System Verification - Farn Wang (CoRR, 2005)

Under-approximation of the Greatest Fixpoints in Real-Time System Verification - Farn Wang (CoRR, 2005)

Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (J. Embed. Comput., 2005)

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. - Farn Wang (IEEE Trans. Software Eng., 2005)

REDLIB for the Formal Verification of Embedded Systems. - Farn Wang (ISoLA, 2006)

Symbolic Simulation-Checking of Dense-Time Systems - Farn Wang (CoRR, 2006)

Preface. - Farn Wang (Int. J. Found. Comput. Sci., 2006)

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (IEEE Trans. Software Eng., 2006)

Symbolic Simulation-Checking of Dense-Time Automata. - Farn Wang (FORMATS, 2007)

Test automation for kernel code and disk arrays with virtual devices. - Lin-Zan Cai; Rong-Shiung Wu; Wen-Ting Huang; Farn Wang (ASE, 2007)

Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. - Farn Wang (ATVA, 2008)

Program Repair Suggestions from Graphical State-Transition Specifications. - Farn Wang; Chih-Hong Cheng (FORTE, 2008)

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. - Farn Wang; Geng-Dian Huang (TestCom/FATES, 2008)

Specification Formalisms and Models. - Farn Wang (Wiley Encyclopedia of Computer Science and Engineering, 2008)

LTL Model Checking for Recursive Programs. - Geng-Dian Huang; Lin-Zan Cai; Farn Wang (ATVA, 2009)

Real-time Automated MDRO Surveillance System. - Jung-Hsuan Wu; Yee-Chun Chen; Sung-Huai Hsieh; Hui-Chi Lin; Ying-Yu Chen; Po-Hsun Cheng; Farn Wang; Feipei Lai (BIOCOMP, 2009)

Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. - Farn Wang (HSCC, 2009)

Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. - Farn Wang (TASE, 2010)

Simulation-Checking of Real-Time Systems with Fairness Assumptions - Farn Wang (CoRR, 2010)

A Temporal Logic for the Interaction of Strategies. - Farn Wang; Chung-Hao Huang; Fang Yu 001 (CONCUR, 2011)

Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. - Farn Wang; Li-Wei Yao; Jung-Hsuan Wu (DASC, 2011)

Evolving a Test Oracle in Black-Box Testing. - Farn Wang; Jung-Hsuan Wu; Chung-Hao Huang; Kai-Hsiang Chang (FASE, 2011)

Efficient verification of distributed real-time systems with broadcasting behaviors. - Farn Wang; Li-Wei Yao; Ya-Lan Yang (Real Time Syst., 2011)

Symbolic consistency checking of OpenMp parallel programs. - Fang Yu 001; Shun-Ching Yang; Farn Wang; Guan-Cheng Chen; Che-Chang Chan (LCTES, 2012)

Rapid Recovery for Systems with Scarce Faults - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (GandALF, 2012)

Temporal Specification Mining for Anomaly Analysis. - Farn Wang; Jung-Hsuan Wu; Chung-Hao Huang; Cheng-Chieh Chang; Chung-Cheng Li (APLAS, 2013)

Coverage Games for Testing Nondeterministic Systems. - Farn Wang; Jung-Hsuan Wu; Sven Schewe; Chung-Hao Huang (CoRR, 2013)

Efficient model-checking of dense-time systems with time-convexity analysis. - Farn Wang (Theor. Comput. Sci., 2013)

Verifying Recursive Programs Using Intraprocedural Analyzers. - Yu-Fang Chen 001; Chiao Hsieh; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (SAS, 2014)

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). - Yu-Fang Chen 001; Chiao Hsieh; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (TACAS, 2015)

Model-checking fair dense-time systems with propositions and events. - Farn Wang (Int. J. Softw. Tools Technol. Transf., 2015)

Complexity of node coverage games. - Farn Wang; Sven Schewe; Jung-Hsuan Wu (Theor. Comput. Sci., 2015)

An Extension of ATL with Strategy Interaction. - Farn Wang; Sven Schewe; Chung-Hao Huang (ACM Trans. Program. Lang. Syst., 2015)

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. - Wei Ji; Farn Wang; Peng Wu 002; Yi Lv (ICECCS, 2016)

PAC learning-based verification and model synthesis. - Yu-Fang Chen 001; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (ICSE, 2016)

Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing. - Jun-Wei Lin; Farn Wang (CoRR, 2016)

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (IEEE Trans. Software Eng., 2016)

Using Semantic Similarity in Crawling-Based Web Application Testing. - Jun-Wei Lin; Farn Wang; Paul Chu (ICST, 2017)

Synthesizing Coalitions for Multi-agent Games. - Wei Ji; Farn Wang; Peng Wu 002 (IFM, 2017)

Model-checking iterated games. - Chung-Hao Huang; Sven Schewe; Farn Wang (Acta Informatica, 2017)

Machine Learning Techniques for Recognizing IoT Devices. - Yu-Chien Lin; Farn Wang (ICS, 2018)

Theoretical aspects of computing. - Augusto Sampaio 001; Farn Wang (Theor. Comput. Sci., 2018)

Synthesize Models for Quantitative Analysis Using Automata Learning. - Yu-Fang Chen 001; Hsiao-chen Chung; Wen-Chi Hung; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (NETYS, 2019)

Real-Time Multiple Human Height Measurements With Occlusion Handling Using LiDAR and Camera of a Mobile Device. - Hanwei Wang; Feipei Lai; Farn Wang (IEEE Access, 2024)

Automated Vulnerability Detection Using Deep Learning Technique. - Guan-Yan Yang; Yi-Heng Ko; Farn Wang; Kuo-Hui Yeh; Haw-Shiang Chang; Hsueh-Yi Chen (CoRR, 2024)

Real-time fall detection with ground height awareness using LiDAR and a camera of a mobile device. - Hanwei Wang; Farn Wang; Che Wei Chang; Feipei Lai (Biomed. Signal Process. Control., 2025)