Jaime Cuartas

According to our database, Jaime Cuartas authored at least 3 papers between 2023 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

2023

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.

Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 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