Profil

CORDY Maxime

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

Main Referenced Co-authors
LE TRAON, Yves  (35)
PAPADAKIS, Michail  (32)
GHAMIZI, Salah  (14)
JIMENEZ, Matthieu  (6)
Legay, Axel (6)
Main Referenced Keywords
Deep Learning (3); deep learning (3); Machine Learning (2); Naturalness (2); Software Testing (2);
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 (3)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other (2)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) (1)
ULHPC - University of Luxembourg: High Performance Computing (1)
Main Referenced Disciplines
Computer science (53)
Aerospace & aeronautics engineering (1)
Electrical & electronics engineering (1)
Radiology, nuclear medicine & imaging (1)
Mathematics (1)

Publications (total 55)

The most downloaded
813 downloads
Haben, G., Habchi, S., Papadakis, M., Cordy, M., & Le Traon, Y. (2021). A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. In 18th International Conference on Mining Software Repositories. doi:10.1109/MSR52588.2021.00034 https://hdl.handle.net/10993/46924

The most cited

43 citations (Scopus®)

Plazar, Q., Acher, M., Perrouin, G., Devroey, X., & Cordy, M. (2019). Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019 (pp. 240-251). doi:10.1109/ICST.2019.00032 https://hdl.handle.net/10993/42033

Hu, Q., Guo, Y., Xie, X., Cordy, M., Ma, W., Papadakis, M., & Le Traon, Y. (2023). Evaluating the Robustness of Test Selection Methods for Deep Neural Networks. preprint.

Gubri, M., Cordy, M., & Le Traon, Y. (2023). Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/55436.

Dyrmishi, S., Ghamizi, S., & Cordy, M. (2023). How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics.
Peer reviewed

Dyrmishi, S., Ghamizi, S., Simonetto, T. J. A., Le Traon, Y., & Cordy, M. (2023). On the empirical effectiveness of unrealistic adversarial hardening against realistic adversarial attacks. In Conference Proceedings 2023 IEEE Symposium on Security and Privacy (SP) (pp. 1384-1400). IEEE. doi:10.1109/SP46215.2023.00049
Peer reviewed

Carvalho, L., DEGIOVANNI, R. G., Brizzio, M. A., CORDY, M., Aguirre, N., LE TRAON, Y., & PAPADAKIS, M. (2023). ACoRe: Automated Goal-Conflict Resolution. 26th International Conference on Fundamental Approaches to Software Engineering (FASE), 13991, 3–25. doi:10.1007/978-3-031-30826-0_1
Peer reviewed

Bernier, F., Jimenez, M., Cordy, M., & Le Traon, Y. (2022). Faster and Cheaper Energy Demand Forecasting at Scale. In Has it Trained Yet? Workshop at the Conference on Neural Information Processing Systems.
Peer reviewed

Rana, L., Lazreg, S., Bohlachov, V., Hein, A., & Cordy, M. (October 2022). VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS [Paper presentation]. 10th INTERNATIONAL SYSTEMS & CONCURRENT ENGINEERING FOR SPACE APPLICATIONS CONFERENCE (SECESA 2022).

Habchi, S., Haben, G., Sohn, J., Franci, A., Papadakis, M., Cordy, M., & Le Traon, Y. (2022). What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. In What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. doi:10.1109/ICSME55016.2022.00039
Peer reviewed

Garg, A., Degiovanni, R. G., Jimenez, M., Cordy, M., Papadakis, M., & Le Traon, Y. (2022). Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empirical Software Engineering. doi:10.1007/s10664-022-10197-4
Peer Reviewed verified by ORBi

Ma, W., Zhao, M., Soremekun, E., Hu, Q., Zhang, J. M., Papadakis, M., Cordy, M., Xie, X., & Traon, Y. L. (2022). GraphCode2Vec: generic code embedding via lexical and program dependence analyses. In Proceedings of the 19th International Conference on Mining Software Repositories (pp. 524--536). doi:10.1145/3524842.3528456
Peer reviewed

Khanfir, A., Koyuncu, A., Papadakis, M., Cordy, M., Bissyande, T. F. D. A., Klein, J., & Le Traon, Y. (2022). iBiR: Bug Report driven Fault Injection. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3542946
Peer Reviewed verified by ORBi

Habchi, S., Haben, G., Papadakis, M., Cordy, M., & Le Traon, Y. (2022). A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. In A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. doi:10.1109/ICST53961.2022.00034
Peer reviewed

Ghamizi, S., Garcia Santa Cruz, B., Temple, P., Cordy, M., Perrouin, G., Papadakis, M., & Le Traon, Y. (2022). Towards Generalizable Machine Learning for Chest X-ray Diagnosis with Multi-task learning. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/50815.

Lazreg, S., Bohlachov, V., Rana, L., Hein, A., & Cordy, M. (2022). Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. Proceedings of VAMOS 22. doi:10.1145/3510466.3510472

