CORDY Maxime
University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal
- 0000-0001-8312-1358
Main Referenced Co-authors
Main Referenced Keywords
Software (15);
Boolean formulae (5);
machine learning (5);
Mutation testing (5);
Configurable systems (4);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal) (11)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SerVal - Security, Reasoning & Validation (11)
NCER-FT - FinTech National Centre of Excellence in Research (5)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other (3)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) (1)
Main Referenced Disciplines
Computer science (108)
Aerospace & aeronautics engineering (3)
Energy (2)
Electrical & electronics engineering (1)
Radiology, nuclear medicine & imaging (1)
