Irbis Gallegos

According to our database, Irbis Gallegos authored at least 7 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Tool Support for Anomaly Detection in Scientific Sensor Data.

Irbis Gallegos, Ann Q. Gates

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2010

Improving environmental sensor data quality using a categorization of data properties.

Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie

Proceedings of the 15th International Conference on Information Quality, 2010

DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties.

Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie

Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

2008

A Novel Approach for Software Property Validation.

Salamah Salamah, Irbis Gallegos, Omar Ochoa

Proceedings of the International Conference on Software Engineering Theory and Practice, 2008

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.

Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2005

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.

Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005