Toward Model Checking Web Services Over the Web. - John C. Sloan; Taghi M. Khoshgoftaar (SEKE, 2008)

Assuring Timeliness in an e-Science Service-Oriented Architecture. - John C. Sloan; Taghi M. Khoshgoftaar; Venkat Raghav (Computer, 2008)

An Extendible Translation of BPEL to a Machine-verifiable Model. - John C. Sloan; Taghi M. Khoshgoftaar; Augusto Varas (SEKE, 2009)

From Web Service Artifact to a Readable and Verifiable Model. - John C. Sloan; Taghi M. Khoshgoftaar (IEEE Trans. Serv. Comput., 2009)

Finite safety models for high-assurance systems. - John C. Sloan (2010)

Feature Level Sensor Fusion for Improved Fault Detection in MCM Systems for Ocean Turbines. - Janell Duhaney; Taghi M. Khoshgoftaar; John C. Sloan (FLAIRS, 2011)

A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring. - Janell Duhaney; Taghi M. Khoshgoftaar; John C. Sloan; Bassem Alhalabi; Pierre P. Beaujean (HASE, 2011)

Ensemble Coordination for Discrete Event Control. - John C. Sloan; Taghi M. Khoshgoftaar (HASE, 2011)

Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability. - Randall Wald; Taghi M. Khoshgoftaar; John C. Sloan (HASE, 2011)

Feature Selection on Dynamometer Data for Reliability Analysis. - Janell Duhaney; Taghi M. Khoshgoftaar; John C. Sloan (ICTAI, 2011)

Feature Selection for Vibration Sensor Data Transformed by a Streaming Wavelet Packet Decomposition. - Randall Wald; Taghi M. Khoshgoftaar; John C. Sloan (ICTAI, 2011)

Fourier transforms for vibration analysis: A review and case study. - Randall Wald; Taghi M. Khoshgoftaar; John C. Sloan (IRI, 2011)

Feature Selection for Optimization of Wavelet Packet Decomposition in Reliability Analysis of Systems. - Randall Wald; Taghi M. Khoshgoftaar; John C. Sloan (Int. J. Artif. Intell. Tools, 2013)

High Consequence Systems and Semantic Computing. - Victor L. Winter; Bojan Cukic; Taghi M. Khoshgoftaar; Kinji Mori; Raymond A. Paul; Carlos Pérez Leguízamo; Sahra Sedigh Sarvestani; John C. Sloan; Mladen A. Vouk; I-Ling Yen (Int. J. Semantic Comput., 2013)