Publications:

Book Publications:
1. Compositional Verification of Concurrent and Real-Time Systems, (with E. Juan), Kluwer Academic Publishers, Boston, MA, 2002.

2. Hybrid Parallel Execution Model for Logic-Based Specification Languages, (with B. Li),World Scientific Pub. Inc., New Jersey, 2001.

3. Distributed Real-Time Systems, (with Y. Bi, S. Yang, and R. Smith),Wiley & Sons Inc., NY, 1996.

4. Monitoring and Debugging Distributed Real-Time Systems, (with S. Yang), IEEE Computer Society Press, Washington D.C., November 1994.

5. Knowledge-Based Software Development for Real-Time Distributed Systems, (with T. Weigert), World Scientific Inc., New Jersey, December 1993.

Book Chapters:
1."Formal Verification Techniques for Computer Communication Security Protocol," (with L. Ma), Handbook of Software Engineering and Knowledge Engineering, 2002.

2."Computer System Monitoring," Encyclopedia of Electrical and Electronics Engineerings, (with A. Liu), John Wiley & Sons Inc., Feb. 1999.

3."Knowledge Verification," Encyclopedia of Electrical and Electronics
Engineerings, (with E. Juan, A. Sahay, D. Zhang), John Wiley & Sons Inc., Feb. 1999.

4."A Distributed Cooperative Agents Architecture for Software Development," (with R. Sheu), The Next Generation of Information Systems: from Data to Knowledge, Lecture Notes in Artificial Intelligence, (eds. M. Papazoglou and J. Zeleznikow), Springer-Verlag, Berlin Heidelberg, Vol. 611, pp. 271-290, 1992.

5."Development of Expert Systems Shells," Advances Series in ArtificialIntelligence, Vol. 1, (ed. N. Boubakis), World Scientific Inc., 1992.

6."A Knowledge-Based Approach for the Specification and Analysis of Real-Time Systems," (with H. Jang), Advances Series in Artificial Intelligence, Vol. 2, (ed. N. Boubakis), World Scientific Inc., 1992.

Refereed Journal Publications:
1. "Model and Algorithm for Efficient Analysis of High-Assurance Systems," (with A. Sahay and E. Juan) to appear in IEEE Transactions on Knowledge and Data Engineering , 2003.

2. "An Approach for Modeling and Analysis of Security System Architecture," (with Y. Deng) to appear in IEEE Transactions on Knowledge and Data Engineering, 2003.

3. "Fuzzy Rule Base Systems Verification Using High Level Petri Nets,"(with S. Yang and C. Chen), to appear in IEEE Transactions on Knowledge and Data Engineering, 2002.

4. "Development of Wireless Embedded Systems Using Component Based Software," (with S. Yang and C.H. Chu), International Journal of Software Engineering and Knowledge Engineering, 2002.

5. "Reduction Methods for Real-Time Systems Using Delay Time Petri Nets," (with E. Juan, T. Murata, Y. Zhou), IEEE Transactions on Software Engineering, March 2001.

6. "Modeling and Verification of High Assurance Properties of Safety-Critical Systems," (with E. Juan), The Computer Journal, Dec. 2001.

7. "Supporting Well-Engineered Web Documentation Development: A Multimedia Software Engineering Approach toward Virtual University Courseware," (with T. Shih, S.K. Chang, J. Ma, and R. Huang), Annals of Software Engineering, 2001.

8. "Multimedia Software Engineering," Annals of Software Engineering, 2001.

9. "Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment," (with D. Kadamuddi), IEEE Transactions on Software Engineering, 2000.

10. "A Comparative Study of Formal Verification Techniques for Architecture Specifi- cations ," (with B. Li), Annals of Software Engineering, March 2000.

11. "Knowledge-Based Software Architecture: Acquisition, Specification, Verifi- cation," (with A. Liu, E. Juan, A. Sahay), IEEE Transactions on Knowledge and Data Engineering, Vol.11 No. 1, pp. 187-201, Jan. 1999.

12. "An Empirical Evaluation of Deadlock Detection in Software Architecture Specification," (with K Xu), Annals of Software Engineering, Vol. 7, pp. 95-126, October 1999.

13. "Multimedia Software Engineering," International Journal of Software Engineering and Knowledge Engineering, 1999.

14. "High-Assurance Software Engineering," International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, 1999.

