Current Ph.D. Students
- Miguel Benito-Parejo: Heuristic approaches to test systems with time information (together with Mercedes G. Merayo)
- Alfredo Ibias: Information Theory and formal approaches to testing (together with Rob Hierons)
Former Ph.D. Students
- 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