PhD Thesis
Latest Completed Theses
Specification and verification of modern security models in Maude
Author: Víctor García Valero. Supervisor: Escobar Román, Santiago (06-JUL-26).
Teaching Model Testing from a Model-Driven Engineering perspective
Author: Felix Cammaerts. Supervisor: Monique Snoeck ; Marín, Beatriz (06-JUL-26).
Advanced Narrowing-Based Symbolic Verification Techniques in Maude
Author: Raúl López Rueda. Supervisor: Escobar Román, Santiago ; Sapiña-Sanchis, Julia (21-MAY-26).
Bug Localization in Software Models in Video Games
Author: Isis Roca Mainer. Supervisor: Pastor López, Oscar (30-APR-26).
Contamination in AI Evaluation
Author: Behzad Mehrbakhsh. Supervisor: Martínez-Plumed, Fernando ; Hernández-Orallo, José (23-APR-26).
Thesis Archive
View All Theses — Explore the complete archive of PhD theses defended at VRAIN.