Producción por año
Producción por año
Resultados de la búsqueda
-
2024
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Olarte, C., Ramírez, C., Rocha, C. & Valencia, F., 2024, Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers. Ogata, K. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 104-123 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14953 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
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).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
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).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva