Omar Ochoa

42 papers B 2C 13Misc 2Journal 11Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Embedding Provenance in Computer Vision Datasets with JSON-LD.
CoRR
Lynn Vonderhaar, Timothy Elvira, Tyler Thomas Procko, Omar Ochoa
2026 J jnl
Formal methods for safety-critical machine learning: a systematic literature review.
Frontiers Artif. Intell.
Alexandra Newcomb, Omar Ochoa
2026 J jnl
Verifying Machine Learning Interpretability and Explainability Requirements Through Provenance.
Softw.
Lynn Vonderhaar, Juan Ortiz Couder, Tyler Thomas Procko, Eva Lueddeke, Daryela Cisneros, Omar Ochoa
2025 J jnl
Bridging Linguistics and Artificial Intelligence: A Phoneme-Centric Method for Assessing Synthetic Speech.
Int. J. Semantic Comput.
Sarah A. Reynolds, Omar Ochoa
2025 — conf
Creating Robust Data Sets for AI by Leveraging Ontological Structures.
ICSC
Lynn Vonderhaar, Timothy Elvira, Tyler Thomas Procko, Omar Ochoa
2025 Misc conf
Exploring Requirements Engineering for Machine Learning via a Product Case Study.
FLAIRS
Lynn Vonderhaar, Timothy Elvira, Juan Ortiz Couder, Omar Ochoa
2025 B conf
Generating and Verifying Synthetic Datasets with Requirements Engineering.
CAIN
Lynn Vonderhaar, Timothy Elvira, Omar Ochoa
2025 Misc conf
Measuring the Impact of Scene Level Objects: A Novel Method for Quantitative Explanations.
FLAIRS
Lynn Vonderhaar, Timothy Elvira, Omar Ochoa
2025 J jnl
Preconditions and Postconditions as Design Constraints for LLM Code Generation.
IEEE Access
Luke Newcomb, Alexandra Newcomb, Omar Ochoa
2024 J jnl
Dawn of the dialogue: AI's leap from lab to living room.
Frontiers Artif. Intell.
Tyler Procko, Timothy Elvira, Omar Ochoa
2024 C conf
Exploring Testing Methods for Large Language Models.
ICMLA
Timothy Elvira, Tyler Thomas Procko, Lynn Vonderhaar, Omar Ochoa
2024 C conf
Incorporating AI in the Teaching of Requirements Tracing Within Software Engineering.
FIE
Juan Ortiz Couder, William C. Pate, Daniel A. Machado, Omar Ochoa
2024 C conf
Learning About Faculty Service Through Scrum: A Ph.D. Students' Perspective.
FIE
Sarah A. Reynolds, Omar Ochoa, Massood Towhidnejad, James J. Pembridge, Radu F. Babiceanu
2024 J jnl
Leveraging Linked Data for Knowledge Management: A Proposal for the Aerospace Industry.
J. Aerosp. Inf. Syst.
Tyler Thomas Procko, Omar Ochoa
2024 J jnl
Measuring the Impact of Scene Level Objects on Object Detection: Towards Quantitative Explanations of Detection Decisions.
CoRR
Lynn Vonder Haar, Timothy Elvira, Luke Newcomb, Omar Ochoa
2024 J jnl
Role, Needs, and State of Cognitive Assistants in Single-Pilot Operations.
J. Aerosp. Inf. Syst.
Alexandra Davidoff, Lynn Vonderhaar, Alexis Caldwell, Tyler Procko, Omar Ochoa
2024 J jnl
Towards Robust Training Datasets for Machine Learning with Ontologies: A Case Study for Emergency Road Vehicle Detection.
CoRR
Lynn Vonderhaar, Timothy Elvira, Tyler Procko, Omar Ochoa
2023 C conf
A Blueprint for Adopting Agility in Teaching, Research and Service in an Engineering Department.
FIE
Omar Ochoa, Massood Towhidnejad, James J. Pembridge, Radu F. Babiceanu
2023 C conf
An Ontology and Management System for Learning Outcomes and Student Mastery.
FIE
Sarah A. Reynolds, William C. Pate, Omar Ochoa
2023 J jnl
An analysis of explainability methods for convolutional neural networks.
Eng. Appl. Artif. Intell.
Lynn Vonder Haar, Timothy Elvira, Omar Ochoa
2023 — conf
Automatic Generation of BFO-Compliant Aristotelian Definitions in OWL Ontologies with GPT.
TransAI
Tyler Thomas Procko, Omar Ochoa, Timothy Elvira
2023 — conf
GPT-4: A Stochastic Parrot or Ontological Craftsman? Discovering Implicit Knowledge Structures in Large Language Models.
TransAI
Tyler Thomas Procko, Timothy Elvira, Omar Ochoa
2023 C conf
Scrum in the Classroom: An Implementation Guide.
FIE
Sarah A. Reynolds, Alexis Caldwell, Tyler Procko, Omar Ochoa
2023 — conf
Validating Security Requirement Specifications through the use of a Knowledge Graph.
ICSC
Lynn Vonder Haar, Sarah A. Reynolds, Tyler Procko, Omar Ochoa
2022 — conf
An Exploration of Explainable Machine Learning Using Semantic Web Technology.
ICSC
Tyler Procko, Timothy Elvira, Omar Ochoa, Nicholas Del Rio
2022 C conf
Introducing Agility into Research Teams.
FIE
Omar Ochoa, Sarah A. Reynolds
2022 — conf
Supporting Security Requirements Engineering through the Development of The Secure Development Ontology.
ICSC
Jessica Steinmann, Omar Ochoa
2021 C conf
Adopting Agility in Academia through Pilot Projects.
FIE
Omar Ochoa, Massood Towhidnejad, Timothy Wilson, James Pembridze, Erin Bowen, Carlos Castro
2020 — conf
Accessing Provenance Records in Semantic Web Services.
ICSC
Omar Ochoa, Miralda Rodney, Nicholas Del Rio
2019 C conf
Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements.
FIE
Omar Ochoa, Adam Babbit
2018 C conf
Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods.
FIE
Omar Ochoa, Miralda Rodney, Massood Towhidnejad, Salamah Salamah
2018 — conf
Towards Eliciting and Analyzing Security Requirements Using Ontologies through Use Case Scenarios (Work-in-Progress).
ICSSA
Omar Ochoa, Jessica Steinmann, Yevgeniy Lischuk
2018 — conf
Using Scenarios to Validate Requirements Through the Use of Eye-Tracking in Prototyping.
HCI (16)
Tia Larsen-Calcano, Omar Ochoa, Richard Simonson
2015 C conf
An approach to enhance students' competency in software verification techniques.
FIE
Omar Ochoa, Salamah Salamah
2015 — conf
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.
HASE
Salamah Salamah, Omar Ochoa, Yadira Jacquez
2013 — conf
How to Gauge Accuracy of Measurements and of Expert Estimates: Beyond Normal Distributions.
WCSC
Christian Servin, Aline Jaimes, Craig E. Tweedie, Aaron Velasco, Omar Ochoa, Vladik Kreinovich
2012 C conf
Consistency Checks of System Properties Using LTL and Büchi Automata.
SEKE
Salamah Salamah, Matthew Engskow, Omar Ochoa
2009 — conf
A Complex Networks Approach to Demographic Zonification.
MICAI
Alberto Ochoa, María Beatríz Bernábe-Loranca, Omar Ochoa
2008 — conf
A Novel Approach for Software Property Validation.
SETP
Salamah Salamah, Irbis Gallegos, Omar Ochoa
2008 C conf
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
SEKE
Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
2007 B conf
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.
RV
Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates
2005 — conf
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
WORDS
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky