FIU Home

General Information
Research Grants and Contracts


CADSE People
CADSE Home


  1. J. Wang and Y. Deng, "Incremental modeling and verification of flexible manufacturing systems", International Journal for Intelligent Manufacturing, to appear.

  2. Y. Deng, and C.R. Yang, "Architecture-driven modeling of real-time concurrent systems with applications in FMS", Journal of Systems and Software, to appear.

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

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

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

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

  7. S. Chen, Y. Deng, P. Attie, and W. Sun, "Optimal Deadlock Detection in Distributed Systems", Proc. of IEEE ICDCS’96, Hong Kong, May 1996, 613-619.

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

  9. 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 14th International Conference on Application and Theory of Petri Nets, (Lecture Notes in Computer Science, Vol.691), Chicago, IL, June 21-25, 1993, 206-223.

  10. 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", Proc. of ACM SIGMOD, Washington, D.C., May 1993, 79-88.

For problems or questions about this web, contact webmaster@cadse.cs.fiu.edu