 | 2009 |
|---|
| 70 |       | Geng-Dian Huang,
Lin-Zan Cai,
Farn Wang:
LTL Model Checking for Recursive Programs.
ATVA 2009: 382-396 |
| 69 |  | Jung-Hsuan Wu,
Yee-Chun Chen,
Sung-huai Hsieh,
Hui-Chi Lin,
Ying-Yu Chen,
Po-Hsun Cheng,
Farn Wang,
Flapei Lai:
Real-time Automated MDRO Surveillance System.
BIOCOMP 2009: 764-769 |
| 68 | | Farn Wang:
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.
HSCC 2009: 485-489 |
| 2008 |
|---|
| 67 | | Farn Wang:
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.
ATVA 2008: 258-273 |
| 66 | | Farn Wang,
Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications.
FORTE 2008: 185-200 |
| 65 | | Farn Wang,
Geng-Dian Huang:
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
TestCom/FATES 2008: 234-249 |
| 64 | | Farn Wang:
Specification Formalisms and Models.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 63 | | 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 |
| 62 | | Farn Wang:
Symbolic Simulation-Checking of Dense-Time Automata.
FORMATS 2007: 352-368 |
| 2006 |
|---|
| 61 | | Farn Wang:
REDLIB for the Formal Verification of Embedded Systems.
ISoLA 2006: 341-346 |
| 60 | | Farn Wang:
Symbolic Simulation-Checking of Dense-Time Systems
CoRR abs/cs/0610085: (2006) |
| 59 | | 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 | | 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 | | Geng-Dian Huang,
Farn Wang:
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
ATVA 2005: 144-158 |
| 55 | | 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 | | Farn Wang:
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
CoRR abs/cs/0501059: (2005) |
| 52 | | Farn Wang:
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
CoRR abs/cs/0501060: (2005) |
| 51 | | 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 | | 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 | | Farn Wang:
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.
AMAST 2004: 553-568 |
| 47 | | Farn Wang:
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
CAV 2004: 295-307 |
| 46 | | 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 | | 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 | | Farn Wang:
Efficient verification of timed automata with BDD-like data structures.
STTT 6(1): 77-97 (2004) |
| 2003 |
|---|
| 43 | | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
TCTL Inevitability Analysis of Dense-Time Systems.
CIAA 2003: 176-187 |
| 42 | | Farn Wang,
Hsu-Chun Yen:
Timing Parameter Characterization of Real-Time Systems.
CIAA 2003: 23-34 |
| 41 | | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.
FORTE 2003: 160-176 |
| 40 | | Farn Wang,
Fang Yu:
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.
RTCSA 2003: 254-278 |
| 39 | | Farn Wang,
Geng-Dian Huang,
Fang Yu:
Symbolic Simulation of Real-Time Concurrent Systems.
RTCSA 2003: 595-617 |
| 38 | | Farn Wang:
Efficient Verification of Timed Automata with BDD-Like Data-Structures.
VMCAI 2003: 189-205 |
| 37 | | Farn Wang:
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
CoRR cs.DS/0306113: (2003) |
| 36 | | Farn Wang,
Geng-Dian Hwang,
Fang Yu:
TCTL Inevitability Analysis of Dense-time Systems
CoRR cs.SC/0304003: (2003) |
| 35 | | 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 | | Farn Wang,
Karsten Schmidt:
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.
FORTE 2002: 50-64 |
| 33 | | 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 | | Farn Wang,
Hsu-Chun Yen:
Parametric Optimization of Open Real-Time Systems.
SAS 2001: 299-318 |
| 2000 |
|---|
| 29 | | Farn Wang:
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.
COMPSAC 2000: 509-515 |
| 28 | | Pao-Ann Hsiung,
Farn Wang,
Ruey-Cheng Chen:
On the verification of Wireless Transaction Protocol using SGM and RED.
RTCSA 2000: 379-383 |
| 27 | | 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 | | Pao-Ann Hsiung,
Farn Wang,
Yue-Sun Kuo:
Verification of Concurrent Client-Server Real-Time Scheduling Systems.
RTCSA 1999: 228-235 |
| 23 | | Pao-Ann Hsiung,
Farn Wang,
Yue-Sun Kuo:
Scheduling System Verification.
TACAS 1999: 19-33 |
| 22 | | 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 | | Farn Wang,
Pao-Ann Hsiung:
Automatic Verification on the Large.
HASE 1998: 134-141 |
| 19 | | 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 | | 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 | | 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 | | 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 | | 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 | | Farn Wang:
Scalable compositional reachability analysis of real-time concurrent systems.
IEEE Real Time Technology and Applications Symposium 1996: 182-191 |
| 10 | | 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 | | 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 | | Farn Wang,
Aloysius K. Mok,
E. Allen Emerson:
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.
ICSE 1992: 188-198 |
