 | 2008 |
|---|
| 12 |       | Jeffrey J. P. Tsai,
Du Zhang,
Avinash Sahay,
Eric Y. T. Juan:
Knowledge Verification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2003 |
|---|
| 11 | | Jeffrey J. P. Tsai,
Eric Y. T. Juan,
Avinash Sahay:
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.
IEEE Trans. Knowl. Data Eng. 15(2): 405-422 (2003) |
| 2002 |
|---|
| 10 | | Jeffrey J. P. Tsai,
Eric Y. T. Juan:
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems.
IEEE ICCI 2002: 59-68 |
| 2001 |
|---|
| 9 | | Jeffrey J. P. Tsai,
Eric Y. T. Juan:
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.
Comput. J. 44(6): 504-530 (2001) |
| 8 | | Eric Y. T. Juan,
Jeffrey J. P. Tsai,
Tadao Murata,
Yi Zhou:
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.
IEEE Trans. Software Eng. 27(5): 422-448 (2001) |
| 1999 |
|---|
| 7 | | Jeffrey J. P. Tsai,
Alan Liu,
Eric Y. T. Juan,
Avinash Sahay:
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.
IEEE Trans. Knowl. Data Eng. 11(1): 187-201 (1999) |
| 1998 |
|---|
| 6 | | Eric Y. T. Juan,
Jeffrey J. P. Tsai,
Tadao Murata:
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.
ACM Trans. Program. Lang. Syst. 20(5): 917-979 (1998) |
| 1997 |
|---|
| 5 | | Jeffrey J. P. Tsai,
Eric Y. T. Juan:
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems.
HASE 1997: 188-193 |
| 4 |  | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Parallel Evaluation of Software Architecture Specifications.
Commun. ACM 40(1): 83-86 (1997) |
| 1996 |
|---|
| 3 | | Jeffrey J. P. Tsai,
Stephen J. H. Yang,
Yao-Hsiung Chang,
Eric Y. T. Juan:
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets.
COMPSAC 1996: 36-40 |
| 2 | | Eric Y. T. Juan,
Jeffrey J. P. Tsai,
Tadao Murata:
A new compositional method for condensed state-space verification.
HASE 1996: 104-111 |
| 1 | | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Transaction integration for reusable hard real-time components.
HASE 1996: 166-175 |
