PEER-REVIEWED JOURNAL PAPERS

1.       J. Ding, P.J. Clarke, D. Xu, X. He, and Y. Deng, A formal model-based approach for developing an interoperable mobile agent system", The Multi-agent and Grid Systems – An International Journal, No. 4, Vol. 2, 2006.

2.       J. Morales, P.J. Clarke, B.M. G. Kibria, Y. Deng, "Testing and evaluating virus detectors for handheld devices", Journal of Computer Virology, Springer, Vol2, 135-147, 2006.

3.       J. Ding, D. Xu, X. He and Y. Deng, "Modeling and analyzing a mobile agent-based clinical information system", International Journal of Intelligent Control and Systems, Vol. 10, No. 2, 143-151, June 2005.

4.       K. Cooper, L. Dai and Y. Deng, "Performance Modeling and Analysis of Software Architectures:  An Aspect-Oriented UML Based Approach", Journal of Science of Computer Programming, Vol. 57, No. 1, 89-108, July 2005.

5.       Y. Deng, J. Wang, X. He, and J.J.P. Tsai, "Constraint propagation and progressive verification for component-based process model", International Journal on Software Engineering and Knowledge Engineering, Vol. 14, No. 5, 2004.

6.       Y. Deng, J. Wang and M. Zhou, "Consistency verification in modeling of real-time systems", IEEE Transactions on Robotics and Automation, Vol. 20, No.1, 136-144, 2004.

7.       X. He, H. Yu, T. Shi, J. Ding, and Y. Deng: "Formally Analyzing Software Architectural Specifications Using SAM", Journal of Systems and Software, Vol. 71, No. 1-2, 11-29, 2004.

8.       D. Xu, J. Yin, Y. Deng and J. Ding, "Architectural Modeling of Logical Agent Mobility", IEEE Transactions on Software Engineering, Vol. 29, No. 1, 31 – 45, January 2003.

9.       D. Xu, X. He and Y. Deng, "Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets", IEEE Transactions on Software Engineering, Vol. 28, No. 10, 984 – 996, October 2002.

10.   Y. Deng, J. Wang, K. Beznosov and J. J.P. Tsai, "An approach for modeling and analysis of security system architectures", IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 5 1095 – 1115, September/October 2003.

11.   X. He and Y. Deng, "A Framework for Developing and Analyzing Software Architecture Specifications in SAM", The Computer Journal, Vol. 45, No.1, 111-128, 2002.

12.   K. Zhang, D.Q. Zhang and Y. Deng, "Transforming multimedia XML documents using graph grammars", Annals of Software Engineering, Vol. 12, 119-137, 2001.

13.   J. Wang, Y. Deng and C. Jin, "Performance analysis of traffic control systems based upon stochastic timed Petri net models", International Journal of Software Engineering and Knowledge Engineering, Vol. 10, No. 6, 735-757, 2000.

14.   J. Wang, Y. Deng and M. Zhou, "Compositional Time Petri Nets and Reduction Rules", IEEE Transactions on System, Man and Cybernetics, Vol. 30, Part B, No. 4. August 2000.

15.   J. Wang, G. Xu and Y. Deng. "Reachability Analysis of Real Time Systems Based on Time Petri Nets", IEEE Transactions on System, Man and Cybernetics, Vol. 30, Part B, No.5, October 2000.

16.   X. He and Y. Deng, "Specifying Software Architecture Connectors in SAM", International Journal on Software Engineering and Knowledge Engineering, Vol. 10, No. 4, August 2000.

17.   J. Wang, X. He and Y. Deng, "Introducing Software Architectural Specification and Analysis in SAM through an Example", Information and Software Technology - An International Journal, Vol. 41, No. 7, 451-567, 1999.

18.   Y. Deng and J. Wang, "Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design", Annals of Software Engineering, Vol. 7, 47-70, 1999.

19.   J. Wang, M. Zhou and Y. Deng, "Modeling and Throughput Analysis of Discrete Event Systems Based on Stochastic Petri Nets", International Journal of Intelligent Control and Systems, Vol.3, No. 3, 343-358, 1999.

