Ann Q. Gates

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich: Validated templates for specification of complex LTL formulas. Journal of Systems and Software 85(8): 1915-1929 (2012)

Irbis Gallegos, Ann Q. Gates: Tool Support for Anomaly Detection in Scientific Sensor Data. SEKE 2012: 678-683

Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow: Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Software Engineering 2011 (2011)

Ann Q. Gates: The role of Hispanic-serving institutions in contributing to an educated work force. Commun. ACM 53(12): 31-33 (2010)

Ann Q. Gates: Discovery, Innovation, and Creativity: The Core of Computing. IEEE Computer 43(2): 98-100 (2010)

Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie: DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. ER Workshops 2010: 232-241

Paulo Pinheiro da Silva, Leonardo Salayandia, Aída Gándara, Ann Q. Gates: CI-Miner: semantically enhancing scientific processes. Earth Science Informatics 2(4): 249-269 (2009)

Pearl Brazier, Artem Chebotko, Ann Q. Gates, Leonardo Salayandia: GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery. SERVICES I 2009: 356-359

Pearl Brazier, Artem Chebotko, Anthony Piazza, Ann Q. Gates, Leonardo Salayandia: Web 2.0 and Semantic Web Portal for Annotation and Discovery of Web Services in Geosciences. SWWS 2009: 220-226

Salamah Salamah, Ann Q. Gates: A Technique for Using Model Checkers to Teach Formal Specifications. CSEE&T 2008: 181-188

Salamah Salamah, Ann Q. Gates, Steve Roach: Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14

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

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)

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

Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia: Semantic Annotation of Maps Through Knowledge Provenance. GeoS 2007: 20-35

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

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348

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

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates: Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE 2007: 422-427

Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo: Workflow-Driven Ontologies: An Earth Sciences Case Study. e-Science 2006: 17

Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273

Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220

Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112

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)

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)

Oscar Mondragon, Ann Q. Gates, Steve Roach: Prospec: Support for Elicitation and Formal Specification of Software Properties. Electr. Notes Theor. Comput. Sci. 89(2): 67-88 (2003)

Oscar Mondragon, Ann Q. Gates, Fadi Kassem: Automated Support for Property Specification Based on Patterns. SEKE 2003: 174-181

Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach: Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66

Ann Q. Gates, Oscar Mondragon: FasTLInC: a constraint-based tracing approach. Journal of Systems and Software 63(3): 241-258 (2002)

Ann Q. Gates, Vladik Kreinovich: Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. Bulletin of the EATCS 73: 142-145 (2001)

Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. Electr. Notes Theor. Comput. Sci. 55(2): 164-180 (2001)

Andrew P. Bernat, Patricia J. Teller, Ann Q. Gates, Nellie Delgado: Structuring the student research experience. ITiCSE 2000: 17-20

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)

Ann Q. Gates, Patricia J. Teller: DynaMICs: An Automated and Independent Software-FaultDetection Approach. HASE 1999: 11-19

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

Ann Q. Gates, Vladik Kreinovich, Luc Longpré: Kolmogorov Complexity Justifies Software Engineering Heuristics. Bulletin of the EATCS 66: 150-154 (1998)

Ann Q. Gates, Vladik Kreinovich: Why is a function defined as set of ordered pairs? SIGCSE Bulletin 29(4): 57 (1997)

Ann Q. Gates, C. Kubo Della-Piana: The identification of integrity constraints in requirements for context monitoring. ECBS 1997: 498-506

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)

Ann Q. Gates: On Defining a Class of Integrity Constraints. SEKE 1996: 338-344

Ann Q. Gates, Daniel E. Cooke: The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390

Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich: Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297

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)

Ann Q. Gates, Daniel E. Cooke: An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208