Omar Ochoa

According to our database, Omar Ochoa authored at least 24 papers between 2005 and 2024.

Collaborative distances:

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

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

2023

An analysis of explainability methods for convolutional neural networks.

Lynn Vonder Haar, Timothy Elvira, Omar Ochoa

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