Sheldon, FT , and Mili, A., “ Characterizing Software Quality Assurance Methods: Impact on the Verification of Learning Systems ,” Presented at NIPS-2004 Workshop on Verification, Validation, and Testing of Learning Systems , Whistler, BC, Dec. 17-18, 2004.
Mili, A., Sheldon, FT, Mili, F. and Desharnais, J., “Recoverability Preservation, A Measure of Last Resort,” Proc. of Principles of Software Engineering, Buenos Aires, Argentina, Nov. 22-27, 2004
Sheldon, F.T. Potok, T.E. and Kavi, K.M., "Multi-Agent System Case Studies in Command and Control, Information Fusion and Data Management," Informatica Int’l Journal, Vol. 28, pp. 79-89, 2004.
Sheldon, F.T. , Potok, T.E., Loebl, A., Krings, A. and Oman, P., “Managing Secure Survivable Critical Infrastructures To Avoid Vulnerabilities,” Eighth IEEE Int'l Symp. on High Assurance Systems Engineering, Tampa Florida, pp. 293-96, Mar. 25-6, 2004.
Sheldon, F.T. Potok, T.E., Krings, A. and Oman, P., “Critical Energy Infrastructure Survivability, Inherent Limitations, Obstacles and Mitigation Strategies,” Int'l Jr. of Power and Energy Systems –Special Theme Blackout, ACTA Press, Issue 2, pp. 86-92, 2004
Sheldon, F.T. andJerath, Kshamta, "Assessing the Effect of Failure Severity, Coincident Failures and Usage-Profiles on the Reliability of Embedded Control Systems," ACM Symposium on Applied Computing, Nicosia Cyprus, pp. 826-33, Mar. 14-17 2004.
Sheldon, F.T. and Kim, H.Y., "Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System," Software Quality Jr., Kluwer, Vol. 12, Issue 3, pp. 231-266, 2004.
