Farn Wang

According to our database, Farn Wang authored at least 90 papers between 1992 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Synthesize Models for Quantitative Analysis Using Automata Learning.

Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Theoretical aspects of computing.

Augusto Sampaio, Farn Wang

Theor. Comput. Sci., 2018

Machine Learning Techniques for Recognizing IoT Devices.

Yu-Chien Lin, Farn Wang

Proceedings of the New Trends in Computer Technologies and Applications, 2018

2017

Model-checking iterated games.

Chung-Hao Huang, Sven Schewe, Farn Wang

Acta Informatica, 2017

Synthesizing Coalitions for Multi-agent Games.

Wei Ji, Farn Wang, Peng Wu

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Using Semantic Similarity in Crawling-Based Web Application Testing.

Jun-Wei Lin, Farn Wang, Paul Chu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

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 for Input Topic Identification in Crawling-based Web Application Testing.

Jun-Wei Lin, Farn Wang

CoRR, 2016

PAC learning-based verification and model synthesis.

Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the 38th International Conference on Software Engineering, 2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.

Wei Ji, Farn Wang, Peng Wu, Yi Lv

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

An Extension of ATL with Strategy Interaction.

Farn Wang, Sven Schewe, Chung-Hao Huang

ACM Trans. Program. Lang. Syst., 2015

Complexity of node coverage games.

Farn Wang, Sven Schewe, Jung-Hsuan Wu

Theor. Comput. Sci., 2015

Model-checking fair dense-time systems with propositions and events.

Farn Wang

Int. J. Softw. Tools Technol. Transf., 2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Verifying Recursive Programs Using Intraprocedural Analyzers.

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

Efficient model-checking of dense-time systems with time-convexity analysis.

Farn Wang

Theor. Comput. Sci., 2013

Coverage Games for Testing Nondeterministic Systems.

Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang

CoRR, 2013

Temporal Specification Mining for Anomaly Analysis.

Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Rapid Recovery for Systems with Scarce Faults

Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang

Proceedings of the Proceedings Third International Symposium on Games, 2012

Symbolic consistency checking of OpenMp parallel programs.

Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

2011

Efficient verification of distributed real-time systems with broadcasting behaviors.

Farn Wang, Li-Wei Yao, Ya-Lan Yang

Real Time Syst., 2011

Evolving a Test Oracle in Black-Box Testing.

Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications.

Farn Wang, Li-Wei Yao, Jung-Hsuan Wu

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

A Temporal Logic for the Interaction of Strategies.

Farn Wang, Chung-Hao Huang, Fang Yu

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Simulation-Checking of Real-Time Systems with Fairness Assumptions

Farn Wang

CoRR, 2010

Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification.

Farn Wang

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2009

Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.

Farn Wang

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 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

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009

LTL Model Checking for Recursive Programs.

Geng-Dian Huang, Lin-Zan Cai, Farn Wang

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Specification Formalisms and Models.

Farn Wang

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.

Farn Wang, Geng-Dian Huang

Proceedings of the Testing of Software and Communicating Systems, 2008

Program Repair Suggestions from Graphical State-Transition Specifications.

Farn Wang, Chih-Hong Cheng

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.

Farn Wang

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Test automation for kernel code and disk arrays with virtual devices.

Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Symbolic Simulation-Checking of Dense-Time Automata.

Farn Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.

Farn Wang, Geng-Dian Huang, Fang Yu

IEEE Trans. Software Eng., 2006

Preface.

Farn Wang

Int. J. Found. Comput. Sci., 2006

Symbolic Simulation-Checking of Dense-Time Systems

Farn Wang

CoRR, 2006

REDLIB for the Formal Verification of Embedded Systems.

Farn Wang

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.

Farn Wang

IEEE Trans. Software Eng., 2005

Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol.

Farn Wang, Geng-Dian Huang, Fang Yu

J. Embed. Comput., 2005

Under-approximation of the Greatest Fixpoints in Real-Time System Verification

Farn Wang

CoRR, 2005

Under-approximation of the Greatest Fixpoint in Real-Time System Verification

Farn Wang

CoRR, 2005

Verifying Timed and Linear Hybrid Rule-Systems with RED.

Farn Wang, Rong-Shiung Wu, Geng-Dian Huang

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.

Farn Wang

