| 2008 |
|---|
| 33 | EE | Salamah Salamah,
Ann Q. Gates:
A Technique for Using Model Checkers to Teach Formal Specifications.
CSEE&T 2008: 181-188 |
| 32 | EE | Salamah Salamah,
Ann Q. Gates,
Steve Roach:
Improving Pattern-Based LTL Formulas for Automata Model Checking.
ITNG 2008: 9-14 |
| 31 | | 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 |
| 2007 |
|---|
| 30 | EE | Salamah Salamah,
Ann Q. Gates,
Vladik Kreinovich,
Steve Roach:
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
ATVA 2007: 533-542 |
| 29 | EE | Nicholas Del Rio,
Paulo Pinheiro da Silva,
Ann Q. Gates,
Leonardo Salayandia:
Semantic Annotation of Maps Through Knowledge Provenance.
GeoS 2007: 20-35 |
| 28 | EE | Ann Q. Gates,
G. Randy Keller,
Leonardo Salayandia,
Paulo Pinheiro da Silva,
Flor Salcedo:
The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies.
GeoS 2007: 278-287 |
| 27 | EE | Salamah Salamah,
Ann Q. Gates,
Vladik Kreinovich,
Steve Roach:
Verification of Automatically Generated Pattern-Based LTL Specifications.
HASE 2007: 341-348 |
| 26 | 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 |
| 25 | | Salamah Salamah,
Vladik Kreinovich,
Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
SEKE 2007: 422-427 |
| 24 | 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) |
| 2006 |
|---|
| 23 | EE | Leonardo Salayandia,
Paulo Pinheiro da Silva,
Ann Q. Gates,
Flor Salcedo:
Workflow-Driven Ontologies: An Earth Sciences Case Study.
e-Science 2006: 17 |
| 2005 |
|---|
| 22 | | Oscar Mondragon,
Ann Q. Gates,
Humberto Mendoza,
Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns.
SEKE 2005: 267-273 |
| 21 | EE | Salamah Salamah,
Ann Q. Gates,
Steve Roach,
Oscar Mondragon:
Verifying Pattern-Generated LTL Formulas: A Case Study.
SPIN 2005: 200-220 |
| 20 | EE | Ann Q. Gates,
Steve Roach,
Irbis Gallegos,
Omar Ochoa,
Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
WORDS 2005: 105-112 |
| 2004 |
|---|
| 19 | EE | Nelly Delgado,
Ann Q. Gates,
Steve Roach:
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.
IEEE Trans. Software Eng. 30(12): 859-872 (2004) |
| 18 | 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 |
|---|
| 17 | | Oscar Mondragon,
Ann Q. Gates,
Fadi Kassem:
Automated Support for Property Specification Based on Patterns.
SEKE 2003: 174-181 |
| 16 | EE | Ann Q. Gates,
Oscar Mondragon,
Mary Payne,
Steve Roach:
Instrumentation of Intermediate Code for Runtime Verification.
SEW 2003: 66 |
| 15 | 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 |
|---|
| 14 | EE | Ann Q. Gates,
Oscar Mondragon:
FasTLInC: a constraint-based tracing approach.
Journal of Systems and Software 63(3): 241-258 (2002) |
| 2001 |
|---|
| 13 | | Ann Q. Gates,
Vladik Kreinovich:
Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark.
Bulletin of the EATCS 73: 142-145 (2001) |
| 12 | 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) |
| 1999 |
|---|
| 11 | EE | Ann Q. Gates,
Patricia J. Teller:
DynaMICs: An Automated and Independent Software-FaultDetection Approach.
HASE 1999: 11-19 |
| 10 | EE | Patricia J. Teller,
M. E. Maxwell,
Ann Q. Gates:
Towards the design of a snoopy coprocessor for dynamic software-fault detection.
IPCCC 1999: 310-317 |
| 9 | | S. Subbaramu,
Ann Q. Gates,
Vladik Kreinovich:
Application of Kolmogorov Complexity to Image Compression: It Is Possible to Have a Better Compression, But It Is Not Possible to Have the Best One.
Bulletin of the EATCS 69: 145-150 (1999) |
| 1998 |
|---|
| 8 | | Ann Q. Gates,
Vladik Kreinovich,
Luc Longpré:
Kolmogorov Complexity Justifies Software Engineering Heuristics.
Bulletin of the EATCS 66: 150-154 (1998) |
| 1997 |
|---|
| 7 | EE | Ann Q. Gates,
C. Kubo Della-Piana:
The identification of integrity constraints in requirements for context monitoring.
ECBS 1997: 498-506 |
| 1996 |
|---|
| 6 | | Ann Q. Gates:
On Defining a Class of Integrity Constraints.
SEKE 1996: 338-344 |
| 5 | EE | Daniel E. Cooke,
Ann Q. Gates,
Elif Demirörs,
Onur Demirörs,
Murat M. Tanik,
Bernd J. Krämer:
Languages for the specification of software.
Journal of Systems and Software 32(3): 269-308 (1996) |
| 1995 |
|---|
| 4 | | Ann Q. Gates,
Daniel E. Cooke:
The Use of Integrity Constraints in Software Engineering.
SEKE 1995: 383-390 |
| 1994 |
|---|
| 3 | | Daniel E. Cooke,
Richard Duran,
Ann Q. Gates,
Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic.
SEKE 1994: 289-297 |
| 1991 |
|---|
| 2 | EE | Daniel E. Cooke,
Ann Q. Gates:
On the Development of a Method to Synthesize Programs from Requirements Specifications.
International Journal of Software Engineering and Knowledge Engineering 1(1): 21-38 (1991) |
| 1990 |
|---|
| 1 | | Ann Q. Gates,
Daniel E. Cooke:
An Introduction To The Recognition of Iterative Structures by a CASE Tool.
SEKE 1990: 202-208 |