15. "A New Incremental Algorithm for Real-Time Systems," (with A. Sahay, P. Sistla), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, pp203-216, 1999.

16. "Real-Time Software Engineering," Annals of Software Engineering, (editor introduction), pp. 1-3, October 1999.

17. "An Incremental Algorithm for Real-Time Systems," (with A. Sahay, P. Sistla), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 3, June 1999.

18. "Specification of Multimedia Software Systems Using an Object-Oriented Architecture Description Language," (with K. Xu), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 4, 1999.

19. "Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules," (with E. Juan and T. Murata), ACM Transactions on Programming Languages and Systems, Vol. 20, No. 5, pp. 1-63, Sept. 1998.

20. "A Logic-Based Transformation Systems," (with B. Li and T. Weigert), IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No.1, pp. 91-107, Jan. 1998.

21. "Incremental Verification of Architecture Specification for Real-Time Systems," (with A. Sahay, P. Sistla, R. Paul), International Journal of Software Engineering and Knowledge Engineering, Vol. 8, No. 3, pp. 347-360, Sept. 1998.

22. "Parallel Evaluation of Software Architecture Specifications," (with B. Li and E.
Juan), Communication of the ACM, Vol. 40, No. 1, pp. 63-70, January 1997.

23. "A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support," (with Y. Yang and Y. Bi), International Journal of Software Engineering and Knowledge Engineering, Vol. 6, No. 3, September 1996.

24. "A Knowledge-Based Approach for Requirements Analysis," (with A. Liu), International Journal of Artificial Intelligence Tools, Vol. 5, No. 2, pp. 167-184, June 1996.

25. "Debugging for Timing Constraint Violations," (with Y. Bi and Y. Yang), IEEE
Software, pp. 89-99, March 1996.

26. "Dependability of Artificial Intelligence Systems," IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 1, pp. 1-3, February 1995.

27. "Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications," (with C. Chang, S. Yang), IEEE Transactions on Software Engineering, Vol. 21, No. 1, pp. 32-49, January 1995.

28. "MDDT Constructs for Incorporating Early-Receives in Distributed Computing,"
(with D. Kadamuddi), Journal of Computer Systems: Science and Engineering, Vol. 10, No. 4, pp. 223-233, October 1995.

29. "A Computationally TractableNon-Monotonic Logic," (with T. Weigert), IEEE Transactions on Knowledge and Data Engineering, Vol. 6, No. 1, pp. 57-63, February 1994.

　30. "Debugging of Logic-Based Requirements Specifications for Safety-Critical Systems - A FRORLApproach," (A. Liu, K. Nair), Int'l Journal of Software Engineering and Knowledge Engineering, Vol. 4, No. 2, pp. 205-227, June 1994.

31. "An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems," (with H. Chen and Y. Bi), International Journal of Artificial Intelligence Tools, Vol. 2, No. 1, pp. 71- 92, March 1993.

32. "Fuzzy Operator Logic and Fuzzy Reasoning," (with X.H. Liu and T. Weigert), Journal of Automated Reasoning, Vol. 10, No. 1, pp. 59-78, 1993.

33. "KBRMS: An Intelligent Assistant for Requirement Definition," (with B. Binder), International Journal of Artificial Intelligence Tools, Vol. 1, No. 4, pp. 503-522, December 1992.

34. "Artificial Intelligence for Software Engineering," International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 4, p. 487, December 1992.

35. "A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis," (with T. Weigert, H. Jang), IEEE Transactions on Software Engineering, Vol. SE-18, No. 12, pp. 1076-1100, December 1992.

36. "An Explication of Reasoning in Multiple Inheritance Systems Through Non-Monotonic Horn Clause Logic," (with T. Weigert) Information Sciences, Vol. 63, No. 3, pp. 261-283, Sept. 1992.

37. "A Knowledge-Based Approach for the Specification and Analysis of Real-Time Systems," (with H. Jang), International Journal of Artificial Intelligence Tools, Vol. 1 No. 1, pp. 1-35, March 1992.

38. "Intelligent Syntax-Directed Editor that Models User Proficiency," (with O. Chan, A. Liu), International Journal of Applied Artificial Intelligence, Vol. 6, pp. 165-192, 1992.

