BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251024T100000
DTEND;TZID=America/Sao_Paulo:20251024T110000
DTSTAMP:20260408T124505
CREATED:20251023T133039Z
LAST-MODIFIED:20251023T133039Z
UID:10247-1761300000-1761303600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emiliano Cairo
DESCRIPTION:Título: Traducción automática de especificaciones Spectra a Modelos FSP\nDirectores: Hernán Gagliardi\, Sebastián Uchitel\nJurados: Victor Braberman\, Florencia Zanollo \nResumen\nEl problema de la síntesis de controladores consiste en construir automáticamente un sistema correcto por construcción que satisfaga un conjunto de objetivos\, dadas ciertas suposiciones sobre su entorno. Para evaluar un nuevo algoritmo de síntesis composicional implementado en la herramienta desarrollada in-house MTSA\, se necesitaban benchmarks.\nLa colección de especificaciones de Spectra (SYNTECH) era ideal\, pero su modelo de juego era incompatible con el formalismo asincrónico y basado en eventos de MTSA.\nEsta tesis presenta una traducción formal y automatizada. Se propuso un esquema de traducción que mapea de Spectra a un modelo MTSA que preserva la semántica original y se evaluó experimentalmente el rendimiento de la síntesis composicional sobre el benchmark traducido.\nLos resultados fueron mixtos: si bien el enfoque composicional demuestra ser capaz de resolver ciertas clases de problemas que son intratables para el algoritmo monolítico\, su efectividad depende críticamente de la heurística y la arquitectura del problema\, siendo a veces superado por este.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emiliano-cairo/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR