- Natalia López: Semantics for Non-Markovian models
- Ismael Rodríguez: PAMR: Syntax, semantics, and applications
- Mercedes G. Merayo: Testing of temporal and probabilistic systems (together with Rob Hierons)
- César Andrés: Active and passive testing of timed and probabilistic systems (together with Mercedes G. Merayo)
- Carlos Molinero: Two applications of formal methods to the development and testing of complex systems