Search
Now showing items 11-20 of 26
Construcción de programas que manejan dinámicamente la memoria
(2015-08-06)
En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para ...
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
(2010-03)
En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante ...
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 ...
Análisis e integración de información de datos biológicos mediante análisis funcional
(2019-09)
El análisis funcional refiere a un conjunto de técnicas que tienen como fin detectar aquellas funciones o procesos que se encuentran desregulados en un experimento biológico. Con el continuo avance en las tecnologías de ...
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, ...
Biortogonalidad para corrección de compiladores y adecuación computacional
(2019)
En esta tesis hemos estudiado en profundidad los métodos de biortogonalidad y step-indexing para probar tanto adecuación computacional como corrección de compiladores. Un primer aporte es la prueba de corrección de una ...
Mutación de expresiones de navegación para testing y reparación
(2018-11)
Evaluar la calidad de un conjunto de tests con respecto a su capacidad de detectar potenciales bugs
representa un área muy importante en la ingeniería de software. Métricas indirectas para la medición
de este potencial ...
Estudio de métodos semisupervisados para la desambiguación de sentidos verbales del español
(2018)
Esta tesis explora el uso de técnicas semisupervisadas para la desambigación de sentidos verbales del español. El objetivo es el estudio de como la información de datos no etiquetados, que son mayores en tamaño, puede ...
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
(2020-06)
En la actualidad la tolerancia a fallas cada vez adquiere mayor importancia, debido a que cada día hay más sistemas críticos en donde es necesario garantizar cierto comportamiento deseado aún ante la ocurrencia ocasional ...