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)

Design Process: The Importance of Its Implementation. - Leticia Castillo; David Cortés; Cesar Omar Balderrama-Armendariz (IHSED, 2019)

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 001 (FTSCS, 2023)

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 (EUSPN/ICTH, 2024)

Time for Networks: Mutation Testing for Timed Automata Networks. - David Cortés; James Ortiz 001; Davide Basile 001; Jesús Aranda; Gilles Perrouin; Pierre-Yves Schobbens (FormaliSE@ICSE, 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., 2024)

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 001; Gilles Perrouin; Pierre-Yves Schobbens (Softw. Test. Verification Reliab., 2025)