Yi Deng, Ph.D.

Embedded Software Center

School of Engineering and Computer Science

University of Texas at Dallas (UTD)

P.O. Box 830688, EC 31

Richardson, TX 75083-0688

[email protected], (972) 883-2839 (ph), (972) 883-2349 (fax)

 

CAREER PROFILE:

Yi Deng is the Managing Director of Embedded Software Center at UTD � a joint R&D center between UTD and industry dedicated for advanced software engineering technology for embedded software systems, and an Associate Professor of computer science. Prior to joining UTD, he had been with at Florida International University (FIU) � the State University of Florida at Miami, where he founded and directed Center for Advanced Distributed System Engineering (CADSE) � a university research center designated by the Florida Board of Regents. Under his leadership, CADSE grew, in just two years, to close to 30 members with 5 research laboratories. He received a Ph.D. in Computer Science from University of Pittsburgh in 1992. He has been the PI/Co-PI of 12 research grants and contracts from various Federal agencies, such as NSF, AFOSR, USAF Rome Lab, NASA. He has published close to 50 papers in various journals and conferences. Dr. Deng is an Associate Editor for the International Journal of Software Engineering and Knowledge Engineering, a referee for many journals and conferences. He is the Program Committee Co-Chair for SEKE�98.

EDUCATION:

����������� Ph.D., Computer Science, University of Pittsburgh, August 1992

M.Sc., Computer Science, University of Pittsburgh, April 1990

B.E., Computer Science and Technology, University of Science & Technology of China, July 1983

EMPLOYMENT:

Managing Director and Associate Professor of Computer Science (with tenure) (August 2000 � present), Embedded Software Center (ESC), School of Engineering and Computer Science, University of Texas at Dallas, Richardon, TX 75083

Director and Associate Professor (with tenure) (August 1997 � August 2000), Center for Advanced Distributed System� Engineering (CADSE), School of Computer Science, Florida International University, Miami, FL 33199.

Assistant Professor (August 1992 � July 1997), School of Computer Science, Florida International University, Miami, FL 33199.

Research Associate (November 1984 � June 1986), Department of Computer Science, University of Ottawa, Ottawa, Canada.

RELATED EXPERIENCE:

Associate Editor, International Journal. of Software Eng. and Knowledge Eng., World Scientific Press.

PC Co-Chair,� 10th Int�l Conf. on Software Engineering and Knowledge Engineering.

PC member,� 5th,8th, 9th & 11th SEKE, IEEE SMC�98, KDEX�98, ASPEC�2000.

Referee for IEEE TKDE, IEEE TC, IEEE Computer, IJSEKE, J. of Info. Systems, J. of Systems & Software

Member: IEEE, IEEE Computer Society, ACM

RESEARCH INTERESTS:

Software design and analysis, software architecture, distributed object technology, formal methods for complex systems, embedded real-time systems, distributed systems.

RESEARCH AWARDS:

1.       PI. "Specification and Analysis of Software Architectures of High-Assurance systems", NASA. Amount: $287,338. (returnd).

2.       PI (Co-PI. Naphtali Rishe), �Formal Architectural Specification and Design of Real-Time Distributed Systems�, NSF HDR-9707076, $1.25 million, 9/1//97 - 8/31/2002 [1]

3.       Co-PI (PI. Naphtali Rishe), "Heterogeneous Distributed Database Management System Incorporating Semantic Binary Databases for a 3-D Visualization System", NSF HDR-9707076, $1.25 million, 9/1//97 - 8/31/2002.

4.       PI, "Architecture-Centered Distributed Enterprise System Development based on CORBA", Baptist Health Systems of South Florida, $114,000, 5/15/98-5/14/2001.

5.       PI, "An Incremental Formal Approach for High-Assurance Distributed System Design", Army Research Office, DAAG55-98-1-0428, $40,000, 7/1/98 - 6/30/99.

6.       Co-PI (PI. Naphtali Rishe, et al.), "High Performance Connection for Florida International University", NSF ANI-9876409, $253,000, 2/1/1999 - 1/31/2001.

7.       PI, �Heterogeneous Distributed Systems Architecture and Integration�, Baptist Health System of South Florida, $100,000, 1/15/98 � 7/14/99.

8.       Co-PI and Project Director (PI. Michael Evangelist, Other Co-PI. Paul Attie) , �A Formal Approach for the Design of Distributed Real-Time Systems�, AFOSR, F49620-96-1-0221, $300,000, 4/1/96 � 11/30/98.

9.       PI, �Research Initiation Award: Executable Specifications for Object-Oriented Systems Design�, NSF, CCR-9308473, $88,922, 7/1/93 - 6/30/97.

10.   Co-PI and Project Director (PI. Michael Evangelist, Other Co-PI. Paul C. Attie), �Intermediate Architectural Representations for KBSA ADM�, Rome Laboratory, U.S. Air Force, F30602-93-C-0247, $400,000, 9/22/93 - 12/31/95.

11.   Senior Investigator (PI. Naphtali Rishe), "High Performance Database Management with Application to Earch Sciences", NASA NAGW-4080, $3.8 million, 9/1/94 - 8/31/99.

12.   Co-PI (PI. Malek Adjouadi, Other Co-PIs: Michael Evangelist, et al.), �Center for Advanced Technology and Education (CATE)�, NSF, CDA-9313624, $800,000, 9/1/93 - 8/31/96.

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.

 

GRADUATE STUDENTS/POSTDOC SUPERVISED OVER LAST FIVE YEARS:

Postdoc.: Dr. Xiaola Lin, Dr. Riri Huang, Dr. Junqi Tang, Dr. JiaCun Wang, Dr. Xiaomao Liu, Dr. Dianxiang Xu.

Graduate students: Shigang Chen, Shengkai Lu, Wenliang Du, Ya Xu, Guohong Cao, Donglin Wang, Chia-Rung Yang, Vidya Bhat, Esteban (Steve) Jimenez, Chun Jin, Gordon Osborne, Jinny Uppal, Gang Xu, Jing Xue, Konstantin Beznosov, Loong (Phil) Pang, Eric Butler, Eddie Hernandez, Jinhua Ding, Cenyu Zhang, Fancong Zeng, Kent Wreder, Nikhil Iyer, Luis Espinal, Goerge McGiven, Nathan Vuong, Bangalore R. Guruprakash, Manish Mahajan, Shu Gao


[1] Awards 1 and 2 are independent sub-awards in a larger NSF CREST grant of� $7.5 million to establish the Joint FAMU/FIU NSF CREST Center for Distributed Computing.