Irbis Gallegos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2012
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SEKE | Tool Support for Anomaly Detection in Scientific Sensor Data. | Irbis Gallegos, Ann Q. Gates |
| 2010 | ER | DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. | Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie |
| 2008 | SEKE | A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. | Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela |
| 2007 | RV | Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |