 | 2010 |
|---|
| 5 |       | Irbis Gallegos,
Ann Q. Gates,
Craig Tweedie:
DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties.
ER Workshops 2010: 232-241 |
| 2008 |
|---|
| 4 |  | 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: 273-278 |
| 3 | | Salamah Salamah,
Irbis Gallegos,
Omar Ochoa:
A Novel Approach for Software Property Validation.
SETP 2008: 173-178 |
| 2007 |
|---|
| 2 | | 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: 75-86 |
| 2005 |
|---|
| 1 | | Ann Q. Gates,
Steve Roach,
Irbis Gallegos,
Omar Ochoa,
Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
WORDS 2005: 105-112 |
Data released under the ODC-BY 1.0 license — See also our legal information page