J. Tsai, A. Liu, E. Juan, A. Sahay, "Knowledge-Based Software Architecture," IEEE Transactions on Knowledge and Data Engineering, Vol. 11, No. 1 Jan./Feb. 1999.

E. Juan, J. Tsai, T. Murata, "Compositional Verification of Concurrent Systems Using Petri-nets-based Condensation Rules," ACM Transactions on Programming Languages and Systems, Vol. 20, No. 5, Sept. 1998.

J. Tsai, B. Li, and T. Weigert, "A Logic-Based Transformation System," IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 1, pp. 91-107, Jan. 1998.

J. Tsai, A. Sistla, A. Sahay, and R. Paul,"Incremental Verification of Architecture Specification Language for Real-Time Systems," Int'l Journal of Software Engineering and Knowledge Engineering, 1998.

J. Tsai, B. Li and E. Juan, "Parallel Evalutation Model for Software Architecture Specification," Communications of the ACM, Vol. 40, No. 1, pp.83-86, January 1997.

J. Tsai and E. Juan, "Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems," Proceedings of IEEE High-Assurance Systems Engineering, Washington DC, August, 1997.

E. Juan, J. Tsai, and T. Murata, A New Compositional Method for Condensed State-Space Verification, Proceedings of IEEE High-Assurance Systems Engineering, Ontario, Canada, October 1996.

J. Tsai, Y. Bi, S. Yang, and R. Smith, Distributed Real-Time Systems: Monitoring, Debugging, and Visualization, John Wiley & Sons, Inc., 1996.

J. Tsai and S. Yang, Monitoring and Debugging Distributed Real-Time Systems, IEEE Computer Society Press, Washington D.C., 1995.

J. Tsai and T. Weigert, Knowledge-Based Software Development for Real-Time Distributed Systems, World Scientific Inc., New York, 1993.

J. Tsai, H. Jang and T. Weigert, A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis, IEEE Trans. on Software Engineering, Vol. SE-18, No. 12, pp. 1076-1100, December 1992.

Return to the EDCS Home page: