Dr. Maxime Cordy

Maxime Cordy

Research scientist

Faculté ou Centre Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Adresse postale Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Bureau sur le campus E 003
E-mail
Téléphone (+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: lundi 07 janvier 2019

powered by
orbilu.uni.lu

Sous presse

Full Text
See detailA Formal Framework of Software Product Line Analyses
Castro, Thiago; Teixeira, Leopoldo; Alves, Vander; Apel, Sven; Cordy, Maxime; Gheyi, Rohit

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

Top of Page

2021

Full Text
See detailEvasion Attack STeganography: Turning Vulnerability Of Machine Learning ToAdversarial Attacks Into A Real-world Application
Ghamizi, Salah; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

in Proceedings of International Conference on Computer Vision 2021 (2021)

Full Text
See detailRequirements And Threat Models of Adversarial Attacks and Robustness of Chest X-ray classification
Ghamizi, Salah; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

E-print/Working paper (2021)

Full Text
See detailA Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests
Haben, Guillaume; Habchi, Sarra; Papadakis, Mike; Cordy, Maxime; Le Traon, Yves

in 18th International Conference on Mining Software Repositories (2021, May)

Full Text
See detailTowards Exploring the Limitations of Active Learning: An Empirical Study
Hu, Qiang; Guo, Yuejun; Cordy, Maxime; Xiaofei, Xie; Ma, Wei; Papadakis, Mike; Le Traon, Yves

in The 36th IEEE/ACM International Conference on Automated Software Engineering. (2021)

Full Text
See detailTest Selection for Deep Learning Systems
Ma, Wei; Papadakis, Mike; Tsakmalis, Anestis; Cordy, Maxime; Le Traon, Yves

in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 131--1322

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 (2021), 30(2), 191--1923

Top of Page

2020

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 detailTackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing
Basile, Davide; Ter Beek, Maurice; Cordy, Maxime; Legay, Axel

in SOFTWARE PRODUCT LINE CONFERENCE (2020, October)

Full Text
See detailStatistical Model Checking for Variability-Intensive Systems
Cordy, Maxime; Papadakis, Mike; Legay, Axel

in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 (2020, April)

See detailLearning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach
Garg, Aayush; Degiovanni, Renzo Gaston; Jimenez, Matthieu; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

E-print/Working paper (2020)

Full Text
See detailSearch-based adversarial testing and improvement of constrained credit scoring systems
Ghamizi, Salah; Cordy, Maxime; Gubri, Martin; Papadakis, Mike; Boystov, Andrey; Le Traon, Yves; Goujon, Anne

in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20), November 8-13, 2020 (2020)

Full Text
See detailFeatureNET: Diversity-driven Generation of Deep Learning Models
Ghamizi, Salah; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

in International Conference on Software Engineering (ICSE) (2020)

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 detailData-driven simulation and optimization for covid-19 exit strategies
Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Veiber, Lisa; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Klein, Jacques; Le Traon, Yves

in Ghamizi, Salah; Rwemalika, Renaud; Cordy, Maxime; Veiber, Lisa; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Klein, Jacques; Le Traon, Yves (Eds.) Data-driven simulation and optimization for covid-19 exit strategies (2020, August)

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

in INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS, 11-13 November 2020 (2020, November)

Top of Page

2019

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

2018

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

2017

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