Research |
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