2008 |
12 | EE | Jeffrey J. P. Tsai,
Du Zhang,
Avinash Sahay,
Eric Y. T. Juan:
Knowledge Verification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
2003 |
11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Eric Y. T. Juan,
Jeffrey J. P. Tsai,
Tadao Murata:
A new compositional method for condensed state-space verification.
HASE 1996: 104-111 |
1 | EE | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Transaction integration for reusable hard real-time components.
HASE 1996: 166-175 |