Joan S. Betancourt

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Social Networks

Formal Verification

Top Venues

Publications

Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz
Formal Verification of a Mechanical Ventilator using UPPAAL. FTSCS (2023)
Joan S. Betancourt, Jesús Aranda, Juan Fco. Díaz, Frank Valencia
Fairness and Consensus in a Gossip Model of Social Networks. CoRR (2023)