Juan Ortiz Couder

According to our database, Juan Ortiz Couder authored at least 5 papers between 2024 and 2026.

Collaborative distances:

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

2026

Verifying Machine Learning Interpretability Requirements through Provenance.

Lynn Vonderhaar, Juan Ortiz Couder, Daryela Cisneros, Omar Ochoa

CoRR, April, 2026

Verifying Machine Learning Interpretability and Explainability Requirements Through Provenance.

Lynn Vonderhaar, Juan Ortiz Couder, Tyler Thomas Procko, Eva Lueddeke, Daryela Cisneros, Omar Ochoa

Softw., 2026

Satellite Trajectory Optimization via Proximal Policy Optimization for Space Debris Avoidance.

Logan Luna, Juan Ortiz Couder, Raul Alejandro Vargas-Acosta

IEEE Access, 2026

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

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