Hu, Q., Guo, Y., Cordy, M., Xie, X., Ma, L., Papadakis, M., & Le Traon, Y. (2022). An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3511598
Peer reviewed

Ruiz Rodriguez, M. L., Kubler, S., de Giorgio, A., Cordy, M., Robert, J., & Le Traon, Y. (2022). Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines. Robotics and Computer-Integrated Manufacturing. doi:10.1016/j.rcim.2022.102406
Peer reviewed

Gubri, M., Cordy, M., Papadakis, M., Le Traon, Y., & Sen, K. (2022). Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. The 38th Conference on Uncertainty in Artificial Intelligence.
Peer reviewed

Gubri, M., Cordy, M., Papadakis, M., Traon, Y. L., & Sen, K. (2022). LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. In Computer Vision -- ECCV 2022 (pp. 603--618). Springer Nature Switzerland.
Peer reviewed

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2022). Adversarial Robustness in Multi-Task Learning: Promises and Illusions. In Proceedings of the thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). doi:10.1609/aaai.v36i1.19950
Peer reviewed

Simonetto, T. J. A., Dyrmishi, S., Ghamizi, S., Cordy, M., & Le Traon, Y. (2022). A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22 (pp. 1313-1319). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2022/183
Peer reviewed

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2022). On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. In The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI- 23) - SafeAI Workshop, Washington, D.C., Feb 13-14, 2023.
Peer reviewed

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2021). Evasion Attack STeganography: Turning Vulnerability Of Machine Learning ToAdversarial Attacks Into A Real-world Application. Proceedings of International Conference on Computer Vision 2021. doi:10.1109/ICCVW54120.2021.00010
Peer reviewed

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2021). Requirements And Threat Models of Adversarial Attacks and Robustness of Chest X-ray classification. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/48411.

Haben, G., Habchi, S., Papadakis, M., Cordy, M., & Le Traon, Y. (2021). A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. In 18th International Conference on Mining Software Repositories. doi:10.1109/MSR52588.2021.00034
Peer reviewed

Castro, T., Teixeira, L., Alves, V., Apel, S., Cordy, M., & Gheyi, R. (23 April 2021). A Formal Framework of Software Product Line Analyses. ACM Transactions on Software Engineering and Methodology, 30 (3), 1-37. doi:10.1145/3442389
Peer Reviewed verified by ORBi

Ma, W., Papadakis, M., Tsakmalis, A., Cordy, M., & Le Traon, Y. (2021). Test Selection for Deep Learning Systems. ACM Transactions on Software Engineering and Methodology, 30 (2), 13:1--13:22. doi:10.1145/3417330
Peer Reviewed verified by ORBi

Titcheu Chekam, T., Papadakis, M., Cordy, M., & Le Traon, Y. (2021). Killing Stubborn Mutants with Symbolic Execution. ACM Transactions on Software Engineering and Methodology, 30 (2), 19:1--19:23. doi:10.1145/3425497
Peer Reviewed verified by ORBi

Hu, Q., Guo, Y., Cordy, M., Xiaofei, X., Ma, W., Papadakis, M., & Le Traon, Y. (2021). Towards Exploring the Limitations of Active Learning: An Empirical Study. In The 36th IEEE/ACM International Conference on Automated Software Engineering. doi:10.1109/ASE51524.2021.9678672
Peer reviewed

Acher, M., Perrouin, G., & Cordy, M. (2021). BURST: a benchmarking platform for uniform random sampling techniques. In SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B (pp. 36--40). ACM. doi:10.1145/3461002.3473070
Peer reviewed

Cordy, M., Lazreg, S., Papadakis, M., & Legay, A. (2021). Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects of Computing, 33 (6), 1147--1172. doi:10.1007/s00165-021-00563-2
Peer Reviewed verified by ORBi

Mouline, L., Cordy, M., & Le Traon, Y. (2020). Load approximation for uncertain topologies in the low-voltage grid. In INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS, 11-13 November 2020 (pp. 1-6). doi:10.1109/SmartGridComm47815.2020.9302940
Peer reviewed

Basile, D., Ter Beek, M., Cordy, M., & Legay, A. (2020). Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. In SOFTWARE PRODUCT LINE CONFERENCE. doi:10.1145/3382025.3414966
Peer reviewed

Ghamizi, S., Rwemalika, R., Cordy, M., Veiber, L., Bissyande, T. F. D. A., Papadakis, M., Klein, J., & Le Traon, Y. (2020). Data-driven simulation and optimization for covid-19 exit strategies. In S. Ghamizi, R. Rwemalika, M. Cordy, L. Veiber, T. F. D. A. Bissyande, M. Papadakis, J. Klein, ... Y. Le Traon, Data-driven simulation and optimization for covid-19 exit strategies (pp. 3434-3442). New York, NY, United States: Association for Computing Machinery. doi:10.1145/3394486.3412863
Peer reviewed