Proceedings of the Formal Methods and Software Engineering, 2005

Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.

Geng-Dian Huang, Farn Wang

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang

IEEE Trans. Software Eng., 2004

Reachability solution characterization of parametric real-time systems.

Farn Wang, Hsu-Chun Yen

Theor. Comput. Sci., 2004

Efficient verification of timed automata with BDD-like data structures.

Farn Wang

Int. J. Softw. Tools Technol. Transf., 2004

Formal verification of timed systems: a survey and perspective.

Farn Wang

Proc. IEEE, 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

Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.

Farn Wang

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures

Farn Wang

CoRR, 2003

Timing Parameter Characterization of Real-Time Systems.

Farn Wang, Hsu-Chun Yen

Proceedings of the Implementation and Application of Automata, 2003

TCTL Inevitability Analysis of Dense-Time Systems.

Farn Wang, Geng-Dian Hwang, Fang Yu

Proceedings of the Implementation and Application of Automata, 2003

OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.

Farn Wang, Fang Yu

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Symbolic Simulation of Real-Time Concurrent Systems.

Farn Wang, Geng-Dian Huang, Fang Yu

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.

Farn Wang, Geng-Dian Hwang, Fang Yu

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

Efficient and User-Friendly Verification.

Farn Wang, Pao-Ann Hsiung

IEEE Trans. Computers, 2002

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.

Farn Wang, Karsten Schmidt

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Parametric Optimization of Open Real-Time Systems.

Farn Wang, Hsu-Chun Yen

Proceedings of the Static Analysis, 8th International Symposium, 2001

Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.

Farn Wang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram.

Farn Wang

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Parametric Analysis of Computer Systems.

Farn Wang

Formal Methods Syst. Des., 2000

Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems.

Farn Wang

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

On the verification of Wireless Transaction Protocol using SGM and RED.

Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.

Farn Wang

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Procedure-Level Verification of Real-time Concurrent Systems.

Farn Wang, Chia-Tien Dan Lo

Real Time Syst., 1999

Scheduling System Verification.

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Verification of Concurrent Client-Server Real-Time Scheduling Systems.

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

User-Friendly Verification.

Pao-Ann Hsiung, Farn Wang

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.

Farn Wang

Proceedings of the FM'99 - Formal Methods, 1999

1998

A State Graph Manipulator Tool for Real-Time System Specification and Verification.

Pao-Ann Hsiung, Farn Wang

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Automatic Verification on the Large.

Farn Wang, Pao-Ann Hsiung

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Symboloc Model Checking for Event-Driven Real-Time Systems.

Jin Yang, Aloysius K. Mok, Farn Wang

ACM Trans. Program. Lang. Syst., 1997

A Temporal Logic for Real-Time Partial Ordering with Named Transactions.

Farn Wang

Theor. Comput. Sci., 1997

PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.

Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Error Propagation Analysis of Real-Time Data Intensive Applications.

Tei-Wei Kuo, Doug Locke, Farn Wang

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

High-Level Execution Time Analysis.

Farn Wang

Proceedings of the Transformation-Based Reactive Systems Development, 1997

Parametric Analysis of Computer Systems.

Farn Wang, Pao-Ann Hsiung

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Parametric Timing Analysis for Real-Time Systems.

Farn Wang

Inf. Comput., 1996

Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.

Farn Wang

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Scalable compositional reachability analysis of real-time concurrent systems.

Farn Wang

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

1995

Timing Behavior Analysis for Real-Time Systems

Farn Wang

Proceedings of the Proceedings, 1995

Reachability Analysis at Procedure Level through Timing Coincidence.

Farn Wang

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

RTL and Refutation by Positive Cycles.

Farn Wang, Aloysius K. Mok

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Distributed Real-Time System Specification and Verification in APTL.

Farn Wang, Aloysius K. Mok, E. Allen Emerson

ACM Trans. Softw. Eng. Methodol., 1993

Symbolic Model Checking for Event-Driven Real-Time Systems.

Jin Yang, Aloysius K. Mok, Farn Wang

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Symbolic Model Checking for Distributed Real-Time Systems.

Farn Wang, Aloysius K. Mok, E. Allen Emerson

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.

Farn Wang, Aloysius K. Mok, E. Allen Emerson

Proceedings of the 14th International Conference on Software Engineering, 1992