Doctoral theses
03/03/2023
Certificates for Decision Problems in Temporal Logic using Context-Based Tableaux and Sequent Calculi
Alex Abuin Yepes
See summary
30/09/2022
Novel approaches for IoT and Embedded Device Fuzzing and its Evaluation
Maialen Eceiza Olaizola
See summary
08/09/2022
Cybersecurity Evaluation Methodology based on Metrics for Industrial Embedded Systems
Ángel Longueira Romero
See summary
27/07/2022
Contributions to time series data mining towards the detection of outliers / anomalies
Ane Blázquez
See summary
