Carlos Alberto Ramirez Restrepo

Research activity per year

Filter

2023
Statistical Model Checking for P
Durán, F., Pozas, N., Ramírez, C. & Rocha, C., 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-56 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14290 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2022
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
Ramírez Restrepo, C. A. & Pérez, J. A., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 230-250 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations

Research output