Joan S. Betancourt

According to our database, Joan S. Betancourt 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

Fairness and Consensus in a Gossip Model of Social Networks.

Joan S. Betancourt, Jesús Aranda, Juan Francisco Díaz, Frank Valencia

CoRR, 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