Modelos Formales para la descripción de sistemas concurrentes:

- Algebras de Procesos
- Redes de Petri
- Autómatas temporizados

Sistemas de tiempo real

- Analisis, diseño e implementación de sistemas de tiempo real
- Modelos temporizados, probabilísticos y con prioridades
- Evaluación de rendimientos

Aplicación de métodos formales al diseño de Servicios Web

- Composición de Servicios Web
- Coreografías de Servicios Web
- Transformación de modelos

Real-Time and Concurrent Systems Group: ReTiCS