2009 |
67 | EE | Farn Wang:
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.
HSCC 2009: 485-489 |
2008 |
66 | EE | Farn Wang:
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.
ATVA 2008: 258-273 |
65 | EE | Farn Wang,
Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications.
FORTE 2008: 185-200 |
64 | EE | Farn Wang,
Geng-Dian Huang:
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
TestCom/FATES 2008: 234-249 |
63 | EE | Farn Wang:
Specification Formalisms and Models.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
2007 |
62 | EE | 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 |
61 | EE | Farn Wang:
Symbolic Simulation-Checking of Dense-Time Automata.
FORMATS 2007: 352-368 |
2006 |
60 | EE | Farn Wang:
Symbolic Simulation-Checking of Dense-Time Systems
CoRR abs/cs/0610085: (2006) |
59 | EE | 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) |
58 | EE | Farn Wang:
Preface.
Int. J. Found. Comput. Sci. 17(4): 731-732 (2006) |
2005 |
57 | | Farn Wang:
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Springer 2005 |
56 | EE | Geng-Dian Huang,
Farn Wang:
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
ATVA 2005: 144-158 |
55 | EE | Farn Wang:
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.
ICFEM 2005: 300-314 |
54 | | Farn Wang,
Rong-Shiung Wu,
Geng-Dian Huang:
Verifying Timed and Linear Hybrid Rule-Systems with RED.
SEKE 2005: 448-454 |
53 | EE | Farn Wang:
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
CoRR abs/cs/0501059: (2005) |
52 | EE | Farn Wang:
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
CoRR abs/cs/0501060: (2005) |
51 | EE | Farn Wang:
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
IEEE Trans. Software Eng. 31(1): 38-51 (2005) |
50 | EE | 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) |
2004 |
49 | | Farn Wang:
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
Springer 2004 |
48 | EE | Farn Wang:
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.
AMAST 2004: 553-568 |
47 | EE | Farn Wang:
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
CAV 2004: 295-307 |
46 | EE | 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) |
45 | EE | 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) |
44 | EE | Farn Wang:
Efficient verification of timed automata with BDD-like data structures.
STTT 6(1): 77-97 (2004) |
2003 |
43 | EE | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
TCTL Inevitability Analysis of Dense-Time Systems.
CIAA 2003: 176-187 |
42 | EE | Farn Wang,
Hsu-Chun Yen:
Timing Parameter Characterization of Real-Time Systems.
CIAA 2003: 23-34 |
41 | EE | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.
FORTE 2003: 160-176 |
40 | EE | Farn Wang,
Fang Yu:
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.
RTCSA 2003: 254-278 |
39 | EE | Farn Wang,
Geng-Dian Huang,
Fang Yu:
Symbolic Simulation of Real-Time Concurrent Systems.
RTCSA 2003: 595-617 |
38 | EE | Farn Wang:
Efficient Verification of Timed Automata with BDD-Like Data-Structures.
VMCAI 2003: 189-205 |
37 | EE | Farn Wang:
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
CoRR cs.DS/0306113: (2003) |
36 | EE | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
TCTL Inevitability Analysis of Dense-time Systems
CoRR cs.SC/0304003: (2003) |
35 | EE | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
CoRR cs.SE/0303027: (2003) |
2002 |
34 | EE | Farn Wang,
Karsten Schmidt:
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.
FORTE 2002: 50-64 |
33 | EE | Farn Wang,
Pao-Ann Hsiung:
Efficient and User-Friendly Verification.
IEEE Trans. Computers 51(1): 61-83 (2002) |
2001 |
32 | | Farn Wang:
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram.
APLAS 2001: 207-224 |
31 | | Farn Wang:
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.
FORTE 2001: 235-250 |
30 | EE | Farn Wang,
Hsu-Chun Yen:
Parametric Optimization of Open Real-Time Systems.
SAS 2001: 299-318 |
2000 |
29 | EE | Farn Wang:
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.
COMPSAC 2000: 509-515 |
28 | EE | Pao-Ann Hsiung,
Farn Wang,
Ruey-Cheng Chen:
On the verification of Wireless Transaction Protocol using SGM and RED.
RTCSA 2000: 379-383 |
27 | EE | Farn Wang:
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems.
TACAS 2000: 157-171 |
26 | | Farn Wang:
Parametric Analysis of Computer Systems.
Formal Methods in System Design 17(1): 39-60 (2000) |
1999 |
25 | | Pao-Ann Hsiung,
Farn Wang:
User-Friendly Verification.
FORTE 1999: 279-294 |
24 | EE | Pao-Ann Hsiung,
Farn Wang,
Yue-Sun Kuo:
Verification of Concurrent Client-Server Real-Time Scheduling Systems.
RTCSA 1999: 228-235 |
23 | EE | Pao-Ann Hsiung,
Farn Wang,
Yue-Sun Kuo:
Scheduling System Verification.
TACAS 1999: 19-33 |
22 | EE | Farn Wang:
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.
World Congress on Formal Methods 1999: 328-347 |
21 | | Farn Wang,
Chia-Tien Dan Lo:
Procedure-Level Verification of Real-time Concurrent Systems.
Real-Time Systems 16(1): 81-114 (1999) |
1998 |
20 | EE | Farn Wang,
Pao-Ann Hsiung:
Automatic Verification on the Large.
HASE 1998: 134-141 |
19 | EE | Pao-Ann Hsiung,
Farn Wang:
A State Graph Manipulator Tool for Real-Time System Specification and Verification.
RTCSA 1998: 181-188 |
1997 |
18 | | Farn Wang,
Pao-Ann Hsiung:
Parametric Analysis of Computer Systems.
AMAST 1997: 539-553 |
17 | | Farn Wang:
High-Level Execution Time Analysis.
ARTS 1997: 325-339 |
16 | EE | 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 |
15 | EE | 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 |
14 | EE | 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) |
13 | EE | Farn Wang:
A Temporal Logic for Real-Time Partial Ordering with Named Transactions.
Theor. Comput. Sci. 181(1): 195-225 (1997) |
1996 |
12 | | Farn Wang,
Chia-Tien Dan Lo:
Procedure-Level Verification of Real-time Concurrent Systems.
FME 1996: 682-701 |
11 | EE | Farn Wang:
Scalable compositional reachability analysis of real-time concurrent systems.
IEEE Real Time Technology and Applications Symposium 1996: 182-191 |
10 | EE | Farn Wang:
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.
RTCSA 1996: 106- |
9 | | Farn Wang:
Parametric Timing Analysis for Real-Time Systems.
Inf. Comput. 130(2): 131-150 (1996) |
1995 |
8 | | Farn Wang:
Reachability Analysis at Procedure Level through Timing Coincidence.
CONCUR 1995: 284-298 |
7 | | Farn Wang:
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions.
LATIN 1995: 494-508 |
6 | | Farn Wang:
Timing Behavior Analysis for Real-Time Systems
LICS 1995: 112-122 |
1994 |
5 | | Farn Wang,
Aloysius K. Mok:
RTL and Refutation by Positive Cycles.
FME 1994: 659-680 |
1993 |
4 | | Farn Wang,
Aloysius K. Mok,
E. Allen Emerson:
Symbolic Model Checking for Distributed Real-Time Systems.
FME 1993: 632-651 |
3 | | Jin Yang,
Aloysius K. Mok,
Farn Wang:
Symbolic Model Checking for Event-Driven Real-Time Systems.
IEEE Real-Time Systems Symposium 1993: 23-33 |
2 | EE | 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) |
1992 |
1 | EE | Farn Wang,
Aloysius K. Mok,
E. Allen Emerson:
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.
ICSE 1992: 188-198 |