20.   J. Wang and Y. Deng, "Incremental modeling and verification of flexible manufacturing systems", International Journal for Intelligent Manufacturing, Vol. 10, No. 6, 485-502, 1999.

21.   Y. Deng, and C.R. Yang, "Architecture-driven modeling of real-time concurrent systems with applications in FMS", Journal of Systems and Software, Vol. 45, 61-78, 1999.

22.   Y.Deng, S.K. Chang, and X. Lin, "Executable specification and analysis for the design of concurrent object-oriented systems", International Journal of Software Engineering and Knowledge Engineering, Vol. 4, No. 4, December 1994, 427-450.

23.   T. Znati, Y. Deng, B. Field, and S.K. Chang, "A multi-level specification and protocol simulation tool for distributed multimedia communications", International Journal in Computer Simulation, Vol. 3, No. 4, 1993, 355-382.

24.   Y. Deng and S.K. Chang, "A framework for specification, modeling and prototyping of distributed information systems", International Journal of Software Engineering and Knowledge Engineering, Vol.1, No.3, September 1991, 203-226.

25.   Y. Deng and S.K. Chang, "A G-Net model for knowledge representation and reasoning", IEEE Transactions on Knowledge and Data Engineering, Vol. 2, No. 3, September 1990, 295-310

BOOK CHAPTERS

26.   X. He, H. Yu, and Y. Deng, "Formal methods for specifying and analyzing complex software systems", in Advances in Machine Learning Application in Software Engineering (D. Zhang, J.J.P. Tsai, ed.), The Idea Group Publishing, 2007, 319-345, ISBN 159140942-X.

27.   K. Beznosov and Y. Deng, "Engineering application-level access control in distributed systems", Handbook of Software Engineering and Knowledge Engineering, World Scientific Press, 2001, ISBN: 981-02-4973-X.

PEER-REVIEWED CONFERENCE PAPERS

28.   R. Rangaswami, S.M. Sadjadi, N. Prabakar, Y. Deng, "Automatic generation of user-centric multimedia communication services",  Proceedings of the 26^th International Performance Computing and Communications Conference (IPCCC), New Orleans, LA, April 11-13, 2007.

29.   C. Zhang, S.M. Sadjadi, W. Sun, R. Rangaswami, and Y. Deng, "A user-centric network communication broker for multimedia collaborative computing", the Second International Conference on Collaborative Computing, Atlanta, GA, November 2006.

30.   V. Hristidis, P. Clarke, N. Prabakar, R. Burke, J. White, and Y. Deng, "A Flexible Approach for Electronic Medical Records Exchange", International Workshop on Healthcare Information and Knowledge Management (HIKM 2006), Arlington, VA, November 2006.

31.   Y. Wang, P.J. Clarke and Y. Deng, "Communication Model Analysis for Rapid Application Development", Proceedings of International Conference on Communications in Computing (CIC 2006), 2006.

32.   Y. Deng, S.M. Sadjadi, P. Clarke, C. Zhang, V. Hristidis, R. Rangaswami, N. Prabakar, "A Communication Virtual Machine", International Conference on Computer Software and Applications (COMPSAC 2006), 2006. (Best Paper)

33.   W. Sun, T. Shi, G. Argote-Garcia, Y. Deng, and X. He, "Achieving a better middleware design through formal modeling and analysis", International Conference on Software Engineering and Knowledge Engineering, June 2006.

34.   P.J. Clarke, V. Hristidis, Y.B. Wang, N. Prabu, Yi Deng, "A declarative approach for specifying user-centric communication", International Symposium on collaborative technologies and systems, 2006.

35.   J.A. Morales, P.J. Clarke, Y. Deng, "Testing and evaluation of virus detectors for handheld devices", Workshop for Software Security Assurance Tools, Techniques, and Metrics, Long Beach, CA, November 7-8, 2005. (Co-located with ASE 2005)

36.   J. Ding, D. Xu, Y. Deng, P. Clarke, X. He, "Designing an interoperable mobile agent system based on predicate transition net models", International Conference on Software Engineering and Knowledge Engineering, Taipei, Taiwan, July 2005.

37.   H. Yu, X. He, Y. Deng, L. Mo, "A formal approach to design secure software architectures", Proceedings of 2004 IEEE High Assurance Systems Engineering Conference, Tampa, FL.

