Search
Now showing items 1-3 of 3
Asimilación de datos por ensambles y tratamiento de errores: aplicaciones en modelos epidemiológicos
(2022-07)
En esta tesis abordamos uno de los desafíos principales dentro de la disciplina de la asimilación de datos: la especificación de las incertezas inherentes al modelo y a las observaciones en los sistemas parcialmente ...
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
(2022-09)
En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ...
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)
La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...