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 | EE | 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 | EE | Ann Q. Gates,
Steve Roach,
Irbis Gallegos,
Omar Ochoa,
Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
WORDS 2005: 105-112 |