Research lines

Formal models for the description of concurrent systems:

- Process algebras
- Petri nets
- Timed automata

Real-Time systems

- Analysis, design and implementation of real-time systems
- Timed, probabilistic and prioritized models
- Performance evaluation

Application of formal methods to Web Services design

- Composite Web Services
- Web Services choreographies
- Model transformation


 Research group

Real-Time and Concurrent Systems Group: ReTiCS