Irbis Gallegos

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Raw Sensor Data

Anomalous Behavior

Anomaly Detection

Top Venues

Publications

Irbis Gallegos, Ann Q. Gates
Tool Support for Anomaly Detection in Scientific Sensor Data. SEKE (2012)
Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie
Improving environmental sensor data quality using a categorization of data properties. ICIQ (2010)
Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie
DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. ER Workshops (2010)
Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE (2008)
Salamah Salamah, Irbis Gallegos, Omar Ochoa
A Novel Approach for Software Property Validation. SETP (2008)
Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. RV (2007)
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS (2005)