Timed Automata for Security of Real-Time Systems
PhD defence by Panagiotis Vasilikos, Tuesday 26 November 2019 at 13:00, DTU Lyngby, Building 324, Room 240
Supervisors
Principal supervisor: Professor Hanne Riis Nielson, DTU Compute
Co supervisor: Professor Flemming Nielson, DTU Compute
Examiners
Associate Professor Michael R. Hansen, DTU Compute
Professor Luca Viganò, Kings College London
Professor Luca Aceto, Reykjavik University/Gran Sasso Science Institue, L’Aquila
Chairperson at defence
Associate Professor Alberto Lluch Lafuente, DTU Compute