Farn Wang

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 10

Top Topics

Semantic Similarity

Nash Equilibrium

Recursive Programs

Top Venues

Theor. Comput. Sci.

Publications

Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Synthesize Models for Quantitative Analysis Using Automata Learning. NETYS (2019)
Augusto Sampaio, Farn Wang
Theoretical aspects of computing. Theor. Comput. Sci. 744 (2018)
Yu-Chien Lin, Farn Wang
Machine Learning Techniques for Recognizing IoT Devices. ICS (2018)
Wei Ji, Farn Wang, Peng Wu
Synthesizing Coalitions for Multi-agent Games. IFM (2017)
Jun-Wei Lin, Farn Wang, Paul Chu
Using Semantic Similarity in Crawling-Based Web Application Testing. ICST (2017)
Chung-Hao Huang, Sven Schewe, Farn Wang
Model-checking iterated games. Acta Informatica 54 (7) (2017)
Wei Ji, Farn Wang, Peng Wu, Yi Lv
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS (2016)
Jun-Wei Lin, Farn Wang
Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing. CoRR (2016)
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
PAC learning-based verification and model synthesis. ICSE (2016)
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. 42 (7) (2016)
Farn Wang
Model-checking fair dense-time systems with propositions and events. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). TACAS (2015)
Farn Wang, Sven Schewe, Chung-Hao Huang
An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
PAC Learning-Based Verification and Model Synthesis. CoRR (2015)
Farn Wang, Sven Schewe, Jung-Hsuan Wu
Complexity of node coverage games. Theor. Comput. Sci. 576 (2015)
Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
Verifying Recursive Programs Using Intraprocedural Analyzers. SAS (2014)
Chung-Hao Huang, Sven Schewe, Farn Wang
Model-Checking Iterated Games. TACAS (2013)
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li
Temporal Specification Mining for Anomaly Analysis. APLAS (2013)
Farn Wang
Efficient model-checking of dense-time systems with time-convexity analysis. Theor. Comput. Sci. 467 (2013)
Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang
Coverage Games for Testing Nondeterministic Systems. CoRR (2013)
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
Rapid Recovery for Systems with Scarce Faults GandALF (2012)
Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan
Symbolic consistency checking of OpenMp parallel programs. LCTES (2012)
Farn Wang, Li-Wei Yao, Jung-Hsuan Wu
Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. DASC (2011)
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang
Evolving a Test Oracle in Black-Box Testing. FASE (2011)
Farn Wang, Li-Wei Yao, Ya-Lan Yang
Efficient verification of distributed real-time systems with broadcasting behaviors. Real Time Syst. 47 (4) (2011)
Farn Wang, Chung-Hao Huang, Fang Yu
A Temporal Logic for the Interaction of Strategies. CONCUR (2011)
Farn Wang
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. TASE (2010)
Farn Wang
Simulation-Checking of Real-Time Systems with Fairness Assumptions CoRR (2010)
Geng-Dian Huang, Lin-Zan Cai, Farn Wang
LTL Model Checking for Recursive Programs. ATVA (2009)
Jung-Hsuan Wu, Yee-Chun Chen, Sung-huai Hsieh, Hui-Chi Lin, Ying-Yu Chen, Po-Hsun Cheng, Farn Wang, Feipei Lai
Real-time Automated MDRO Surveillance System. BIOCOMP (2009)
Farn Wang
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. HSCC (2009)
Farn Wang
Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. RTSS (2008)
Farn Wang, Geng-Dian Huang
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES (2008)
Farn Wang
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. ATVA (2008)
Farn Wang, Chih-Hong Cheng
Program Repair Suggestions from Graphical State-Transition Specifications. FORTE (2008)
Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang
Test automation for kernel code and disk arrays with virtual devices. ASE (2007)
Farn Wang
Symbolic Simulation-Checking of Dense-Time Automata. FORMATS (2007)
Farn Wang, Geng-Dian Huang, Fang Yu
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32 (7) (2006)
Farn Wang
REDLIB for the Formal Verification of Embedded Systems. ISoLA (2006)
Farn Wang
Symbolic Simulation-Checking of Dense-Time Systems CoRR (2006)
Farn Wang
Preface. Int. J. Found. Comput. Sci. 17 (4) (2006)
Farn Wang
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. IEEE Trans. Software Eng. 31 (1) (2005)
Farn Wang, Geng-Dian Huang, Fang Yu
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embed. Comput. 1 (1) (2005)
Farn Wang
Under-approximation of the Greatest Fixpoints in Real-Time System Verification CoRR (2005)
Farn Wang
Under-approximation of the Greatest Fixpoint in Real-Time System Verification CoRR (2005)
Geng-Dian Huang, Farn Wang
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA (2005)
Farn Wang
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. ICFEM (2005)
Farn Wang, Rong-Shiung Wu, Geng-Dian Huang
Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE (2005)
Farn Wang, Hsu-Chun Yen
Reachability solution characterization of parametric real-time systems. Theor. Comput. Sci. 328 (1-2) (2004)
Farn Wang
Formal verification of timed systems: a survey and perspective. Proc. IEEE 92 (8) (2004)
Farn Wang
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. CAV (2004)
Farn Wang
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. AMAST (2004)
Farn Wang
Efficient verification of timed automata with BDD-like data structures. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Farn Wang
Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis. Int. J. Found. Comput. Sci. 15 (6) (2004)
Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. 30 (6) (2004)
Farn Wang, Geng-Dian Hwang, Fang Yu
TCTL Inevitability Analysis of Dense-time Systems CoRR (2003)
Farn Wang, Geng-Dian Hwang, Fang Yu
TCTL Inevitability Analysis of Dense-Time Systems. CIAA (2003)
Farn Wang, Geng-Dian Huang, Fang Yu
Symbolic Simulation of Real-Time Concurrent Systems. RTCSA (2003)
Farn Wang
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures CoRR (2003)
Farn Wang, Geng-Dian Hwang, Fang Yu
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE (2003)
Farn Wang, Fang Yu
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA (2003)
Farn Wang, Geng-Dian Hwang, Fang Yu
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems CoRR (2003)
Farn Wang
Efficient Verification of Timed Automata with BDD-Like Data-Structures. VMCAI (2003)
Farn Wang, Hsu-Chun Yen
Timing Parameter Characterization of Real-Time Systems. CIAA (2003)
Farn Wang, Pao-Ann Hsiung
Efficient and User-Friendly Verification. IEEE Trans. Computers 51 (1) (2002)
Farn Wang, Karsten Schmidt
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE (2002)
Farn Wang, Hsu-Chun Yen
Parametric Optimization of Open Real-Time Systems. SAS (2001)
Farn Wang
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. APLAS (2001)
Farn Wang
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. FORTE (2001)
Farn Wang
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. TACAS (2000)
Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen
On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA (2000)
Farn Wang
Parametric Analysis of Computer Systems. Formal Methods Syst. Des. 17 (1) (2000)
Farn Wang
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. COMPSAC (2000)
Farn Wang
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. World Congress on Formal Methods (1999)
Farn Wang, Chia-Tien Dan Lo
Procedure-Level Verification of Real-time Concurrent Systems. Real Time Syst. 16 (1) (1999)
Pao-Ann Hsiung, Farn Wang
User-Friendly Verification. FORTE (1999)
Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
Scheduling System Verification. TACAS (1999)
Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA (1999)
Farn Wang, Pao-Ann Hsiung
Automatic Verification on the Large. HASE (1998)
Pao-Ann Hsiung, Farn Wang
A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA (1998)
Jin Yang, Aloysius K. Mok, Farn Wang
Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Trans. Program. Lang. Syst. 19 (2) (1997)
Farn Wang
A Temporal Logic for Real-Time Partial Ordering with Named Transactions. Theor. Comput. Sci. 181 (1) (1997)
Farn Wang, Pao-Ann Hsiung
Parametric Analysis of Computer Systems. AMAST (1997)
Farn Wang
High-Level Execution Time Analysis. ARTS (1997)
Tei-Wei Kuo, Doug Locke, Farn Wang
Error Propagation Analysis of Real-Time Data Intensive Applications. IEEE Real Time Technology and Applications Symposium (1997)
Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang
PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. RTCSA (1997)
Farn Wang, Chia-Tien Dan Lo
Procedure-Level Verification of Real-time Concurrent Systems. FME (1996)
Farn Wang
Scalable compositional reachability analysis of real-time concurrent systems. IEEE Real Time Technology and Applications Symposium (1996)
Farn Wang
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. RTCSA (1996)
Farn Wang
Parametric Timing Analysis for Real-Time Systems. Inf. Comput. 130 (2) (1996)
Farn Wang
Reachability Analysis at Procedure Level through Timing Coincidence. CONCUR (1995)
Farn Wang
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. LATIN (1995)
Farn Wang
Timing Behavior Analysis for Real-Time Systems LICS (1995)
Farn Wang, Aloysius K. Mok
RTL and Refutation by Positive Cycles. FME (1994)
Jin Yang, Aloysius K. Mok, Farn Wang
Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS (1993)
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Symbolic Model Checking for Distributed Real-Time Systems. FME (1993)
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. 2 (4) (1993)
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE (1992)