Startseite // SnT // People // Maxime Cordy

Dr. Maxime Cordy

Maxime Cordy

Research scientist

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Postadresse Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Büroadresse E 003
Telefon (+352) 46 66 44 9429
Fax (+352) 46 66 44 39429

Maxime CORDY received his PhD degree in 2014 from the University of Namur, Belgium. He has worked as post-doctoral researcher on the fields of software engineering, software quality assurance, model checking and applied artificial intelligence. Maxime joined the Security, Design and Validation group, SerVal, headed by Prof. Yves Le Traon.

Last updated on: Montag, den 07. Januar 2019

powered by

In press

Full Text
See detailKilling Stubborn Mutants with Symbolic Execution
Titcheu Chekam, Thierry; Papadakis, Mike; Cordy, Maxime; Le Traon, Yves

in ACM Transactions on Software Engineering and Methodology (in press)

Top of Page


Full Text
See detailPreventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach
Antoniadis, Nikolaos; Cordy, Maxime; Sifaleras, Angelo; Le Traon, Yves

in Communications in Computer and Information Science (2020, February 15)

Full Text
See detailAdversarial Embedding: A robust and elusive Steganography and Watermarking technique
Ghamizi, Salah; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

Scientific Conference (2020)

Full Text
See detailPandemic Simulation and Forecasting of exit strategies:Convergence of Machine Learning and EpidemiologicalModels
Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Le Traon, Yves; Papadakis, Mike

Report (2020)

Full Text
See detailLoad approximation for uncertain topologies in the low-voltage grid
Mouline, Ludovic; Cordy, Maxime; Le Traon, Yves

in 2020 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) (2020)

Top of Page


Full Text
See detailTowards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction
Amand, Benoit; Cordy, Maxime; Heymans, Patrick; Acher, Mathieu; Temple, Paul; Jézéquel, Jean-Marc

in Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019, Leuven, Belgium, February 06-08, 2019 (2019, February)

See detailProceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation
Arcelli, Francesca; Walter, Bartosz; Ampatzoglou, Apostolos; Palomba, Fabio; Perrouin, Gilles; Acher, Mathieu; Cordy, Maxime; Devroey, Xavier

Book published by ACM (2019)

Full Text
See detailA Decade of Featured Transition Systems
Cordy, Maxime; Devroey, Xavier; Legay, Axel; Perrouin, Gilles; Classen, Andreas; Heymans, Patrick; Schobbens, Pierre-Yves; Raskin, Jean-François

in From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019)

Full Text
See detailAutomated evaluation of embedded-system design alternatives
Cordy, Maxime; Lazreg, Sami

in Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019 (2019, September)

Full Text
See detailVerification and abstraction of real-time variability-intensive systems
Cordy, Maxime; Legay, Axel

in International Journal on Software Tools for Technology Transfer (2019), 21(6), 635-649

Full Text
See detailTowards sampling and simulation-based analysis of featured weighted automata
Cordy, Maxime; Legay, Axel; Lazreg, Sami; Collet, Philippe

in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May)

Full Text
See detailSearch-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems
Cordy, Maxime; Muller, Steve; Papadakis, Mike; Le Traon, Yves

in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)

Full Text
See detailAutomated Search for Configurations of Deep Neural Network Architectures
Ghamizi, Salah; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

in Automated Search for Configurations of Convolutional Neural Network Architectures (2019)

Full Text
See detailMultifaceted automated analyses for variability-intensive embedded systems
Lazreg, Sami; Cordy, Maxime; Collet, Philippe; Heymans, Patrick; Mosser, Sébastien

in Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019, May)

Full Text
See detailTowards context-aware automated writing evaluation systems
Patout, Pierre-André; Cordy, Maxime

in Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019 (2019, August 26)

Full Text
See detailUniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Plazar, Quentin; Acher, Mathieu; Perrouin, Gilless; Devroey, Xavier; Cordy, Maxime

in 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019 (2019)

Top of Page


Full Text
See detailEnabling lock-free concurrent workers over temporal graphs composed of multiple time-series
Fouquet, Francois; Hartmann, Thomas; Mosser, Sébastien; Cordy, Maxime

in 33rd Annual ACM Symposium on Applied Computing (SAC'18) (2018, April)

Full Text
See detailTUNA: TUning Naturalness-based Analysis
Jimenez, Matthieu; Cordy, Maxime; Le Traon, Yves; Papadakis, Mike

in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)

Full Text
See detailOn the impact of tokenizer and parameters on N-gram based Code Analysis
Jimenez, Matthieu; Cordy, Maxime; Le Traon, Yves; Papadakis, Mike

Scientific Conference (2018, September)

Full Text
See detailAre mutants really natural? A study on how “naturalness” helps mutant selection
Jimenez, Matthieu; Titcheu Chekam, Thierry; Cordy, Maxime; Papadakis, Mike; Kintis, Marinos; Le Traon, Yves; Harman, Mark

in Proceedings of 12th International Symposium on 
 Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)

Top of Page


Full Text
See detailOn the Naturalness of Mutants
Jimenez, Matthieu; Cordy, Maxime; Kintis, Marinos; Titcheu Chekam, Thierry; Le Traon, Yves; Papadakis, Mike

E-print/Working paper (2017)

Top of Page