PhD Thesis
Latest Completed Theses
A Semantically Governed and Modular Digital Twin¿MAS Architecture for Explainable and Traceable Industrial Execution
Author: María Gabriela Juárez Juárez. Supervisor: Giret Boggino, Adriana Susana; Botti V. (03-SEP-26).
ANALYSIS OF SUSTAINABLE-BASED COMMUNICATION FOR TOURISM ENHANCEMENT IN BUKHARA (UZBEKISTAN) BASED ON ITS CULTURAL TOURISM
Author: Odil Radjabov. Supervisor: Alberola Oltra, Juan Miguel (13-JUL-26).
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: Marín, Beatriz ; Monique Snoeck (06-JUL-26).
Advanced Narrowing-Based Symbolic Verification Techniques in Maude
Author: Raúl López Rueda. Supervisor: Sapiña-Sanchis, Julia ; Escobar Román, Santiago (21-MAY-26).
Bug Localization in Software Models in Video Games
Author: Isis Roca Mainer. Supervisor: Pastor López, Oscar (30-APR-26).
Thesis Archive
View All Theses — Explore the complete archive of PhD theses defended at VRAIN.