Giles Reger

Towards Safe, Flexible, and Easy Software Compartmentalisation
Lefeuvre, H. (Author), Olivier, P. (Supervisor) & Reger, G. (Supervisor), 1 Aug 2024
Student thesis: Phd

File
AN UNSUPERVISED FRAMEWORK FOR ANALYSING HETEROGENEOUS LOG-FILES TO IDENTIFY MULTI-STAGE ATTACKS
Alghamdi, A. (Author), Reger, G. (Supervisor) & Mu, T. (Supervisor), 1 Aug 2022
Student thesis: Phd

File
Towards Automated Performance Analysis of Programs by Runtime Verification
Dawes, J. (Author), Rydeheard, D. (Supervisor) & Reger, G. (Supervisor), 31 Dec 2021
Student thesis: Phd

File
Applications of Machine Learning to Automated Reasoning
Rawson, M. (Author), Voronkov, A. (Supervisor) & Reger, G. (Supervisor), 31 Dec 2021
Student thesis: Phd

File
SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS
Zheng, S. (Author), Schmidt, R. (Supervisor) & Reger, G. (Supervisor), 31 Dec 2021
Student thesis: Phd

File
Automated Theorem Proving in Higher-Order Logic
Bhayat, A. (Author), Lammich, P. (Supervisor) & Reger, G. (Supervisor), 1 Aug 2021
Student thesis: Phd

File

Supervised Work