| 2008 |
|---|
| 8 | EE | Farn Wang,
Geng-Dian Huang:
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
TestCom/FATES 2008: 234-249 |
| 2007 |
|---|
| 7 | EE | Geng-Dian Huang,
Bow-Yaw Wang:
Complete SAT-Based Model Checking for Context-Free Processes.
ATVA 2007: 51-65 |
| 2006 |
|---|
| 6 | 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) |
| 2005 |
|---|
| 5 | EE | Geng-Dian Huang,
Farn Wang:
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
ATVA 2005: 144-158 |
| 4 | | Farn Wang,
Rong-Shiung Wu,
Geng-Dian Huang:
Verifying Timed and Linear Hybrid Rule-Systems with RED.
SEKE 2005: 448-454 |
| 3 | 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 |
|---|
| 2 | 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) |
| 2003 |
|---|
| 1 | EE | Farn Wang,
Geng-Dian Huang,
Fang Yu:
Symbolic Simulation of Real-Time Concurrent Systems.
RTCSA 2003: 595-617 |