38.   H. Yu, X. He, Y. Deng, L. Mo, "Integrating Security Administration into Software Architecture Design", Proceedings of International Conference on Software Engineering and Knowledge Engineering (SEKE 2004), Banff, Canada, June 2004.

39.   S. Gao, Y. Deng, H. Yu, X. He, K. Beznosov, K. Cooper, "Applying aspect-orientation in design security systems -  a case study", SEKE 2004, Banff, Canada, June 2004.

40.   K. Cooper, L. Dai, Y. Deng, "Performance modeling and analysis of software architectures: an aspect-oriented UML based approach", Proceedings of 2004 International Conference on Software Engineering Research and Practice, Las Vegas, June 21-24, 2004.

41.   J. Dong, R. Khisti, K. Cooper and Y. Deng, "A component framework for resource management systems", Proceedings of the 2004 International Conference on Software Engineering Research and Practice, Las Vegas, June 2004.

42.   J. Ma, J.J.P. Tsai, Y. Deng, T. Murata, "A secure mobile agent system model based on extended elementary object net", Proceedings of World Congress on Integrated Design and Process Technology, Austin, TX, December 2003.

43.   K. Cooper, L. Dai, Y. Deng and J. Dong, "Modeling Performance as an Aspect: An UML-Based Approach", Proceedings of 2004 Workshop on Aspect-Oriented Modeling with UML, San Francisco, in conjunction with the 6^th International Conference on Unified Modeling Language, San Francisco, October 20, 2003.

44.   H. Yu, X. He, S. Gao and Y. Deng, "A Rule-Based Approach to the Enforcement of Software Security", Proceedings of 2003 International Conference on Software Engineering and Knowledge Engineering (SEKE’03), San Francisco, CA, July 2003.

45.   K. Cooper, L. Dai, Y. Deng and J. Dong, "Developing a Formal Design Analysis Framework", Proceedings of The 2003 International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, Nevada, June 23-26, 2003.

46.   L. Ma, J.J.P. Tsai, Y. Deng and T. Murata, "Extended Elementary Object System Model for Mobile Agent Security", Proceedings of 2003 International Conference on Integrated Design and Process Technology, Beijing, China, June 16-20, 2003.

47.   K. Cooper, L. Dai, Y. Deng and J. Dong, "Towards an Aspect-Oriented Architectural Framework", Proceedings of Early Aspects 2003: Aspect-Oriented Requirements Engineering and Architecture Design, in conjunction with AOSD’03, Boston, March 17-21, 2003.

48.   H. Yu, X. He, S. Gao, and Y. Deng: "Formal Real-Time Model and Analysis of SMIL Documents", to appear in Proceedings of IEEE 4^th International Symposium on Multimedia Software Engineering (MSE’2002), Newport Beach, CA, December 2002.

49.   H. Yu, X. He, S. Gao, and Y. Deng: "Formal Analysis of Real-Time Systems with SAM", Proceedings of the 4^th International Conference on Formal Engineering Methods, Shanghai, China, October 2002.

50.   H. Yu, X. He, Y. Deng and L. Mo, "A formal method for analyzing software architecture models in SAM", Proceedings of 26^th International Computer Software and Application Conference (COMPSAC), Oxford, U.K, August 26-29, 2002.

51.   X. He, J. Ding, and Y. Deng, "Analyzing SAM Architectural Specifications using Model Checking", Proceedings of International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, July 15-19, 2002.

52.   K. Zhang, D.-Q. Zhang and Y. Deng, "Visual transformation of multimedia XML documents", Proceedings of Symposium on Visual/Multimedia Approaches to Programming and Software Engineering, September 5-7, 2001, Milan, Italy.

53.   X. Liu, Y. Deng and X. He, "Developing a distributed time Petri net simulator in the RAS tool framework", Proceedings of the 2001 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Orlando, FL, July 2001, 223-230.

54.   N. Iyer, Y. Deng, M. Ilyas, "Connection Management in Ad Hoc Networks using a Dynamic Spine", Proceedings of IEEE International Conference on Third Generation Wireless and Beyond, San Francisco, USA., May 30 – June 2, 2001.

