 | 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 |
