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: Monique Snoeck ; Marín, Beatriz (06-JUL-26). [View Thesis]

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). [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: Hernández-Orallo, José ; Martínez-Plumed, Fernando (23-APR-26). [View Thesis]