| 2007 |
|---|
| 9 | EE | Oscar Mondragon,
Ann Q. Gates,
Steve Roach,
Humberto Mendoza,
Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns.
International Journal of Software Engineering and Knowledge Engineering 17(1): 107-126 (2007) |
| 2005 |
|---|
| 8 | | Oscar Mondragon,
Ann Q. Gates,
Humberto Mendoza,
Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns.
SEKE 2005: 267-273 |
| 7 | EE | Salamah Salamah,
Ann Q. Gates,
Steve Roach,
Oscar Mondragon:
Verifying Pattern-Generated LTL Formulas: A Case Study.
SPIN 2005: 200-220 |
| 2004 |
|---|
| 6 | EE | Oscar Mondragon,
Ann Q. Gates:
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions.
International Journal of Software Engineering and Knowledge Engineering 14(1): 21-41 (2004) |
| 2003 |
|---|
| 5 | | Oscar Mondragon,
Ann Q. Gates,
Fadi Kassem:
Automated Support for Property Specification Based on Patterns.
SEKE 2003: 174-181 |
| 4 | EE | Ann Q. Gates,
Oscar Mondragon,
Mary Payne,
Steve Roach:
Instrumentation of Intermediate Code for Runtime Verification.
SEW 2003: 66 |
| 3 | EE | Oscar Mondragon,
Ann Q. Gates,
Steve Roach:
Prospec: Support for Elicitation and Formal Specification of Software Properties.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 2002 |
|---|
| 2 | EE | Ann Q. Gates,
Oscar Mondragon:
FasTLInC: a constraint-based tracing approach.
Journal of Systems and Software 63(3): 241-258 (2002) |
| 2001 |
|---|
| 1 | EE | Ann Q. Gates,
Steve Roach,
Oscar Mondragon,
Nelly Delgado:
DynaMICs: Comprehensive Support for Run-Time Monitoring.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
