Farn Wang - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Efficient verification of distributed real-time systems with broadcasting behaviorsFarn Wang, Li-Wei Yao, Ya-Lan Yang. rts, 47(4):285-318, 2011. [doi]

A Temporal Logic for the Interaction of StrategiesFarn Wang, Chung-Hao Huang, Fang Yu. concur 2011: 466-481 [doi]

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

2010

4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang, editors, IEEE Computer Society, 2010.

2009

2008

Program Repair Suggestions from Graphical State-Transition SpecificationsFarn Wang, Chih-Hong Cheng. forte 2008: 185-200 [doi]

Time-Progress Evaluation for Dense-Time Automata with Concave Path ConditionsFarn Wang. ATVA 2008: 258-273 [doi]

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage AnalysisFarn Wang, Geng-Dian Huang. pts 2008: 234-249 [doi]

2007

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

Symbolic Simulation-Checking of Dense-Time AutomataFarn Wang. formats 2007: 352-368 [doi]

2006

REDLIB for the Formal Verification of Embedded SystemsFarn Wang. isola 2006: 341-346 [doi]

PrefaceFarn Wang. ijfcs, 17(4):731-732, 2006. [doi]

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to EngineeringFarn Wang, Geng-Dian Huang, Fang Yu. TSE, 32(7):510-526, 2006. [doi]

2005

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

Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ProceedingsFarn Wang, editor, Volume 3731 of Lecture Notes in Computer Science, Springer, 2005.

Symbolic Verification of Distributed Real-Time Systems with Complex SynchronizationsFarn Wang. icfem 2005: 300-314 [doi]

Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocolFarn Wang, Geng-Dian Huang, Fang Yu. jec, 1(1):39-56, 2005. [doi]

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-StructuresFarn Wang. TSE, 31(1):38-51, 2005. [doi]

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

2004

Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness AssumptionsFarn Wang. amast 2004: 553-568 [doi]

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-StructuresFarn Wang. cav 2004: 295-307 [doi]

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. ProceedingsFarn Wang, editor, Volume 3299 of Lecture Notes in Computer Science, Springer, 2004.

Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time AnalysisFarn Wang. ijfcs, 15(6):865-892, 2004. [doi]

Efficient verification of timed automata with BDD-like data structuresFarn Wang. STTT, 6(1):77-97, 2004. [doi]

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry ReductionFarn Wang, Karsten Schmidt 0004, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang. TSE, 30(6):403-417, 2004. [doi]

2003

2002

Efficient and User-Friendly VerificationFarn Wang, Pao-Ann Hsiung. TC, 51(1):61-83, 2002. [doi]

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data StructuresFarn Wang, Karsten Schmidt 0004. forte 2002: 50-64 [doi]

2001

Symbolic Verification of Complex Real-Time Systems with Clock-Restriction DiagramFarn Wang. forte 2001: 235-250

Parametric Optimization of Open Real-Time SystemsFarn Wang, Hsu-Chun Yen. SAS 2001: 299-318 [doi]

Efficient Model-Checking of Timed Automata with Clock-Restriction DiagramFarn Wang. aplas 2001: 207-224

2000

On the verification of Wireless Transaction Protocol using SGM and REDPao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen. rtcsa 2000: 379-383 [doi]

Region Encoding Diagram for Fully Symbolic Verification of Real-Time SystemsFarn Wang. compsac 2000: 509-515 [doi]

Parametric Analysis of Computer SystemsFarn Wang. fmsd, 17(1):39-60, 2000.

Efficient Data Structure for Fully Symbolic Verification of Real-Time Software SystemsFarn Wang. TACAS 2000: 157-171 [doi]

1999

1998

A State Graph Manipulator Tool for Real-Time System Specification and VerificationPao-Ann Hsiung, Farn Wang. rtcsa 1998: 181-188 [doi]

Automatic Verification on the LargeFarn Wang, Pao-Ann Hsiung. hase 1998: 134-141 [doi]

1997

1996

Procedure-Level Verification of Real-time Concurrent SystemsFarn Wang, Chia-Tien Dan Lo. fm 1996: 682-701

Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 statesFarn Wang. rtcsa 1996: 106 [doi]

Scalable compositional reachability analysis of real-time concurrent systemsFarn Wang. rtas 1996: 182-191 [doi]

Parametric Timing Analysis for Real-Time SystemsFarn Wang. iandc, 130(2):131-150, 1996.

1995

A Temporal Logic for Real-Time Partial-Ordering with Named TransactionsFarn Wang. latin 1995: 494-508

Timing Behavior Analysis for Real-Time SystemsFarn Wang. lics 1995: 112-122

Reachability Analysis at Procedure Level through Timing CoincidenceFarn Wang. concur 1995: 284-298

1994

RTL and Refutation by Positive CyclesFarn Wang, Aloysius K. Mok. fm 1994: 659-680

1993

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

Distributed Real-Time System Specification and Verification in APTLFarn Wang, Aloysius K. Mok, E. Allen Emerson. TOSEM, 2(4):346-378, 1993. [doi]

Symbolic Model Checking for Event-Driven Real-Time SystemsJin Yang, Aloysius K. Mok, Farn Wang. rtss 1993: 23-33

1992

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