55.   Y. Deng, J. Wang, K. Beznosov and J. J.P. Tsai, "Modeling and analysis of security system architectures", Proceedings of  ISADS 2001, Dallas, Texas, March 2001.

56.   N. Vuong, G. Smith and Y. Deng, "Managing security policies in a distributed environment using eXtensible Markup Language (XML)", Proceedings of 15^th ACM Symposium on Applied Computing, Las Vegas, March 2001.

57.   K. Beznosov, L. Espinal and Y. Deng, "Performance considerations for a CORBA-based  application authorization service", Proceedings of IASTED International Conference Software Engineering and Applications, Las Vegas, Nevada, November 2000.

58.   J. Wang, G. Xu and Y. Deng. Reduction rules for components in SAM,  Proceedings of the Fifth International Conference on Integrated Design and Process Technology, Dallas, Texas, June, 2000

59.   D. Xu and Y. Deng, "Modeling Mobile Agent Systems with High Level Petri Nets", Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Nashville, Tennessee, October 2000.

60.   X. He, F. Zeng and Y. Deng, "Specifying Software Architecture Connectors in SAM", (best paper) Proceedings of 11^th International Conference on Software Engineering and Knowledge Engineering, Kaiserslautern, Germany, June 1999.

61.   K. Wreder and Y. Deng, "Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard", Proceedings of 23^rd IEEE COMPSAC Conference, Phoenix, USA, October 1999, 250-258.

62.   K. Beznosov, Y. Deng, et al, "A Resource Access Decision Service for CORBA-based Distributed Systems", Proceedings of IEEE Annual Computer Security Applications Conference, Phoenix, Arizona, December 1999, 310-319.

63.   K. Beznosov and Y. Deng, "A Framework for Implementing Role-based Access Control Using CORBA Security Service", Proceedings of 4^th ACM Role-Based Access Control Workshop, Fairfax, Virginia, October 1999, 19-30.

64.   J. Wang, C. Jin and Y. Deng, "Performance Evaluation of Traffic Control Systems via Stochastic Time Petri Nets", Proceedings of 23^rd IEEE COMPSAC Conference, Phoenix, Arizona, October 1999, 436-441.

65.   J. Wang, C. Jin and Y. Deng, "Performance Evaluation of Traffic Control Networks via Stochastic Time Petri Nets", Proceedings of IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, Nevada, October 1999.

66.   Y. Deng, J. Wang and R. Sinha, "Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems", Proceedings of 2^nd IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, December 1998.

67.   Y. Deng and J. Wang, "Integrated Architectural Modeling of Real-Time Systems with Applications in FMS", Proceedings of 10^th International Conference on Software Engineering and Knowledge Engineering, San Francisco, USA, June 1998, 34-43.

68.   J. Wang and Y. Deng, "Component-Level Reduction Rules for Time Petri Nets with Application in Command and Control Systems", Proceedings of IEEE Conference on Systems, Man and Cybernetics, San Diego, USA, October 1998.

69.   Y. Deng and J. Wang, "Integrated Architectural Modeling and Analysis for High Assurance Command and Control System Design", Proceedings of 3^rd IEEE High-Assurance System Engineering Symposium, Washington D.C., USA, November 1998, 270-278.

70.   G. Cao, M. Singhal, Y. Deng,  et al., "A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability", Proceedings of IEEE 1998 International Conference on Distributed Computing Systems (ICDCS’98), Amsterdam, Netherlands, May 1998.

71.   Y. Deng, S. Lu and M. Evangelist, "A Formal Approach for Architectural Specification and Prototyping of Distributed Real-Time Systems, Proceedings of Hawaii International Conference on System Sciences (HICSS97), Hawaii, USA, January 1997.

72.   J. Wang, X. He and Y. Deng, "A Formal Architectural Specification Model for Real-Time Systems Design", Proceedings of IASTED Conference on Software Engineering, Las Vegas, USA, October 1998, 11-15.

73.   L. Yan, W. Sun, N. Prabhakaran, S. Guo, Y. Deng, and N. Rishe, "A Dynamic Hypermedia Model for Interactive Video", Proceedings of the 13^th International Conference on Advanced Science and Technology in conjunction of the 2^nd International Conference on Multimedia Information Systems, April 1997, Chicago, USA, 79-85.

