High Consequence Systems and Semantic Computing.
Int. J. Semantic Comput., 2013
Feature Selection for Optimization of Wavelet Packet Decomposition in Reliability Analysis of Systems.
Int. J. Artif. Intell. Tools, 2013
Fourier transforms for vibration analysis: A review and case study.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011
Feature Selection for Vibration Sensor Data Transformed by a Streaming Wavelet Packet Decomposition.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Feature Selection on Dynamometer Data for Reliability Analysis.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Ensemble Coordination for Discrete Event Control.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Feature Level Sensor Fusion for Improved Fault Detection in MCM Systems for Ocean Turbines.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011
Finite safety models for high-assurance systems.
PhD thesis, 2010
From Web Service Artifact to a Readable and Verifiable Model.
IEEE Trans. Serv. Comput., 2009
An Extendible Translation of BPEL to a Machine-verifiable Model.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
Assuring Timeliness in an e-Science Service-Oriented Architecture.
Computer, 2008
Toward Model Checking Web Services Over the Web.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008