Dr. Maxime Cordy
|
|
||||
| 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 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 9429 | ||||
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
2022
Faster and Cheaper Energy Demand Forecasting at Scale; ; ;
in Has it Trained Yet? Workshop at the Conference on Neural Information Processing Systems (2022, December 02)
Learning from what we know: How to perform vulnerability prediction using noisy historical data; ; ; ; ;
in Empirical Software Engineering (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 (2022)
Adversarial Robustness in Multi-Task Learning: Promises and Illusions; ; ;
in Proceedings of the thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22) (2022)
Towards Generalizable Machine Learning for Chest X-ray Diagnosis with Multi-task learning; ; ; ; ; ;
E-print/Working paper (2022)
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks; ; ; ;
in The 38th Conference on Uncertainty in Artificial Intelligence (2022)
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity; ; ; ;
in Computer Vision -- ECCV 2022 (2022)
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement; ; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
iBiR: Bug Report driven Fault Injection; ; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions; ; ; ;
in Proceedings of VAMOS 22 (2022, February)
GraphCode2Vec: generic code embedding via lexical and program dependence analyses; ; ; ; ; ; ; ;
in Proceedings of the 19th International Conference on Mining Software Repositories (2022, May 22)
VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS; ; ; ;
Scientific Conference (2022, October)
Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines; ; ; ; ;
in Robotics and Computer-Integrated Manufacturing (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 (2022)
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 (2021)
A Formal Framework of Software Product Line Analyses; ; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(3), 1-37
Statistical model checking for variability-intensive systems: applications to bug detection and minimization; ; ;
in Formal Aspects of Computing (2021), 33(6), 1147--1172
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning ToAdversarial Attacks Into A Real-world Application; ; ;
in Proceedings of International Conference on Computer Vision 2021 (2021)
Requirements And Threat Models of Adversarial Attacks and Robustness of Chest X-ray classification; ; ;
E-print/Working paper (2021)
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests; ; ; ;
in 18th International Conference on Mining Software Repositories (2021, May)
Towards Exploring the Limitations of Active Learning: An Empirical Study; ; ; ; ; ;
in The 36th IEEE/ACM International Conference on Automated Software Engineering. (2021)
Test Selection for Deep Learning Systems; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 131--1322
Killing Stubborn Mutants with Symbolic Execution; ; ;
in ACM Transactions on Software Engineering and Methodology (2021), 30(2), 191--1923
2020
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach; ; ;
in Communications in Computer and Information Science (2020, February 15)
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing; ; ;
in SOFTWARE PRODUCT LINE CONFERENCE (2020, October)
Statistical Model Checking for Variability-Intensive Systems; ;
in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 (2020, April)
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 (2020)
FeatureNET: Diversity-driven Generation of Deep Learning Models; ; ;
in International Conference on Software Engineering (ICSE) (2020)
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique; ; ;
Scientific Conference (2020)
Data-driven simulation and optimization for covid-19 exit strategies; ; ; ; ; ; ;
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)
Load approximation for uncertain topologies in the low-voltage grid; ;
in INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS, 11-13 November 2020 (2020, November)
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 (2019, February)
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation; ; ; ; ; ; ;
Book published by ACM (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 (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 (2019, September)
Verification and abstraction of real-time variability-intensive systems;
in International Journal on Software Tools for Technology Transfer (2019), 21(6), 635-649
Towards sampling and simulation-based analysis of featured weighted automata; ; ;
in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May)
Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems; ; ;
in ACM SIGSOFT International Symposium on Software Testing and Analysis (2019)
Automated Search for Configurations of Deep Neural Network Architectures; ; ;
in Automated Search for Configurations of Convolutional Neural Network Architectures (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 (2019, May)
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 (2019, August 26)
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 (2019)
2018
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series; ; ;
in 33rd Annual ACM Symposium on Applied Computing (SAC'18) (2018, April)
TUNA: TUning Naturalness-based Analysis; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)
On the impact of tokenizer and parameters on N-gram based Code Analysis; ; ;
Scientific Conference (2018, September)
Are mutants really natural? A study on how “naturalness” helps mutant selection; ; ; ; ; ;
in Proceedings of 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)
2017
