Below you can find a list of publications related to agent-oriented software engineering. Most of these papers are available for download in PDF format. If you want a copy of any of the publications not currently available in PDF format, please contact Dr. Krishna Kavi at firstname.lastname@example.org.
- F.T. Sheldon, T. Potok and K.M. Kavi. "Multi-agent system case studies in command and control, information fusion and data management", Accepted for publication in the Journal of Informatica (published by the Solvene Society Informatica. PDF
- C.Lin. "A comparison of agent oriented software engineering frameworks and methodologies", MS Thesis, Dept of CSE, University of North Texas, Denton, TX 76203, Dec. 2003. PDF
- K.M. Kavi, D.C. Kung, H. Bhambhani, G. Pandcholi, M. Kanikarla and R. Shah. "Extending UML to modeling and design of multi agent systems", Proc. of 2nd Intl Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS2003), held in conjunction with the International Conference on Software Engineering, Portland, OR, May 3-10, 2003, PDF
- K.M. Kavi, M. Aborizka and D.Kung. "A framework for the design of intelligent agent based real-time systems", Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China, Oct. 23-25, 2002. Preprint in PDF
- K.M. Kavi and M. Aborizka. "Glass-Box: An intelligent flight data recorder and real-time monitoring systems", Proc. of the 39th AIAA Aerospace Sciences Meeting, Reno, NV, Jan. 8-11, 2001. Preliminary draft in PDF
- K.M. Kavi, F.T. Sheldon and S. Reed. "Specification and analysis of real-time systems using CSP and Petri nets", International Journal of Software Engineering and Knowledge Engineering, (World Scientific Publishing Company) Vol. 6, No. 2, June 1996, pp 229-248.
- A.K. Deshpande and K.M. Kavi. "A Model for the specification of concurrent processes", Journal of Microcomputer Applications Vol. 8, No. 3, 1989, pp. 95-102, (ACTA Press for International Society for Mini and Microcomputers - ISMM)).
- A.K. Deshpande and K.M. Kavi. "A review of specification and verification methods forparallel programs, including the dataflow approach", IEEE proceedings, Vol. 77, No. 12, (Dec. 1989), pp. 1816-1828.