| 2026 | ENASE | A Survey of Machine Learning Lifecycle Provenance: Models, Approaches, and Tools. | Lynn Vonderhaar, Tyler Thomas Procko, Omar Ochoa |
| 2026 | ICSoft | Verifying Machine Learning Testability Requirements with Provenance. | Lynn Vonderhaar, Tyler Thomas Procko, Omar Ochoa |
| 2025 | AIES | Exclusive Flux: A Review of Flux's Generation of LGBTQ+ Couples. | Lynn Vonderhaar, Kayla Taylor, Jennifer Wojton, Omar Ochoa |
| 2025 | CAIN | Generating and Verifying Synthetic Datasets with Requirements Engineering. | Lynn Vonderhaar, Timothy Elvira, Omar Ochoa |
| 2025 | FlAIRS | Exploring Requirements Engineering for Machine Learning via a Product Case Study. | Lynn Vonderhaar, Timothy Elvira, Juan Ortiz Couder, Omar Ochoa |
| 2025 | FlAIRS | Measuring the Impact of Scene Level Objects: A Novel Method for Quantitative Explanations. | Lynn Vonderhaar, Timothy Elvira, Omar Ochoa |
| 2024 | FIE | Incorporating AI in the Teaching of Requirements Tracing Within Software Engineering. | Juan Ortiz Couder, William C. Pate, Daniel A. Machado, Omar Ochoa |
| 2024 | FIE | Learning About Faculty Service Through Scrum: A Ph.D. Students' Perspective. | Sarah A. Reynolds, Omar Ochoa, Massood Towhidnejad, James J. Pembridge, Radu F. Babiceanu |
| 2024 | ICMLA | Exploring Testing Methods for Large Language Models. | Timothy Elvira, Tyler Thomas Procko, Lynn Vonderhaar, Omar Ochoa |
| 2023 | FIE | A Blueprint for Adopting Agility in Teaching, Research and Service in an Engineering Department. | Omar Ochoa, Massood Towhidnejad, James J. Pembridge, Radu F. Babiceanu |
| 2023 | FIE | Scrum in the Classroom: An Implementation Guide. | Sarah A. Reynolds, Alexis Caldwell, Tyler Procko, Omar Ochoa |
| 2023 | FIE | An Ontology and Management System for Learning Outcomes and Student Mastery. | Sarah A. Reynolds, William C. Pate, Omar Ochoa |
| 2022 | FIE | Introducing Agility into Research Teams. | Omar Ochoa, Sarah A. Reynolds |
| 2021 | FIE | Adopting Agility in Academia through Pilot Projects. | Omar Ochoa, Massood Towhidnejad, Timothy Wilson, James Pembridze, Erin Bowen, Carlos Castro |
| 2019 | FIE | Incorporating a Virtual Reality Environment in the Teaching of Analysis of Software Requirements. | Omar Ochoa, Adam Babbit |
| 2018 | FIE | 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 |
| 2018 | HCI | Using Scenarios to Validate Requirements Through the Use of Eye-Tracking in Prototyping. | Tia Larsen-Calcano, Omar Ochoa, Richard Simonson |
| 2015 | FIE | An approach to enhance students' competency in software verification techniques. | Omar Ochoa, Salamah Salamah |
| 2012 | SEKE | Consistency Checks of System Properties Using LTL and Bchi Automata. | Salamah Salamah, Matthew Engskow, Omar Ochoa |
| 2008 | SEKE | A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. | Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela |
| 2007 | RV | Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |