Farn Wang

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

Chung-Hao Huang, Sven Schewe, Farn Wang: Model-Checking Iterated Games. TACAS 2013: 154-168

Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan: Symbolic consistency checking of OpenMp parallel programs. LCTES 2012: 139-148

Chung-Hao Huang, Doron Peled, Sven Schewe, Farn Wang: Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28

Farn Wang, Li-Wei Yao, Ya-Lan Yang: Efficient verification of distributed real-time systems with broadcasting behaviors. Real-Time Systems 47(4): 285-318 (2011)

Farn Wang, Chung-Hao Huang, Fang Yu: A Temporal Logic for the Interaction of Strategies. CONCUR 2011: 466-481

Farn Wang, Li-Wei Yao, Jung-Hsuan Wu: Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. DASC 2011: 89-96

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

Farn Wang: Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. TASE 2010: 183-186

Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang (Eds.): 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. IEEE Computer Society 2010, isbn 978-0-7695-4148-8

Farn Wang: Simulation-Checking of Real-Time Systems with Fairness Assumptions. CoRR abs/1007.0523 (2010)

Geng-Dian Huang, Lin-Zan Cai, Farn Wang: LTL Model Checking for Recursive Programs. ATVA 2009: 382-396

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: 764-769

Farn Wang: Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. HSCC 2009: 485-489

Farn Wang: Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. ATVA 2008: 258-273

Farn Wang, Chih-Hong Cheng: Program Repair Suggestions from Graphical State-Transition Specifications. FORTE 2008: 185-200

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

Farn Wang: Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. RTSS 2008: 195-205

Farn Wang: Specification Formalisms and Models. Wiley Encyclopedia of Computer Science and Engineering 2008

Farn Wang: Symbolic Simulation-Checking of Dense-Time Automata. FORMATS 2007: 352-368

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

Farn Wang: Preface. Int. J. Found. Comput. Sci. 17(4): 731-732 (2006)

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

Farn Wang: REDLIB for the Formal Verification of Embedded Systems. ISoLA 2006: 341-346

Farn Wang: Symbolic Simulation-Checking of Dense-Time Systems. CoRR abs/cs/0610085 (2006)

Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embedded Computing 1(1): 39-56 (2005)

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

Geng-Dian Huang, Farn Wang: Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA 2005: 144-158

Farn Wang: Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. ICFEM 2005: 300-314

Farn Wang, Rong-Shiung Wu, Geng-Dian Huang: Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454

Farn Wang (Ed.): Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3731, Springer 2005, isbn 3-540-29189-X

Farn Wang: Under-approximation of the Greatest Fixpoint in Real-Time System Verification. CoRR abs/cs/0501059 (2005)

Farn Wang: Under-approximation of the Greatest Fixpoints in Real-Time System Verification. CoRR abs/cs/0501060 (2005)

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): 865-892 (2004)

Farn Wang: Efficient verification of timed automata with BDD-like data structures. STTT 6(1): 77-97 (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): 403-417 (2004)

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

Farn Wang: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. CAV 2004: 295-307

Farn Wang (Ed.): Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings. Lecture Notes in Computer Science 3299, Springer 2004, isbn 3-540-23610-4

Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE 2003: 160-176

Farn Wang, Fang Yu: OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA 2003: 254-278

Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic Simulation of Real-Time Concurrent Systems. RTCSA 2003: 595-617

Farn Wang: Efficient Verification of Timed Automata with BDD-Like Data-Structures. VMCAI 2003: 189-205

Farn Wang, Hsu-Chun Yen: Timing Parameter Characterization of Real-Time Systems. CIAA 2003: 23-34

Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems. CIAA 2003: 176-187

Farn Wang: Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures. CoRR cs.DS/0306113 (2003)

Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-time Systems. CoRR cs.SC/0304003 (2003)

Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. CoRR cs.SE/0303027 (2003)

Farn Wang, Pao-Ann Hsiung: Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002)

Farn Wang, Karsten Schmidt: Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE 2002: 50-64

Farn Wang: Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. APLAS 2001: 207-224

Farn Wang: Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. FORTE 2001: 235-250

Farn Wang, Hsu-Chun Yen: Parametric Optimization of Open Real-Time Systems. SAS 2001: 299-318

Farn Wang: Parametric Analysis of Computer Systems. Formal Methods in System Design 17(1): 39-60 (2000)

Farn Wang: Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. COMPSAC 2000: 509-515

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

Farn Wang: Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. TACAS 2000: 157-171

Farn Wang, Chia-Tien Dan Lo: Procedure-Level Verification of Real-time Concurrent Systems. Real-Time Systems 16(1): 81-114 (1999)

Farn Wang: Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. World Congress on Formal Methods 1999: 328-347

Pao-Ann Hsiung, Farn Wang: User-Friendly Verification. FORTE 1999: 279-294

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA 1999: 228-235

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Scheduling System Verification. TACAS 1999: 19-33

Farn Wang, Pao-Ann Hsiung: Automatic Verification on the Large. HASE 1998: 134-141

Pao-Ann Hsiung, Farn Wang: A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA 1998: 181-188

Farn Wang: A Temporal Logic for Real-Time Partial Ordering with Named Transactions. Theor. Comput. Sci. 181(1): 195-225 (1997)

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

Farn Wang, Pao-Ann Hsiung: Parametric Analysis of Computer Systems. AMAST 1997: 539-553

Farn Wang: High-Level Execution Time Analysis. ARTS 1997: 325-339

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

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: 260-267

Farn Wang: Parametric Timing Analysis for Real-Time Systems. Inf. Comput. 130(2): 131-150 (1996)

Farn Wang, Chia-Tien Dan Lo: Procedure-Level Verification of Real-time Concurrent Systems. FME 1996: 682-701

Farn Wang: Scalable compositional reachability analysis of real-time concurrent systems. IEEE Real Time Technology and Applications Symposium 1996: 182-191

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

Farn Wang: Reachability Analysis at Procedure Level through Timing Coincidence. CONCUR 1995: 284-298

Farn Wang: A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. LATIN 1995: 494-508

Farn Wang: Timing Behavior Analysis for Real-Time Systems. LICS 1995: 112-122

Farn Wang, Aloysius K. Mok: RTL and Refutation by Positive Cycles. FME 1994: 659-680

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

Farn Wang, Aloysius K. Mok, E. Allen Emerson: Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651

Jin Yang, Aloysius K. Mok, Farn Wang: Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS 1993: 23-32

Farn Wang, Aloysius K. Mok, E. Allen Emerson: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198