Reunión TESIS

La reunión anual del proyecto TESIS (TIN2009-14312-C02) se celebrará este año entre el 19 de Septiembre al 22 de Septiembre Esta reunión servirá como puesta al día de las líneas de investigación recientemente abiertas en el proyecto TESIS.
Al igual que reuniones anteriores, esta reunión es una gran oportunidad para dar a conocer las más recientes investigaciones de los integrantes del proyecto, de forma que se puedan producir los esperados efectos sinérgicos entre las distintas líneas de investigación que se desarrollan en el seno de los dos grupos de investigación que constituyen el proyecto: El grupo de Testing y Evaluación del Rendimiento de la Universidad Complutense de Madrid y el grupo de Tiempo Real y Sistemas Concurrentes de la Universidad de Castilla-La Mancha.

Programa de la reunión

Lunes 19 de Septiembre

Validation and verification of Web services choreographies by using timed automata (María-Emilia Cambronero y Gregorio Díaz).

Martes 20 de Septiembre

Compression Strategies for Passive Testing (César Andrés y Luis Llana).

Miércoles 21 de Septiembre

Testing timed systems modeled by Stream X-machines (Rob Hierons, Manuel Núñez y Mercedes G. Merayo).