Latest completed PhD Thesis

MARPa: a software Modelling Assistance and Requirement Pattern-based method for Low-Code/No-Code Software Development

Author: José David Mosquera Tobón

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

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). [View 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: Escobar Román, Santiago ; Sapiña-Sanchis, Julia (21-MAY-26). [View Thesis]