Reunión TESIS/ESTuDIO

La reunión anual del proyecto TESIS (TIN2009-14312-C02) se celebrará este año entre el 3 de Febrero al 8 de Febrero en la abadía de los templarios, la Alberca, Salamanca. Esta reunión servirá como puesta al día de las líneas de investigación abiertas en el proyecto TESIS, además de ser el kick-off meeting del nuevo proyecto ESTuDIO (TIN2012-36812-C02).
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 Sistemas Concurrentes y Tiempo Real de la Universidad de Castilla-La Mancha.

Programa de la reunión

Lunes 4 de Febrero

Verifying and Comparing Finite State Machines for Systems that have Distributed Interfaces (Rob Hierons).
ROSA Analyser: An automatized approach to analyse processes of ROSA (Fernando López Pelayo).

Martes 5 de Febrero

Probabilistic Software Product Lines (Luis Llana).
Passive Testing of Timed Systems with Timeouts (Mercedes G. Merayo).
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets (Mº Emilia Cambronero).

Miércoles 6 de Febrero

Formal Testing of Timed and Probabilistic Systems (Manuel Núñez).
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs (Juan José Pardo).

Jueves 7 de Febrero

Testing Interoperability Security Policies (César Andrés).
iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator (Alberto Núñez).