Cordy, M., Papadakis, M., & Legay, A. (2020). Statistical Model Checking for Variability-Intensive Systems. In FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020.
Peer reviewed

Antoniadis, N., Cordy, M., Sifaleras, A., & Le Traon, Y. (2020). Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach. In Communications in Computer and Information Science (pp. 269-281). Springer, Cham. doi:10.1007/978-3-030-41913-4_22
Peer reviewed

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2020). Adversarial Embedding: A robust and elusive Steganography and Watermarking technique [Paper presentation]. IEEE Symposium on Security and Privacy.

Ghamizi, S., Rwemalika, R., Cordy, M., Le Traon, Y., & Papadakis, M. (2020). Pandemic Simulation and Forecasting of exit strategies:Convergence of Machine Learning and EpidemiologicalModels. University of Luxembourg.

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2020). FeatureNET: Diversity-driven Generation of Deep Learning Models. In International Conference on Software Engineering (ICSE). doi:10.1145/3377812.3382153
Peer reviewed

Ghamizi, S., Cordy, M., Gubri, M., Papadakis, M., Boystov, A., Le Traon, Y., & Goujon, A. (2020). Search-based adversarial testing and improvement of constrained credit scoring systems. In ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20), November 8-13, 2020.
Peer reviewed

Cordy, M., & Legay, A. (December 2019). Verification and abstraction of real-time variability-intensive systems. International Journal on Software Tools for Technology Transfer, 21 (6), 635-649. doi:10.1007/s10009-019-00537-z
Peer Reviewed verified by ORBi

Cordy, M., & Lazreg, S. (2019). Automated evaluation of embedded-system design alternatives. In Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019 (pp. 52:1).
Peer reviewed

Patout, P.-A., & Cordy, M. (2019). Towards context-aware automated writing evaluation systems. 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 (pp. 17-20).
Peer reviewed

Lazreg, S., Cordy, M., Collet, P., Heymans, P., & Mosser, S. (2019). Multifaceted automated analyses for variability-intensive embedded systems. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (pp. 854-865).
Peer reviewed

Cordy, M., Legay, A., Lazreg, S., & Collet, P. (2019). Towards sampling and simulation-based analysis of featured weighted automata. In Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (pp. 61-64). doi:10.1109/FormaliSE.2019.00015
Peer reviewed

Amand, B., Cordy, M., Heymans, P., Acher, M., Temple, P., & Jézéquel, J.-M. (2019). Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019, Leuven, Belgium, February 06-08, 2019 (pp. 7:1-7:9). doi:10.1145/3302333.3302338
Peer reviewed

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P.-Y., & Raskin, J.-F. (2019). A Decade of Featured Transition Systems. In From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (pp. 285-312). doi:10.1007/978-3-319-51963-0_35
Peer reviewed

Plazar, Q., Acher, M., Perrouin, G., Devroey, X., & Cordy, M. (2019). Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019 (pp. 240-251). doi:10.1109/ICST.2019.00032
Peer reviewed

Arcelli, F., Walter, B., Ampatzoglou, A., Palomba, F., Perrouin, G., Acher, M., Cordy, M., & Devroey, X. (Eds.). (2019). Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation. ACM.

Ghamizi, S., Cordy, M., Papadakis, M., & Le Traon, Y. (2019). Automated Search for Configurations of Deep Neural Network Architectures. In Automated Search for Configurations of Convolutional Neural Network Architectures. doi:10.1145/3336294.3336306
Peer reviewed

Cordy, M., Muller, S., Papadakis, M., & Le Traon, Y. (2019). Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems. In ACM SIGSOFT International Symposium on Software Testing and Analysis. doi:10.1145/3293882.3330580
Peer reviewed

Jimenez, M., Titcheu Chekam, T., Cordy, M., Papadakis, M., Kintis, M., Le Traon, Y., & Harman, M. (2018). Are mutants really natural? A study on how “naturalness” helps mutant selection. Proceedings of 12th International Symposium on 
 Empirical Software Engineering and Measurement (ESEM'18). doi:10.1145/3239235.3240500
Peer reviewed

Jimenez, M., Cordy, M., Le Traon, Y., & Papadakis, M. (2018). TUNA: TUning Naturalness-based Analysis. In 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018.
Peer reviewed

Jimenez, M., Cordy, M., Le Traon, Y., & Papadakis, M. (September 2018). On the impact of tokenizer and parameters on N-gram based Code Analysis [Paper presentation]. 34th IEEE International Conference on Software Maintenance and Evolution (ICSME'18), Madrid, Spain.

Fouquet, F., Hartmann, T., Mosser, S., & Cordy, M. (2018). Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series. In 33rd Annual ACM Symposium on Applied Computing (SAC'18). doi:10.1145/3167132.3167255
Peer reviewed

Jimenez, M., Cordy, M., Kintis, M., Titcheu Chekam, T., Le Traon, Y., & Papadakis, M. (2017). On the Naturalness of Mutants. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/35014.

Contact ORBilu