Omar Ochoa

According to our database, Omar Ochoa authored at least 37 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Creating Robust Data Sets for AI by Leveraging Ontological Structures.

Lynn Vonderhaar, Timothy Elvira, Tyler Thomas Procko, Omar Ochoa

Proceedings of the 19th International Conference on Semantic Computing, 2025

Measuring the Impact of Scene Level Objects: A Novel Method for Quantitative Explanations.

Lynn Vonderhaar, Timothy Elvira, Omar Ochoa

Proceedings of the 38th International Florida Artificial Intelligence Research Society Conference, 2025

Exploring Requirements Engineering for Machine Learning via a Product Case Study.

Lynn Vonderhaar, Timothy Elvira, Juan Ortiz Couder, Omar Ochoa

Proceedings of the 38th International Florida Artificial Intelligence Research Society Conference, 2025

Generating and Verifying Synthetic Datasets with Requirements Engineering.

Lynn Vonderhaar, Timothy Elvira, Omar Ochoa

Proceedings of the 4th IEEE/ACM International Conference on AI Engineering, 2025

2024

Leveraging Linked Data for Knowledge Management: A Proposal for the Aerospace Industry.

Tyler Thomas Procko, Omar Ochoa

J. Aerosp. Inf. Syst., 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

Dawn of the dialogue: AI's leap from lab to living room.

Tyler Procko, Timothy Elvira, Omar Ochoa

Frontiers Artif. Intell., 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

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

Exploring Testing Methods for Large Language Models.

Timothy Elvira, Tyler Thomas Procko, Lynn Vonderhaar, Omar Ochoa

Proceedings of the International Conference on Machine Learning and Applications, 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

Proceedings of the IEEE Frontiers in Education Conference, 2024

Incorporating AI in the Teaching of Requirements Tracing Within Software Engineering.

Juan Ortiz Couder, William C. Pate, Daniel A. Machado, Omar Ochoa

Proceedings of the IEEE Frontiers in Education Conference, 2024

2023

An analysis of explainability methods for convolutional neural networks.

Lynn Vonder Haar, Timothy Elvira, Omar Ochoa

Eng. Appl. Artif. Intell., 2023

Automatic Generation of BFO-Compliant Aristotelian Definitions in OWL Ontologies with GPT.

Tyler Thomas Procko, Omar Ochoa, Timothy Elvira

Proceedings of the 2023 Fifth International Conference on Transdisciplinary AI (TransAI), 2023

GPT-4: A Stochastic Parrot or Ontological Craftsman? Discovering Implicit Knowledge Structures in Large Language Models.

Tyler Thomas Procko, Timothy Elvira, Omar Ochoa

Proceedings of the 2023 Fifth International Conference on Transdisciplinary AI (TransAI), 2023

Validating Security Requirement Specifications through the use of a Knowledge Graph.

Lynn Vonder Haar, Sarah A. Reynolds, Tyler Procko, Omar Ochoa

Proceedings of the 17th IEEE International Conference on Semantic Computing, 2023

An Ontology and Management System for Learning Outcomes and Student Mastery.

Sarah A. Reynolds, William C. Pate, Omar Ochoa

Proceedings of the IEEE Frontiers in Education Conference, 2023

Scrum in the Classroom: An Implementation Guide.

Sarah A. Reynolds, Alexis Caldwell, Tyler Procko, Omar Ochoa

Proceedings of the IEEE Frontiers in Education Conference, 2023

A Blueprint for Adopting Agility in Teaching, Research and Service in an Engineering Department.

Omar Ochoa, Massood Towhidnejad, James J. Pembridge, Radu F. Babiceanu

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

Supporting Security Requirements Engineering through the Development of The Secure Development Ontology.

Jessica Steinmann, Omar Ochoa

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

An Exploration of Explainable Machine Learning Using Semantic Web Technology.

Tyler Procko, Timothy Elvira, Omar Ochoa, Nicholas Del Rio

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Introducing Agility into Research Teams.

Omar Ochoa, Sarah A. Reynolds

Proceedings of the IEEE Frontiers in Education Conference, 2022

2021

Adopting Agility in Academia through Pilot Projects.

Omar Ochoa, Massood Towhidnejad, Timothy Wilson, James Pembridze, Erin Bowen, Carlos Castro

Proceedings of the IEEE Frontiers in Education Conference, 2021

2020

Accessing Provenance Records in Semantic Web Services.

Omar Ochoa, Miralda Rodney, Nicholas Del Rio

Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

2019

Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements.

Omar Ochoa, Adam Babbit

Proceedings of the IEEE Frontiers in Education Conference, 2019

2018

Towards Eliciting and Analyzing Security Requirements Using Ontologies through Use Case Scenarios (Work-in-Progress).

Omar Ochoa, Jessica Steinmann, Yevgeniy Lischuk

Proceedings of the International Conference on Software Security and Assurance, 2018

Using Scenarios to Validate Requirements Through the Use of Eye-Tracking in Prototyping.

Tia Larsen-Calcano, Omar Ochoa, Richard Simonson

Proceedings of the Augmented Cognition: Users and Contexts, 2018

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

Proceedings of the IEEE Frontiers in Education Conference, 2018

2015

Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.

Salamah Salamah, Omar Ochoa, Yadira Jacquez

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

An approach to enhance students' competency in software verification techniques.

Omar Ochoa, Salamah Salamah

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2013

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

Proceedings of the Advance Trends in Soft Computing, 2013

2012

Consistency Checks of System Properties Using LTL and Büchi Automata.

Salamah Salamah, Matthew Engskow, Omar Ochoa

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2009

A Complex Networks Approach to Demographic Zonification.

Alberto Ochoa, María Beatríz Bernábe-Loranca, Omar Ochoa

Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

2008

A Novel Approach for Software Property Validation.

Salamah Salamah, Irbis Gallegos, Omar Ochoa

Proceedings of the International Conference on Software Engineering Theory and Practice, 2008

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.

Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2005

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.

Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005