JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. - Ann Q. Gates; Steve Roach; Irbis Gallegos; Omar Ochoa; Oleg Sokolsky (WORDS, 2005)

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. - Omar Ochoa; Irbis Gallegos; Steve Roach; Ann Q. Gates (RV, 2007)

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. - Irbis Gallegos; Omar Ochoa; Ann Q. Gates; Steve Roach; Salamah Salamah; Corina Vela (SEKE, 2008)

A Novel Approach for Software Property Validation. - Salamah Salamah; Irbis Gallegos; Omar Ochoa (SETP, 2008)

DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. - Irbis Gallegos; Ann Q. Gates; Craig E. Tweedie (ER Workshops, 2010)

Improving environmental sensor data quality using a categorization of data properties. - Irbis Gallegos; Ann Q. Gates; Craig E. Tweedie (ICIQ, 2010)

Tool Support for Anomaly Detection in Scientific Sensor Data. - Irbis Gallegos; Ann Q. Gates (SEKE, 2012)