Reunión WEST

La reunión anual del proyecto WEST (TIN2006-15578-C02) se celebrará este año entre el 28 de Septiembre y el 1 de octubre en Valverde de Júcar, Cuenca, más concretamente en La Granja de Gil. Esta reunión también servirá como kick-off del nuevo proyecto TESIS (TIN2009-14312-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 Tiempo Real y Sistemas Concurrentes de la Universidad de Castilla-La Mancha.

Programa de la reunión

Martes 29 de Septiembre

9:00 a 11:00. (Bi)simulations up-to characterise process semantics. Carlos Gregorio.

11:30 a 13:30. A Comparative Study of STOPA and RTPA. Fernando L. Pelayo.

15:30 a 17:30. Testing Semantics for RTPA. Luis Fernando Llana.

18:00 a 20:30. Formal testing from timed finite state machines. Mercedes G. Merayo.

Miércoles 30 de Septiembre

9:00 a 11:00. Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. César Andrés.

11:30 a 13:30. From natural semantics to C: A formal derivation of two STG machines. Alberto de la Encina.

15:30 a 17:30. A Formal Approach to Heuristically Test Restorable Systems. Pablo Rabanal.

18:00 a 20:30. A Hierarchy of Equivalences for Probabilistic Processes. Manuel Núñez.

Jueves 1 de Octubre

9:00 a 11:00. A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. Carlos Molinero.

11:30 a 13:30. Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. Gregorio Díaz.

15:30 a 17:30. Model Checking Techniques applied to the design of Web Services. María-Emilia Cambronero.