X. He, H. Yu, T. Shi, J. Ding, and Y. Deng: "Formally Specifying and Analyzing Software Architectural Specifications Using SAM", Journal of Systems and Software, 2003, in press.

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.

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.

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. 2, March/April 2003.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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

REFERRED BOOK CHAPTERS:

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.

REFEREED CONFERENCE PAPERS:

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.

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

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.

X. He, J. Ding, J. Wang and Y. Deng, "Model checking software architecture specifications in SAM", Proceedings of International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, July 15-19, 2002.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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)

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.

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.

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.

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.

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

SUBMITTED PAPERS:

Y. Deng, J. Wang and M. Zhou, "Consistency verification in modeling of real-time systems", IEEE Transactions on Robotics and Automation, 2002, conditionally accepted, under 3rd round review.

Tianjun Shi, Xudong He and Yi Deng, "Visual modeling and analyzing the software Architectures of a communication protocol using SAM", Annals of Software Engineering.

Yi Deng, Jiacun Wang, Xudong He and Jeffrey J.P. Tsai, "An architecture-based approach for constraint propagation and progressive verification", Annals of Software Engineering.