39. "Reasoning under Uncertainty in Fuzzy Operator Logic," (with T. Weigert and X.Liu), IEEE Transactions on System, Man, and Cybernatics, Vol. 21, No. 6, pp. 1604-1608, Nov./Dec. 1991.

40. "HCLIE: A Logic-Based Requirements Language for New Software Engineering Paradigms," (with T. Weigert), IEE Software Engineering Journal, Vol. 6, No. 4, pp. 137-151, July 1991.

41. "L-Resolution and the Interpretation of L-Implication in Fuzzy Operator Logic," (X. Liu, K.Y. Fang, T. Weigert), Information Sciences, Vol. 56, No. 1, pp. 259-278, Aug. 1991.

42. "A Knowledge-Based System for ADA Software Development," (with R. Sheu), Journal of Systems Integration, Vol. 1, No. 2, pp. 163-194, Aug. 1991.

43. "A Non-Interference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging," (with K.Y. Fang, H.Y. Chen, Y. Bi), IEEE Transaction on Software Engineering, Vol. SE-16, No. 9 pp. 897-916, Aug. 1990.

44. "A Knowledge-Based Approach for Checking Software Information Using a
Non-Monotonic Reasoning System," (with T. Weigert), Journal of Knowledge-Based Systems, Vol. 3, No. 3, pp. 131-138, 1990.

45. "Integration Strategy for Real-Time Distributed Intelligent Systems," (with M. Rao, T. Jiang), Journal of Intelligent and Robotic Systems, Vol. 3, pp. 131-146, 1990.

46. "A Knowledge-Based Navigation Scheme for Autonomous Land Vehicles," (with M. Metea, J. Cesarone), International Journal of Applied Artificial Intelligence, Vol. 4, No. 1,pp. 1-14, 1990.

47. "Integrated Intelligent Simulation Environment," (with M. Rao, T. Jiang), Journal of Simulation, Vol. 55, No. 1, pp. 291-295, July 1990.

48. "A Non-invasive Architecture to Monitor Real-Time Distributed Systems," (with K.Y. Fang, H.Y. Chen), IEEE Computer, Vol. 23, No. 4, pp. 11-23, March 1990.

49. "A Knowledge-Based System for Rapid Prototyping," (with A. Liu), Journal of Knowledge-BasedSystems, Vol. 2, No. 4, pp. 239-248, Dec. 1989.

50. "Combining Symbolic and Numerical Processing in Real-Time Intelligence Control," (with M. Rao, T. Jiang), International Journal of Engineering Applications of Artificial Intelligence, Vol. 2, pp. 19-27, 1989.

51. "A Knowledge-Based Approach to Software Design," IEEE Journal on Selected Areas in Communications, Vol. SAC-6, No. 5, pp. 828-841, June 1988.

52. "Intelligent Support for Specifications Transformation," (with J. Ridge), IEEE Software, Vol. 5, No. 6, pp. 28-35, Nov. 1988.

53. "An Integrated Life-Cycle Model for Software Maintenance," (with S. S. Yau, R. Nichol, S. Liu), IEEE Transactions on Software Engineering, SE-14, No. 8, pp. 1128-1144, August 1988.

54 . "IDSCA: An Intelligent Direction Selector for the Controller's Actions in Multiple-Loop Control Systems," (with M. Rao, T. Jiang), International Journal of Intelligent Systems, John Wiley & Sons, Inc., Vol. 3, No. 4, pp. 361-379, 1988.

55. "An Intelligent Decision-maker for Optimal Control," (with M. Rao, T. Jiang), International Journal of Applied Artificial Intelligence, Vol. 2, No. 4, pp. 289-309, 1988.

56. "Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications," (with S. S. Yau), IEEE Transactions on Software Engineering, Vol. SE-13, No. 3, pp. 355-361, March 1987.

57. "A Survey of Software Design Techniques," (with S.S. Yau), IEEE Transactions on Software Engineering, Vol. SE-12, No. 6, pp. 713-721, June 1986.

58. "Specification of Multimedia Software Systems Using an Object-Oriented Architecture Description Language," (with K. Xu), to appear in International Journal of Software Engineering and Knowledge Engineering.

59. "A Hybrid Parallel Execution Model of Logic-Based Requirements Specification
Language," (with B. Li), (invited paper), to appear in Australian Journal of Information Systems.

60. "Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems, "(with Z.Wang),(invited paper), to appear in Tamkang Journal of Science and Engineering.