Jimenez, Matthieu ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Cordy, Maxime ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kintis, Marinos ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Titcheu Chekam, Thierry ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Le Traon, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Papadakis, Mike ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC)