Thesis defence

Engineering Instrumentation for Runtime Verification and Monitoring

Modelling, Runtime Analysis and Quantitative Verification of Business Processes

Specification-based Intrusion Detection for hybrid Industrial control systems

Deep Learning for Numerical Simulation at Scale

Expert evaluation of a computer-aided creative translation scenario: A translation studies perspective on human-adapted literary machine translation and its ethical and societal implications

Model Architectures and Training Techniques for Multilingual Speech-to-Text Translation

Strengthening Domain Name Abuse Remediation: Domain Classification and Blocklist Enhancement

Comprendre et concevoir l’interaction par microgeste

Planification et ordonnancement de la maintenance conditionnée par la santé de l'équipement

Stratégies pour l'opération et le dimensionnement des centres de données cloud à faible émission de carbone