Farn Wang - RankMe

114 papers A* 5A 8B 24C 13Misc 2Journal 45Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Enhancing Resilience for IoE: A Perspective of Networking-Level Safeguard. IEEE Netw. Guan-Yan Yang, Jui-Ning Chen, Farn Wang, Kuo-Hui Yeh
2025	J	`jnl`	ArtPerception: ASCII Art-based Jailbreak on LLMs with Recognition Pre-test. CoRR Guan-Yan Yang, Tzu-Yu Cheng, Ya-Wen Teng, Farn Wang, Kuo-Hui Yeh
2025	J	`jnl`	ArtPerception: ASCII art-based jailbreak on LLMs with recognition pre-test. J. Netw. Comput. Appl. Guan-Yan Yang, Tzu-Yu Cheng, Ya-Wen Teng, Farn Wang, Kuo-Hui Yeh
2025	J	`jnl`	Enhancing Resilience for IoE: A Perspective of Networking-Level Safeguard. CoRR Guan-Yan Yang, Jui-Ning Chen, Farn Wang, Kuo-Hui Yeh
2025	J	`jnl`	GNN-Enhanced Traffic Anomaly Detection for Next-Generation SDN-Enabled Consumer Electronics. IEEE Trans. Consumer Electron. Guan-Yan Yang, Farn Wang, Kuo-Hui Yeh
2025	J	`jnl`	GNN-enhanced Traffic Anomaly Detection for Next-Generation SDN-Enabled Consumer Electronics. CoRR Guan-Yan Yang, Farn Wang, Kuo-Hui Yeh
2025	J	`jnl`	Real-time fall detection with ground height awareness using LiDAR and a camera of a mobile device. Biomed. Signal Process. Control. Hanwei Wang, Farn Wang, Che Wei Chang, Feipei Lai
2025	J	`jnl`	TPSQLi: Test Prioritization for SQL Injection Vulnerability Detection in Web Applications. CoRR Guan-Yan Yang, Farn Wang, You-Zong Gu, Ya-Wen Teng, Kuo-Hui Yeh, Ping-Hsueh Ho, Wei-Ling Wen
2025	J	`jnl`	Taming Silent Failures: A Framework for Verifiable AI Reliability. CoRR Guan-Yan Yang, Farn Wang
2024	J	`jnl`	Automated Vulnerability Detection Using Deep Learning Technique. CoRR Guan-Yan Yang, Yi-Heng Ko, Farn Wang, Kuo-Hui Yeh, Haw-Shiang Chang, Hsueh-Yi Chen
2024	J	`jnl`	Real-Time Multiple Human Height Measurements With Occlusion Handling Using LiDAR and Camera of a Mobile Device. IEEE Access Hanwei Wang, Feipei Lai, Farn Wang
2019	—	`conf`	Synthesize Models for Quantitative Analysis Using Automata Learning. NETYS Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2018	A	`conf`	Machine Learning Techniques for Recognizing IoT Devices. ICS Yu-Chien Lin, Farn Wang
2018	J	`jnl`	Theoretical aspects of computing. Theor. Comput. Sci. Augusto Sampaio, Farn Wang
2017	J	`jnl`	Model-checking iterated games. Acta Informatica Chung-Hao Huang, Sven Schewe, Farn Wang
2017	B	`conf`	Synthesizing Coalitions for Multi-agent Games. IFM Wei Ji, Farn Wang, Peng Wu
2017	A	`conf`	Using Semantic Similarity in Crawling-Based Web Application Testing. ICST Jun-Wei Lin, Farn Wang, Paul Chu
2016	J	`jnl`	A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
2016	B	`conf`	An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS Wei Ji, Farn Wang, Peng Wu, Yi Lv
2016	A*	`conf`	PAC learning-based verification and model synthesis. ICSE Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2016	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings ICTAC Augusto Sampaio, Farn Wang
2016	J	`jnl`	Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing. CoRR Jun-Wei Lin, Farn Wang
2015	J	`jnl`	An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. Farn Wang, Sven Schewe, Chung-Hao Huang
2015	A	`conf`	CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). TACAS Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2015	J	`jnl`	Complexity of node coverage games. Theor. Comput. Sci. Farn Wang, Sven Schewe, Jung-Hsuan Wu
2015	J	`jnl`	Model-checking fair dense-time systems with propositions and events. Int. J. Softw. Tools Technol. Transf. Farn Wang
2015	J	`jnl`	PAC Learning-Based Verification and Model Synthesis. CoRR Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2014	B	`conf`	Verifying Recursive Programs Using Intraprocedural Analyzers. SAS Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2013	J	`jnl`	Coverage Games for Testing Nondeterministic Systems. CoRR Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang
2013	J	`jnl`	Efficient model-checking of dense-time systems with time-convexity analysis. Theor. Comput. Sci. Farn Wang
2013	A	`conf`	Model-Checking Iterated Games. TACAS Chung-Hao Huang, Sven Schewe, Farn Wang
2013	B	`conf`	Temporal Specification Mining for Anomaly Analysis. APLAS Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li
2012	—	`conf`	Rapid Recovery for Systems with Scarce Faults GandALF Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
2012	B	`conf`	Symbolic consistency checking of OpenMp parallel programs. LCTES Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan
2011	B	`conf`	A Temporal Logic for the Interaction of Strategies. CONCUR Farn Wang, Chung-Hao Huang, Fang Yu
2011	J	`jnl`	Efficient verification of distributed real-time systems with broadcasting behaviors. Real Time Syst. Farn Wang, Li-Wei Yao, Ya-Lan Yang
2011	B	`conf`	Evolving a Test Oracle in Black-Box Testing. FASE Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang
2011	C	`conf`	Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. DASC Farn Wang, Li-Wei Yao, Jung-Hsuan Wu
2010	Misc	`ed.`	4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 TASE Jing Liu, Doron A. Peled, Bow-Yaw Wang, Farn Wang
2010	Misc	`conf`	Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. TASE Farn Wang
2010	J	`jnl`	Simulation-Checking of Real-Time Systems with Fairness Assumptions CoRR Farn Wang
2009	B	`conf`	LTL Model Checking for Recursive Programs. ATVA Geng-Dian Huang, Lin-Zan Cai, Farn Wang
2009	—	`conf`	Real-time Automated MDRO Surveillance System. BIOCOMP Jung-Hsuan Wu, Yee-Chun Chen, Sung-Huai Hsieh, Hui-Chi Lin, Ying-Yu Chen, Po-Hsun Cheng, Farn Wang, Feipei Lai
2009	—	`conf`	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. HSCC Farn Wang
2008	A	`conf`	Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. RTSS Farn Wang
2008	C	`conf`	Program Repair Suggestions from Graphical State-Transition Specifications. FORTE Farn Wang, Chih-Hong Cheng
2008	—	`ch.`	Specification Formalisms and Models. Wiley Encyclopedia of Computer Science and Engineering Farn Wang
2008	—	`conf`	Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES Farn Wang, Geng-Dian Huang
2008	B	`conf`	Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. ATVA Farn Wang
2007	—	`conf`	Symbolic Simulation-Checking of Dense-Time Automata. FORMATS Farn Wang
2007	A*	`conf`	Test automation for kernel code and disk arrays with virtual devices. ASE Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang
2006	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Farn Wang
2006	C	`conf`	REDLIB for the Formal Verification of Embedded Systems. ISoLA Farn Wang
2006	J	`jnl`	Symbolic Simulation-Checking of Dense-Time Systems CoRR Farn Wang
2006	J	`jnl`	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. Farn Wang, Geng-Dian Huang, Fang Yu
2005	B	`conf`	Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA Geng-Dian Huang, Farn Wang
2005	C	`ed.`	Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings FORTE Farn Wang
2005	J	`jnl`	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. IEEE Trans. Software Eng. Farn Wang
2005	C	`conf`	Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. ICFEM Farn Wang
2005	J	`jnl`	Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embed. Comput. Farn Wang, Geng-Dian Huang, Fang Yu
2005	J	`jnl`	Under-approximation of the Greatest Fixpoint in Real-Time System Verification CoRR Farn Wang
2005	J	`jnl`	Under-approximation of the Greatest Fixpoints in Real-Time System Verification CoRR Farn Wang
2005	C	`conf`	Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE Farn Wang, Rong-Shiung Wu, Geng-Dian Huang
2004	B	`ed.`	Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings ATVA Farn Wang
2004	J	`jnl`	BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
2004	J	`jnl`	Efficient verification of timed automata with BDD-like data structures. Int. J. Softw. Tools Technol. Transf. Farn Wang
2004	J	`jnl`	Formal verification of timed systems: a survey and perspective. Proc. IEEE Farn Wang
2004	J	`jnl`	Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis. Int. J. Found. Comput. Sci. Farn Wang
2004	—	`conf`	Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. AMAST Farn Wang
2004	J	`jnl`	Reachability solution characterization of parametric real-time systems. Theor. Comput. Sci. Farn Wang, Hsu-Chun Yen
2004	A*	`conf`	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. CAV Farn Wang
2003	B	`conf`	Efficient Verification of Timed Automata with BDD-Like Data-Structures. VMCAI Farn Wang
2003	J	`jnl`	Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems CoRR Farn Wang, Geng-Dian Hwang, Fang Yu
2003	C	`conf`	Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE Farn Wang, Geng-Dian Hwang, Fang Yu
2003	B	`conf`	OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA Farn Wang, Fang Yu
2003	J	`jnl`	Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures CoRR Farn Wang
2003	B	`conf`	Symbolic Simulation of Real-Time Concurrent Systems. RTCSA Farn Wang, Geng-Dian Huang, Fang Yu
2003	C	`conf`	TCTL Inevitability Analysis of Dense-Time Systems. CIAA Farn Wang, Geng-Dian Hwang, Fang Yu
2003	J	`jnl`	TCTL Inevitability Analysis of Dense-time Systems CoRR Farn Wang, Geng-Dian Hwang, Fang Yu
2003	C	`conf`	Timing Parameter Characterization of Real-Time Systems. CIAA Farn Wang, Hsu-Chun Yen
2002	J	`jnl`	Efficient and User-Friendly Verification. IEEE Trans. Computers Farn Wang, Pao-Ann Hsiung
2002	C	`conf`	Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE Farn Wang, Karsten Schmidt
2001	B	`conf`	Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. APLAS Farn Wang
2001	B	`conf`	Parametric Optimization of Open Real-Time Systems. SAS Farn Wang, Hsu-Chun Yen
2001	C	`conf`	Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. FORTE Farn Wang
2000	A	`conf`	Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. TACAS Farn Wang
2000	B	`conf`	On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen
2000	J	`jnl`	Parametric Analysis of Computer Systems. Formal Methods Syst. Des. Farn Wang
2000	B	`conf`	Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. COMPSAC Farn Wang
1999	—	`conf`	Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. World Congress on Formal Methods Farn Wang
1999	J	`jnl`	Procedure-Level Verification of Real-time Concurrent Systems. Real Time Syst. Farn Wang, Chia-Tien Dan Lo
1999	A	`conf`	Scheduling System Verification. TACAS Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
1999	C	`conf`	User-Friendly Verification. FORTE Pao-Ann Hsiung, Farn Wang
1999	B	`conf`	Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
1998	B	`conf`	A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA Pao-Ann Hsiung, Farn Wang
1998	—	`conf`	Automatic Verification on the Large. HASE Farn Wang, Pao-Ann Hsiung
1997	J	`jnl`	A Temporal Logic for Real-Time Partial Ordering with Named Transactions. Theor. Comput. Sci. Farn Wang
1997	—	`conf`	Error Propagation Analysis of Real-Time Data Intensive Applications. IEEE Real Time Technology and Applications Symposium Tei-Wei Kuo, Doug Locke, Farn Wang
1997	—	`conf`	High-Level Execution Time Analysis. ARTS Farn Wang
1997	B	`conf`	PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. RTCSA Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang
1997	—	`conf`	Parametric Analysis of Computer Systems. AMAST Farn Wang, Pao-Ann Hsiung
1997	J	`jnl`	Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Trans. Program. Lang. Syst. Jin Yang, Aloysius K. Mok, Farn Wang
1996	J	`jnl`	Parametric Timing Analysis for Real-Time Systems. Inf. Comput. Farn Wang
1996	—	`conf`	Procedure-Level Verification of Real-time Concurrent Systems. FME Farn Wang, Chia-Tien Dan Lo
1996	—	`conf`	Scalable compositional reachability analysis of real-time concurrent systems. IEEE Real Time Technology and Applications Symposium Farn Wang
1996	B	`conf`	Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. RTCSA Farn Wang
1995	B	`conf`	A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. LATIN Farn Wang
1995	B	`conf`	Reachability Analysis at Procedure Level through Timing Coincidence. CONCUR Farn Wang
1995	A*	`conf`	Timing Behavior Analysis for Real-Time Systems LICS Farn Wang
1994	—	`conf`	RTL and Refutation by Positive Cycles. FME Farn Wang, Aloysius K. Mok
1993	J	`jnl`	Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. Farn Wang, Aloysius K. Mok, E. Allen Emerson
1993	—	`conf`	Symbolic Model Checking for Distributed Real-Time Systems. FME Farn Wang, Aloysius K. Mok, E. Allen Emerson
1993	A	`conf`	Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS Jin Yang, Aloysius K. Mok, Farn Wang
1992	A*	`conf`	Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE Farn Wang, Aloysius K. Mok, E. Allen Emerson