Omar Ochoa

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 19

Top Topics

Security Requirements

Vehicle Detection

Top Venues

Publications

Lynn Vonder Haar, Timothy Elvira, Luke Newcomb, Omar Ochoa
Measuring the Impact of Scene Level Objects on Object Detection: Towards Quantitative Explanations of Detection Decisions. CoRR (2024)
Tyler Procko, Timothy Elvira, Omar Ochoa
Dawn of the dialogue: AI's leap from lab to living room. Frontiers Artif. Intell. 7 (2024)
Lynn Vonderhaar, Timothy Elvira, Tyler Procko, Omar Ochoa
Towards Robust Training Datasets for Machine Learning with Ontologies: A Case Study for Emergency Road Vehicle Detection. CoRR (2024)
Lynn Vonder Haar, Timothy Elvira, Omar Ochoa
An analysis of explainability methods for convolutional neural networks. Eng. Appl. Artif. Intell. 117 (Part) (2023)
Sarah A. Reynolds, William C. Pate, Omar Ochoa
An Ontology and Management System for Learning Outcomes and Student Mastery. FIE (2023)
Sarah A. Reynolds, Alexis Caldwell, Tyler Procko, Omar Ochoa
Scrum in the Classroom: An Implementation Guide. FIE (2023)
Omar Ochoa, Massood Towhidnejad, James J. Pembridge, Radu F. Babiceanu
A Blueprint for Adopting Agility in Teaching, Research and Service in an Engineering Department. FIE (2023)
Lynn Vonder Haar, Sarah A. Reynolds, Tyler Procko, Omar Ochoa
Validating Security Requirement Specifications through the use of a Knowledge Graph. ICSC (2023)
Omar Ochoa, Sarah A. Reynolds
Introducing Agility into Research Teams. FIE (2022)
Tyler Procko, Timothy Elvira, Omar Ochoa, Nicholas Del Rio
An Exploration of Explainable Machine Learning Using Semantic Web Technology. ICSC (2022)
Jessica Steinmann, Omar Ochoa
Supporting Security Requirements Engineering through the Development of The Secure Development Ontology. ICSC (2022)
Omar Ochoa, Massood Towhidnejad, Timothy Wilson, James Pembridze, Erin Bowen, Carlos Castro
Adopting Agility in Academia through Pilot Projects. FIE (2021)
Omar Ochoa, Miralda Rodney, Nicholas Del Rio
Accessing Provenance Records in Semantic Web Services. ICSC (2020)
Omar Ochoa, Adam Babbit
Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements. FIE (2019)
Tia Larsen-Calcano, Omar Ochoa, Richard Simonson
Using Scenarios to Validate Requirements Through the Use of Eye-Tracking in Prototyping. HCI (16) (2018)
Omar Ochoa, Jessica Steinmann, Yevgeniy Lischuk
Towards Eliciting and Analyzing Security Requirements Using Ontologies through Use Case Scenarios (Work-in-Progress). ICSSA (2018)
Omar Ochoa, Miralda Rodney, Massood Towhidnejad, Salamah Salamah
Investigating the Benefits of Introducing Process-Oriented Life Cycle Development Models to Improve Students Appreciation for Agile Methods. FIE (2018)
Omar Ochoa, Salamah Salamah
An approach to enhance students' competency in software verification techniques. FIE (2015)
Salamah Salamah, Omar Ochoa, Yadira Jacquez
Using Pairwise Testing to Verify Automatically-Generated Formal Specifications. HASE (2015)
Christian Servin, Aline Jaimes, Craig E. Tweedie, Aaron Velasco, Omar Ochoa, Vladik Kreinovich
How to Gauge Accuracy of Measurements and of Expert Estimates: Beyond Normal Distributions. WCSC (2013)
Salamah Salamah, Matthew Engskow, Omar Ochoa
Consistency Checks of System Properties Using LTL and Büchi Automata. SEKE (2012)
Alberto Ochoa, María Beatríz Bernábe Loranca, Omar Ochoa
A Complex Networks Approach to Demographic Zonification. MICAI (2009)
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)
Salamah Salamah, Irbis Gallegos, Omar Ochoa
A Novel Approach for Software Property Validation. SETP (2008)
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)
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS (2005)