74.   S. Chen, Y. Deng, P. Attie, and W. Sun, "Optimal Deadlock Detection in Distributed Systems", Proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS’96), Hong Kong, May 1996, 613-619.

75.   Y. Deng, W. Du, P. Attie and M. Evangelist, "A Formalism for Architectural Modeling of Real-Time Distributed Systems", Proceedings of 8^th International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, USA, June 1996, 408-417.

76.   S. Chen, Y. Deng, et al., "Efficient Algorithms for Detection and Resolution of Distributed Deadlocks", Proceedings of 7^th IEEE International Symposium on Parallel and Distributed Processing, San Antonio, USA, October 1995, 10-18.

77.   S. Lu and Y. Deng, "An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems", Proceedings of 7^th International Conference on Software Engineering and Knowledge Engineering, Rockville, USA, June 1995, 402-410.

78.   S. Guo, W. Sun, Y. Deng, W. Li, Q. Liu, and W. Zhang, "PANTHER: An inexpensive and integrated multimedia environment", Proceedings of 1994 IEEE International Conference on Multimedia Computing and Systems, Boston, May 15-19, 1994, 382-391.

79.   S. Chen, Y. Deng, et al., "Efficient Deadlock Detection in Distributed Systems", Proceedings of 7^th International Conference on Parallel and Distributed Computing Systems, Las Vegas, October 1994, 531-538.

80.   S. Guo, W. Sun, W. Li, N. Rishe, Y. Deng, et al., "MSQL: An SQL-based Relational Database Extension to Support Multimedia Data", Proceedings of 5^th International Hong Kong Computer Society Database Workshop, Hong Hong, China, February 1994, 202-213.

81.   S. Guo, W. Sun, Y. Deng, N. Rishe, "Semantic Query Optimization by Class Reference Reduction on OO Database Systems", Proceedings of 6^th International Conference on Software Engineering and Knowledge Engineering, Riga, June 1994, 306-313.

82.   Y. Deng, R.K. Ege and W. Sun, "Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems", Proceedings of the 5^th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, USA, June 1993, 46-53.

83.   W. Sun, Y.Ling, N. Rishe and Y. Deng, "An instant and accurate size estimation method for joins and selections in a retrieval intensive environment", Proceedings of ACM SIGMOD, Washington, D.C., May 1993, 79-88.

84.   Y. Deng, S.K. Chang, J. de Figueired, and A. Perkusich, "Integrating software engineering methods and Petri nets for the specification and analysis of complex information systems", Proceedings of 14^th International Conference on Application and Theory of Petri Nets, (Lecture Notes in Computer Science, Vol.691), Chicago, IL, June 21-25, 1993, 206-223.

85.   Y. Deng and S.K. Chang, "Unifying Multi-paradigms in Software Systems Design", Proceedings of 4^th International Conference on Software Engineering, Capri, Italy, 1992, 386-393 (Also appears in Advances in Software Engineering and Knowledge Engineering, World Scientific Press, 1993, 95-108)

86.   C.T. Chen, Y. Deng and S.K. Chang, "A Simulator for Distributed Systems Using G-Nets", Proceedings of the Pittsburgh Simulation Conference, Pittsburgh, USA, April 1992, 2705-2714.

87.   Y. Deng and S.K. Chang, "A Hypertext Model for Large Hypertext Systems", Proceedings of 2^nd International Conference on Database Systems for Advanced Applications, Tokyo, Japan, April 1991, 484-490.

88.   Y. Deng and S.K. Chang, "A Framework for Distributed Information Systems Design", Proceedings of 3^rd International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 1991, 71-77.

89.   T.F. Znati, Y. Deng, et al., "Multilevel Specification and Protocol Design for Distributed Multimedia Communication", Proceedings of Conference on Organizational Computing Systems, Atlanta, USA, November 1991, 255-268.

90.   S.K. Chang and Y. Deng, "Intelligent Database Retrieval by Visual Reasoning", Proceedings of IEEE COMPSAC Conference, Chicago, USA, October 1990, 459-464.