B. Raghunathan and T. C. Hartrum, "The Automated Transformation of Statecharts from a Formal Specification to Object-Oriented Software" Proceedings of the 48th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2005), Cincinnati, OH Aug 7-10, 2005.
D. W. Marsh and T. C. Hartrum, "Automated Synthesis of Distributed Agents Using Transformations of Formal Specifications," Proceedings of the 13th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2002), Chicago, IL Apr 13-14, 2002.
T. C. Hartrum and J. C. Nonnweiler, "Software System Integration Methodology using Formal Specifications," Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems (MWSCAS 2001), Dayton, OH Aug 14-17, 2001.
T. C. Hartrum and R. P. Graham, Jr., "The AFIT Wide Spectrum Object Modeling Environment: an AWSOME Beginning," Proceedings of the IEEE 2000 National Aerospace & Electronics Conference (NAECON 2000), Dayton, OH, Oct. 2000.
P. A. Noe and T. C. Hartrum, "Extending the Notation of Rational Rose 98 for use with Formal Methods," Proceedings of the IEEE 2000 National Aerospace & Electronics Conference (NAECON 2000), Dayton, OH, Oct. 2000.
S. DeLoach and T. Hartrum, "A Theory-Based Representation for Object-Oriented Domain Models," IEEE Trans. in Software Engineering, TSE Vol. 26, No. 6, June 2000.
T. C. Hartrum and S. A. DeLoach, "Adesign Issues for Mixed-Initiative Agent Systems," Mixed-Initiative Intelligence Workshop, 16th Nat’l. Conf. On Artificial Intelligence (AAAI-99), Orlando, FL, July 1999.
R. C. Shock and T. C. Hartrum, "A Classification Scheme for Software Modules," The Journal of Systems and Software, (42) 1998.
R. E. Sward and T. C. Hartrum, "Extracting Objects from Legacy Imperative Code," Proc. 12th IEEE Int’l. Conf. On Automated Software Engineering, Incline Village, NV, Nov. 1997.
T. C. Hartrum and T. Karagias, "Generation of Object-Oriented Formal Software Specifications," Proc. of IEEE 1997 Nat’l. Aerospace and Electronics Conf. (NAECON 1997), Dayton, OH, July 1997.
V. S. Hibdon and T. C. Hartrum, "An Air Force Organization Process Model Using Formal Software Engineering Techniques," Proc. of IEEE 1996 National Aerospace and Electronics Conference (NAECON 1996), Vol. 2, Dayton, OH, May 1996.
S. DeLoach, P.Bailor, T. Hartrum, "Representing Object Models as Theories," Proc. of 10th Knowledge-Based Software Engineering Conf (KBSE-95), Boston, MA, Nov.1995.
P. D. Bailor, T. C. Hartrum, D. R. Luginbuhl, M. A. Roth, "Integrated Technology for the Development of Software Composition Systems," Software Systems in Engineering 1995, PD-Vol. 67, The American Society of Mechanical Engineers, Feb 1995.