David Cortés Sáenz

According to our database, David Cortés Sáenz authored at least 7 papers between 2015 and 2025.

Collaborative distances:

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

2025

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems.

Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens

Softw. Test. Verification Reliab., January, 2025

2024

Human-Object Interaction: Development of a Usability Index for Product Design Using a Hierarchical Fuzzy Axiomatic Design.

Mayra Ivette Peña-Ontiveros, Cesar Omar Balderrama-Armendariz, Alberto Rossa-Sierra, Aidé Aracely Maldonado-Macías, David Cortés Sáenz, Juan Luis Hernández Arellano

Comput., June, 2024

Time for Networks: Mutation Testing for Timed Automata Networks.

David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Assessing the Economic Feasibility and Competitiveness Analysis of Photovoltaic Solar Power in the Colombian Caribbean based on NASA's Satellite Data.

David Cortés, Rubén D. Albarracín, Ivan Portnoy, Ana C. Torregroza-Espinosa, Fabián Atencio

Proceedings of the 15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2024) / The 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2024), 2024

2023

Formal Verification of a Mechanical Ventilator using UPPAAL.

Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2019

Design Process: The Importance of Its Implementation.

Leticia Castillo, David Cortés, Cesar Omar Balderrama-Armendariz

Proceedings of the 2nd International Conference on Human Systems Engineering and Design: Future Trends and Applications, 2019

2015

A fuzzy approach for the selection of non-traditional sheet metal cutting processes.

David Cortés Sáenz, Nelly Gordillo Castillo, Carles Riba Romeva, Joaquim Lloveras Macià

Expert Syst. Appl., 2015