Machine Learning in Cyber Trust: Security, Privacy, Reliability,
(edited with P. Yu),
Springer, 2009.
Machine Learning in Cyber Trust: Security, Privacy, Reliability,
(edited with P. Yu),
Springer, 2009.
Ubiquitous Intelligence and Computing,
(edited with J. Ma, L. Yang, H. Jin),
Springer, 2007.
Advances in Machine Learning Applications in Software Engineering,
(edited with D. Zhang), Idea Group Publishing, PA, 2007.
Security Modeling and Analysis of Mobile Agent Systems,
(with L. Ma), Imperial College Press, London, 2006.
Machine Learning Applications in Software Engineering,
(edited with D. Zhang),
World Scientific Pub., 2005.
Compositional Verification of Concurrent and Real-Time Systems,
(with E. Juan),
Springer, 2002.
Hybrid Parallel Execution Model for Logic-Based Specification Languages,
(with B. Li),
World Scientific Pub. Inc., 2001.
Distributed Real-Time Systems: Monitoring, Debugging, and
Visualization, (with Y. Bi, S. Yang, and R. Smith),
John Wiley & Sons, Inc., New York, 1996.
Monitoring and Debugging Distributed Real-Time Systems,
(edited with S. Yang),
IEEE Computer Society Press, Washington D.C., 1995.
Knowledge-Based Software Development for Real-Time Distributed
Systems, (with T. Weigert),
World Scientific Inc., New York, 1993.
"Experience on Knowledge-Based Software Engineering:
A Logic-Based Requirements Language and Its Industrial Applications,"
(with A. Liu),
Journal of Systems and Software, Vol. 82, No. 10, pp. 1578-1587, 2009.
"An Adaptive Automatically Tuning Intrusion Detection System,"
(with Z. Yu and T. Weigert),
ACM Transactions on Autonomous and Adaptive Systems, Vol. 3, No. 3,
September 2008.
"Formal Modelling and Analysis of a Secure Mobile Agent System,"
(with L. Ma),
IEEE Transactions on System, Man, Cybernetics, Part A, Vol. 38, No. 1,
pp. 180-196, January 2008.
"Predicting Subcellular Location of Eukaryotic Proteins using Baysian
and K-Nearest Neighbor Classifier,"
(with H. W. Hsiao, S. H. Chen, P.C. Chang),
Journal of Information Science and Engineering,
Vol. 24, No. 5, September 2008.
"Scaling Behavior of Maximal Repeat Distribution in Genomic Sequence,"
(with J. D. Wang, H. C. Liu, K. L. Ng),
International Journal of Cognitive Informatics and Natural Intelligence,
Vol. 2, No. 3, July 2008.
"The Role of Roles in Supporting Reconfigurability and Fault Locations
for Open Distributed and Embedded Systems,"
(with S. Ren, Y. Yu, Y. Chen, and K. Kwiat),
ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3,
September 2007.
"Automatically Tuning Intrusion Detection System,"
(with Z. Yu and T. Weigert),
IEEE Transactions on System, Man, Cybernetics, Vol. 37, No.2, April
2007.
"Generating High Quality Discrete LOD Meshes for 3D Computer
Applications in Linear Time,"
(with H. Chen, C.S. Fahn, R.M. Chen, M.B. Lin),
ACM Multimedia Systems Journal, Vol. 11, No. 5, June 2006.
"Modular Structures and Robustness of Protein Networks,"
(with K.L. Ng, C.H. Huang, P.H. Lee, J.F. Fang),
International Journal of Artificial Intelligence Tools, Vol. 15, No. 2, April 2006.
"A Software Architecture for Finding Motifs using Genetic Algorithm,"
(with R.M. Chen, F.M. Chen),
International Journal of Software Engineering and Knowledge Engineering, Vol. 15, No. 3, May 2005.
"An Approach for Modeling and Analysis of Security System Architecture," (with Y. Deng),
IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 5,
pp. 1099-1119, 2003.
"Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems," (with E. Juan, A. Sahay),
IEEE Transactions on Knowledge and Data Engineering,
Vol. 15, No. 2, pp. 405-422, 2003.
"Fuzzy Rule Base Systems Verification Using High Level Petri Nets," (with S. Yang),
IEEE Transactions on Knowledge and Data Engineering, Vol. 15,
No. 2, pp. 457-473, 2003.
"Reduction Methods for Real-Time Systems using Delay Time Petri Nets," (with E. Juan, T. Murata, and Y. Zhou),
IEEE Transactions on Software Engineering, Vo. 27, No. 5,
pp. 422-448, March 2001.
"Clustering Algorithm for Parallelizing Software Systems in Multi-Processors
Environment," (with D. Kadamuddi),
IEEE Transactions on Software Engineering, Vol. 26, No. 4,
pp. 340-361, April 2000.
"Knowledge-Based Software Architecture: Acquisition, Specification,
and Verification,"
(with A. Liu, E. Juan, A. Sahay),
IEEE Transactions on
Knowledge and Data Engineering, Vol. 11, No. 1, pp. 187-201, Jan./Feb. 1999.
"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. 917-979, 1998.
"A Logic-Based Transformation Systems,"
(with B. Li, T. Weigert),
IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 1, pp. 91-107,
Jan. 1998.
"Parallel Evalutation Model for Software Architecture Specification,"
(with B. Li and E. Juan),
Communications of the ACM, Vol. 40, No. 1, pp. 63-70, January 1997.
"Debugging for Timing Constraint Violations,"
(with Y. Bi and Y. Yang),
IEEE Software, pp. 89-99, March 1996.
"Dependability of Artificial Intelligence Systems,"
IEEE Transactions on Knowledge and Data Engineering,
Vol. 7, No. 1, pp. 1-3, February 1995.
"Timing Constraint Petri Nets and Their Application to Schedulability
Analysis of Real-Time System Specifications,"
IEEE Transactions on Software Engineering, Vol. 21, No. 1,
pp. 32-49, January 1995.
"A Computationally Tractable Non-Monotonic Logic,"
(with T. Weigert)
IEEE Transactions on Knowledge and Data Engineering, Vol. 6,
No. 1, pp. 57-63, February 1994.
"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.
"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.
"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, September 1992.
"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.
"A Non-Interference Monitoring and Replay Mechanism for Real-Time
Software Testing and Debugging," (with K.Y. Fang, H.Y. Chen, Y. Bi),
IEEE Transactions on Software Engineering, Vol. SE-16,
No. 8, pp. 897-916, Aug. 1990.
"A Noninvasive 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.
"A Knowledge-Based Approach to Software Design,"
IEEE Journal on Selected Areas in Communications,
Vol. SAC-6, No. 5, pp. 828-841, June 1988.
"Intelligent Support for Specifications Transformation,"
(with J. Ridge), IEEE Software,
Vol. 5, No. 6, pp. 28-35, Nov. 1988.
"An Integrated Life-Cycle Model for Software Maintenance,"
(with S.S. Yau,
R.A. Nicholl, and S.S. Liu),
IEEE Transactions on
Software Engineering, Vol. SE-14, No. 8, pp. 1128-1144, Aug. 1988.
"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.
"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.
"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.
"Improving Software Quality Through a New Testing Strategy,"
(with X. Zeng, T. Weigert),
Proc. 19th IEEE International Computer Software
and Applications Conference , pp. 224-229, August 1995.
"A Knowledge-Based Approach to Specification-Based Software
Architecture," Proc. 1995 Monterey Software Specification
Workshop , Sept. 1995.
"A Logic-Based Requirements Language for the Specification and
Analysis of Real-Time Systems,"
Proc. 2nd IEEE Object-Oriented Real-Time Dependable
System Workshop, Laguna Beach, CA, Feb. 1996.
"A New Compositional Method for Condensed State Space
Verification," (with E. Juan and T. Murata),
Proceedings of IEEE High-Assurance Systems
Engineering, Ontario, Canada, October 1996.
"A Hybrid Execution Model for Logic-Based Requirements
Specifications," (with B. Li and E. Juan),
Proceedings of IEEE High-Assurance Systems
Engineering, Ontario, Canada, October 1996.
"Automatic Generation of Verification Scenario from
Systems Requirements Specifications," (X. Zeng, T. Weigert),
Prof. 8th Internatinal Conference on Software Engineering
and Knowledge Engineering, Nevada, June 1996.
"Verifying Timing Properties of Distributed Real-Time Systems
Using Timing Constraints Petri Nets,"
(with S. Yang, C. Chang, E. Juan),
Proc. 20th IEEE International
Computer Software and Applications Conference,
pp. 36-40, Aug. 1996.
"Incremental Verification of Architecture Specification
Language for Real-Time Systems",
(with A. P. Sistla and Avinash Sahay),
Proceedings of the 3rd International Workshop on
Object-Oriented Real-Time Dependable Systems, Laguna Beach, CA,
pp. 55-63, Feb. 1997.
"Efficient Compositional State-Space Verification for Communicating Processes in
Distributed Systems,"
(with E. Juan),
Proceedings of IEEE High-Assurance Systems Engineering, Washington DC, August,
pp. 188-193, Aug. 1997.
"Incremental Verification of Software Architectures,"
(with A. Sistla, A. Sahay, R. Paul),
ACM Software Engineering Notes, Vol. 22, No. 5, pp. 60-63, Sept. 1997.
"Multimedia Software Engineering,"
Proceedings of Int'l Conf. on Software Engineering,
Kyoto, Japan, April 1998.
"Knowledge Verification,"
(with E. Juan, A. sahay, D. Zhang),
Encyclopedia of Electrical and Electronics Engineerings,
John Wiley and Sons, Inc., 1999.
"System Monitoring,"
(with A. Liu),
Encyclopedia of Electrical and Electronics Engineerings,
John Wiley and Sons, Inc., 1999.
"Architecture Specification of Multimedia Software Systems,"
(with K. Xu),
Proceedings of 6th IEEE Int'l Conference on Multimedia Computing and
Systems, Florence, Italy, June, 1999.
"Formal Analysis of Software Security System Architectures,"
Proceedings of 5th IEEE ISADS Symp., TX, March 2001.
"Formal Verification Techniques for Communication Security Protocols,"
Handbook of SEKE, 2001.
"Modeling and Simulation of Routing Protocol for Mobile
Ad Hoc Networks Using Colored Petri Nets,"
(with C. Xiong, T. Murata),
Proc. Workshop on Formal Methods Applied to
Defence Systems, Adelaide, Australia, June 2002.
"Machine Learning and Software Engineering," (with D. Zhang),
Proc. of 13th IEEE Int'l Conf. on Tools with A.I., Washington D.C. Nov. 2002.
"A Framework for Exploring Cancer-related Genes,"
(with J.G. Chang, R.M. Chen, H.W. Hsiao, R.M. Hu, S.N. Chen, M.M. Lee,
W.L. Chan, P.X. Wu, W.H. Chen, S.S. Chen, F.M. Liu, Y.C. Lin),
Proc. of 3rd IEEE Symp. on Bioinformatics and Bioengineering,"
Washington D.C., pp. 426-435, March 2003.
"FMGA: Finding Motifs by Genetic Algorithm,"
(with R.M. Chen, et al.)
Proc. of 5th IEEE Int'l Symp. on Bioinformatics and
Bioengineering, pp. 459-466, May 2004.
"Using Distributed Computing Platform to Solve
High Computing and Huge Data Processing Problems in Bioinformatics,"
(with S. N. Chen, R.M. Chen, C. W. Huang, R. Lin)
Proc. of 5th IEEE Int'l Symp. on Bioinformatics and
Bioengineering, May 2004.
"A Multiple-class System for KDD Intrusion Detection,"
(with Z. Yu),
Proc. 25th IEEE Int'l Computer Software and Applications Conference,
pp. 212-217, Sept. 2004.
"A Secure Mobile Agent System Model Based on Extended Elementary
Object Net,"
(with L. Ma and T. Murata),
Proc. 25th IEEE Int'l Computer Software and Applications Conference,
pp. 218-223, Sept. 2004.
"Attacks and Countermeasures in Software System Security,"
(with L. Ma),
Handbook of Software Engineering and Knowledge Engineering,
Vol. III, 2005.
"A Graphical Simulation Environment for Modeling and Analysis
of Sensor Networks,"
(with Y. Luo),
Proc. of the 6th IEEE Int'l Symposium on Multimedia,
Irvine, CA, pp. 474-481, Dec. 2005.
"Reconfigurable Coordination Model for Dynamic Autonomous
Real-Time Systems,"
(with S.P. Ren and L. Shen),
Proc. of the IEEE Int'l Conf. on Sensor Networks, Ubiquitous,
and Trustworthy Computing, June 2006.
"Separating Functional and Non-functional Concerns through Coordination: an Application to Reliability,"
(with P. Pierre-Etienne, S.R. Ren, J. Nogiec),
Proc. of the 30th IEEE Int'l Computer Software and Applications Conf., September 2006.
"Topical Robustness of the Protein-Protein Interaction Networks,"
(with C.H. Huang, J.F. Fang, K.L. Ng),
Lectute Notes in Bioinformatics, Springer-Verlag, Vol. 4023, 2007.
"A Framework of Machine Learning based Intrustion Detection for Wireless
Sensor Networks," (with Z. Yu),
Proc. of the IEEE Int'l Conf. on Sensor Networks, Ubiquitous,
and Trustworthy Computing, June 11-13, 2008.
"A Context-driven Content Planner Adaptation Planner for Improving
Mobile Internet Accessibility,"
(with S. J. Yang, J. Zhang, A. Huang, P. Yu),
Proceedings of the 2008 IEEE International Conference on Web Services,
Beijing, China, September 23-26, 2008.