People > Yi Deng

  • Name: Yi Deng
  • Position:
           Associate Professor
           Department of Computer Science
           University of Texas at Dallas
  • Contact Address:
           Mail Stop EC 31
           Erik Jonsson School of
           Engineering and Computer Science
           University of Texas at Dallas
           Richardson, TX 75-83-0688
  • Office Location: EC 4.604
  • Phone: (972) 883-2839
  • Fax: (972) 883-2349
  • E-mail: [email protected]
  • Homepage: --------

Resume:

View the Resume here.

 

Research Profile:

Dr. Deng's research efforts are in the areas of Software Engineering, Distributed Object Technology, CORBA, Software Architecture, Embedded Systems, Component-based Software, Formal Design and Analysis, and Software Security.

 

Selected Publications:

1.       Jiacun Wang, Yi Deng and Chun Jin, �Compositional modeling and performance evaluation of traffic control systems via stochastic timed Petri nets�, International Journal of Software Engineering and Knowledge Engineering, In press (December 2000).

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

3.       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, Oct. 2000.

4.       X. He and Y. Deng, "Specifying Software Architecture Connectors in SAM", International Journal on Software Engineering and Knowledge Engineering, in press, 2000.

5.       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.

6.       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.

7.       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.

8.       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.

9.       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.

10.   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.

11.   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.

12.   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.

13.   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

14.   K. Beznosov and Y. Deng, �Engineering application-level access control in distributed systems�, to appear in Handbook of Software Engineering and Knowledge Engineering, World Scientific Press, 2000.

15.   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.

16.   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

17.   D. Xu and Yi Deng, �Modeling Mobile Agent Systems with High Level Petri Nets�, Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 2000.

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

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

20.   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.

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

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

23.   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.

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

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