People
Faculty Information
|
University of Florida Computer and Information Science and Engineering Stephen M. Thebaut, Ph.D.
Assistant ProfessorAssociate Chair Undergraduate Coordinator |
|
| Mailing Address: | P.O. Box 116120 Gainesville, FL 32611-6120 |
| Office Location: | E314-A CSE |
| Office Phone: | (352) 450-5530 |
| Departmental FAX: | (352) 392-1220 |
| Email: | smt@cise.ufl.edu |
Interests
Requirements Engineering (operational modeling, scenario generation)
Software Testing and Verification (esp. function-theoretic)
Agent Oriented Systems (supporting reasoning strategies for BDI agents)
Software Engineering Education and Technology Transfer (facilitating effective just-in-time training)
Education
- Ph.D., Purdue University, 1983
- MS, Computer Science, Purdue University, 1979
- BA, Mathematics, Duke University, 1977
Selected Publications
- An Intelligent Plan Selection Model for BDI Frameworks, (with U. Sargut), European Workshop on Multi-Agent Systems (EUMAS'07), Hammamet, Tunisia, December, 2007.
- Binary Compatibility Test Suite for Unix-Based Application Software, software package providing compatibility tests for over 350 API functions and procedures. Spring-Summer 1997.
- Architecture and Code Coverage Based Estimation of Software Reliability (with A. Mathur), Software Engineering Research Center Spring 1996 IAB Meeting Materials, May 1996.
- Task-Specific Utility Assessment Models and their Role in the Development of Software Engineering Handbooks, (with V.Y. Shen), Lecture Notes in Computer Science, H.D. Rombach, V.R. Basisli, and R.W. Selby (Eds.), Proceedings of Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop, Dagstuhl Castle, Germany, Sept. 1992, Springer-Verlag.
- The Maintenance Assistant: Work in Progress (with N. Wilde), Journal of Systems and Software, Vol 9, 1989, pp. 3-17
- Identifying Error-Prone Software - An Empirical Study (with V.Y. Shen, T.J. Yu, and L.R. Paulsen), IEEE Transactions on SE 11(4): 317-324, 1985.