Latest completed PhD Thesis

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). [View Thesis]

Specification and verification of modern security models in Maude

Author: Víctor García Valero

Supervisor: Escobar Román, Santiago (06-JUL-26). [View Thesis]

Teaching Model Testing from a Model-Driven Engineering perspective

Author: Felix Cammaerts

Supervisor: Marín, Beatriz ; Monique Snoeck (06-JUL-26). [View Thesis]

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). [View Thesis]

Bug Localization in Software Models in Video Games

Author: Isis Roca Mainer

Supervisor: Pastor López, Oscar (30-APR-26). [View Thesis]

Contamination in AI Evaluation

Author: Behzad Mehrbakhsh

Supervisor: Martínez-Plumed, Fernando ; Hernández-Orallo, José (23-APR-26). [View Thesis]