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

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. - Omar Ochoa; Irbis Gallegos; Steve Roach; Ann Q. Gates (RV, 2007)

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. - Irbis Gallegos; Omar Ochoa; Ann Q. Gates; Steve Roach; Salamah Salamah; Corina Vela (SEKE, 2008)

A Novel Approach for Software Property Validation. - Salamah Salamah; Irbis Gallegos; Omar Ochoa (SETP, 2008)

A Complex Networks Approach to Demographic Zonification. - Alberto Ochoa 003; María Beatríz Bernábe-Loranca; Omar Ochoa (MICAI, 2009)

Consistency Checks of System Properties Using LTL and Büchi Automata. - Salamah Salamah; Matthew Engskow; Omar Ochoa (SEKE, 2012)

How to Gauge Accuracy of Measurements and of Expert Estimates: Beyond Normal Distributions. - Christian Servin; Aline Jaimes; Craig E. Tweedie; Aaron Velasco; Omar Ochoa; Vladik Kreinovich (WCSC, 2013)

An approach to enhance students' competency in software verification techniques. - Omar Ochoa; Salamah Salamah (FIE, 2015)

Using Pairwise Testing to Verify Automatically-Generated Formal Specifications. - Salamah Salamah; Omar Ochoa; Yadira Jacquez (HASE, 2015)

Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods. - Omar Ochoa; Miralda Rodney; Massood Towhidnejad; Salamah Salamah (FIE, 2018)

Using Scenarios to Validate Requirements Through the Use of Eye-Tracking in Prototyping. - Tia Larsen-Calcano; Omar Ochoa; Richard Simonson (HCI (16), 2018)

Towards Eliciting and Analyzing Security Requirements Using Ontologies through Use Case Scenarios (Work-in-Progress). - Omar Ochoa; Jessica Steinmann; Yevgeniy Lischuk (ICSSA, 2018)

Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements. - Omar Ochoa; Adam Babbit (FIE, 2019)

Accessing Provenance Records in Semantic Web Services. - Omar Ochoa; Miralda Rodney; Nicholas Del Rio (ICSC, 2020)

Adopting Agility in Academia through Pilot Projects. - Omar Ochoa; Massood Towhidnejad; Timothy Wilson; James Pembridze; Erin Bowen; Carlos Castro (FIE, 2021)

Introducing Agility into Research Teams. - Omar Ochoa; Sarah A. Reynolds (FIE, 2022)

An Exploration of Explainable Machine Learning Using Semantic Web Technology. - Tyler Procko; Timothy Elvira; Omar Ochoa; Nicholas Del Rio (ICSC, 2022)

Supporting Security Requirements Engineering through the Development of The Secure Development Ontology. - Jessica Steinmann; Omar Ochoa (ICSC, 2022)

A Blueprint for Adopting Agility in Teaching, Research and Service in an Engineering Department. - Omar Ochoa; Massood Towhidnejad; James J. Pembridge; Radu F. Babiceanu (FIE, 2023)

Scrum in the Classroom: An Implementation Guide. - Sarah A. Reynolds; Alexis Caldwell; Tyler Procko; Omar Ochoa (FIE, 2023)

An Ontology and Management System for Learning Outcomes and Student Mastery. - Sarah A. Reynolds; William C. Pate; Omar Ochoa (FIE, 2023)

Validating Security Requirement Specifications through the use of a Knowledge Graph. - Lynn Vonder Haar; Sarah A. Reynolds; Tyler Procko; Omar Ochoa (ICSC, 2023)

GPT-4: A Stochastic Parrot or Ontological Craftsman? Discovering Implicit Knowledge Structures in Large Language Models. - Tyler Thomas Procko; Timothy Elvira; Omar Ochoa (TransAI, 2023)

Automatic Generation of BFO-Compliant Aristotelian Definitions in OWL Ontologies with GPT. - Tyler Thomas Procko; Omar Ochoa; Timothy Elvira (TransAI, 2023)

An analysis of explainability methods for convolutional neural networks. - Lynn Vonder Haar; Timothy Elvira; Omar Ochoa (Eng. Appl. Artif. Intell., 2023)

Incorporating AI in the Teaching of Requirements Tracing Within Software Engineering. - Juan Ortiz Couder; William C. Pate; Daniel A. Machado; Omar Ochoa (FIE, 2024)

Learning About Faculty Service Through Scrum: A Ph.D. Students' Perspective. - Sarah A. Reynolds; Omar Ochoa; Massood Towhidnejad; James J. Pembridge; Radu F. Babiceanu (FIE, 2024)

Exploring Testing Methods for Large Language Models. - Timothy Elvira; Tyler Thomas Procko; Lynn Vonderhaar; Omar Ochoa (ICMLA, 2024)

Measuring the Impact of Scene Level Objects on Object Detection: Towards Quantitative Explanations of Detection Decisions. - Lynn Vonder Haar; Timothy Elvira; Luke Newcomb; Omar Ochoa (CoRR, 2024)

Towards Robust Training Datasets for Machine Learning with Ontologies: A Case Study for Emergency Road Vehicle Detection. - Lynn Vonderhaar; Timothy Elvira; Tyler Procko; Omar Ochoa (CoRR, 2024)

Dawn of the dialogue: AI's leap from lab to living room. - Tyler Procko; Timothy Elvira; Omar Ochoa (Frontiers Artif. Intell., 2024)

Role, Needs, and State of Cognitive Assistants in Single-Pilot Operations. - Alexandra Davidoff; Lynn Vonderhaar; Alexis Caldwell; Tyler Procko; Omar Ochoa (J. Aerosp. Inf. Syst., 2024)

Leveraging Linked Data for Knowledge Management: A Proposal for the Aerospace Industry. - Tyler Thomas Procko; Omar Ochoa (J. Aerosp. Inf. Syst., 2024)

Generating and Verifying Synthetic Datasets with Requirements Engineering. - Lynn Vonderhaar; Timothy Elvira; Omar Ochoa (CAIN, 2025)

Exploring Requirements Engineering for Machine Learning via a Product Case Study. - Lynn Vonderhaar; Timothy Elvira; Juan Ortiz Couder; Omar Ochoa (FLAIRS, 2025)

Measuring the Impact of Scene Level Objects: A Novel Method for Quantitative Explanations. - Lynn Vonderhaar; Timothy Elvira; Omar Ochoa (FLAIRS, 2025)

Creating Robust Data Sets for AI by Leveraging Ontological Structures. - Lynn Vonderhaar; Timothy Elvira; Tyler Thomas Procko; Omar Ochoa (ICSC, 2025)