Content available in repository
Content available in repository
Fingerprint
Dive into the research topics where Joan Sebastian Betancourt Arias is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems
Cuartas, J., Cortés, D., Betancourt, S., Aranda, J., Cordy, M., Ortiz, J. (Corresponding author), Perrouin, G. & Schobbens, P.-Y., Jan 2025, In: Software Testing, Verification and Reliability. 35, 1, 21 p., e1907.Research output: Contribution to journal › Special issue › Academic › peer-review
-
On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK
Betancourt, S. (Corresponding author) & Castiglioni, V., 2 Jun 2025, Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings. Leuschel, M. & Ishikawa, F. (eds.). Cham: Springer, p. 269-287 19 p. (Lecture Notes in Computer Science (LNCS); vol. 15728).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile161 Downloads (Pure) -
Fairness and Consensus in an Asynchronous Opinion Model for Social Networks
Aranda, J., Betancourt, S., Díaz, J. F. & Valencia, F. D., Sept 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 311).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile6 Link opens in a new tab Citations (Scopus)3 Downloads (Pure)
Courses
-
Automata and Formal Languages
Erkens, R., Spronck, M. S. C., Bartels, M., Betancourt Arias, J. S., Liem, E., Keiren, J. J. A., Bloo, R., Škorić, B., den Hartog, J. I. & van de Glind, K. 1/09/24 → 31/08/27
Course
-
Computer Systems
Watkins, A., Bunte, O., Groote, J. F., Betancourt Arias, J. S., Erkens, R. & Costa Martins, E. J. 1/09/09 → 31/08/27
Course
-
Logic and Set Theory
Luttik, S. P., Erkens, R., Bloo, R., de Vink, E. P., Castiglioni, V., Betancourt Arias, J. S., Roeloffzen, M. J. M., van Krieken, T. M. K. & Spronck, M. S. C. 1/09/12 → 31/08/27
Course