Farn Wang Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:295-307 [Conf]
Farn Wang Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP] COMPSAC, 2000, pp:509-515 [Conf]
Farn Wang Reachability Analysis at Procedure Level through Timing Coincidence. [Citation Graph (0, 0)][DBLP] CONCUR, 1995, pp:284-298 [Conf]
Farn Wang Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:328-347 [Conf]
Farn Wang Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. [Citation Graph (0, 0)][DBLP] FORTE, 2001, pp:235-250 [Conf]
Farn Wang Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. [Citation Graph (0, 0)][DBLP] ICFEM, 2005, pp:300-314 [Conf]
Tei-Wei Kuo, Doug Locke, Farn Wang Error Propagation Analysis of Real-Time Data Intensive Applications. [Citation Graph (0, 0)][DBLP] IEEE Real Time Technology and Applications Symposium, 1997, pp:166-171 [Conf]
Farn Wang Scalable compositional reachability analysis of real-time concurrent systems. [Citation Graph (0, 0)][DBLP] IEEE Real Time Technology and Applications Symposium, 1996, pp:182-191 [Conf]
Farn Wang Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. [Citation Graph (0, 0)][DBLP] RTCSA, 1996, pp:106-0 [Conf]
Farn Wang Parametric Analysis of Computer Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:1, pp:39-60 [Journal]
Farn Wang Parametric Timing Analysis for Real-Time Systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:130, n:2, pp:131-150 [Journal]
Farn Wang Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2004, v:15, n:6, pp:865-892 [Journal]
Farn Wang A Temporal Logic for Real-Time Partial Ordering with Named Transactions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:181, n:1, pp:195-225 [Journal]
Farn Wang Under-approximation of the Greatest Fixpoint in Real-Time System Verification [Citation Graph (0, 0)][DBLP] CoRR, 2005, v:0, n:, pp:- [Journal]
Farn Wang Under-approximation of the Greatest Fixpoints in Real-Time System Verification [Citation Graph (0, 0)][DBLP] CoRR, 2005, v:0, n:, pp:- [Journal]
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. [Citation Graph (, )][DBLP]