| 2026 | AAAI | On the Evaluation of Capability Estimation Methods for Large Language Models. | Qiang Hu, Jin Wen, Yao Zhang, Maxime Cordy, Yongqiang Lyu |
| 2026 | ACL | S2ST-Omni: Hierarchical Language-Aware SpeechLLM Adaptation for Multilingual Speech-to-Speech Translation. | Yu Pan, Xiongfei Wu, Yuguang Yang, Jixun Yao, Maxime Cordy, Lei Ma, Jianjun Zhao |
| 2026 | FASE | DivKC: A Divide-and-Conquer Approach to Knowledge Compilation. | Olivier Zeyen, Karim Tit, Maxime Cordy, Gilles Perrouin |
| 2025 | SPLC | Performance Prediction of Cyber-Physical Systems Product Lines in Dynamic Environments. | Marco Wijaya, Sami Lazreg, Tagir Fabarisov, Andreas Hein, Maxime Cordy |
| 2025 | SPLC | Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions. | Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher |
| 2024 | ICLR | How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. | Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia |
| 2024 | ICMLC | Deep Generative Models as an Adversarial Attack Strategy for Tabular Machine Learning. | Salijona Dyrmishi, Mihaela Catalina Stoian, Eleonora Giunchiglia, Maxime Cordy |
| 2024 | ICSE | SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. | Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2024 | ICSE | Daedalux: An Extensible Platform for Variability-Aware Model Checking. | Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay |
| 2024 | ICSE | Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. | Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher |
| 2023 | AAAI | On Evaluating Adversarial Robustness of Chest X-ray Classification. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2023 | ACL | How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. | Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy |
| 2023 | CAIN | Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. | Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon |
| 2023 | FASE | ACoRe: Automated Goal-Conflict Resolution. | Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | GECCO | Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. | Matas Brizzio, Maxime Cordy, Mike Papadakis, Csar Snchez, Nazareno Aguirre, Renzo Degiovanni |
| 2023 | ICML | GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. | Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon |
| 2023 | ICSE | Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. | Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon |
| 2023 | ICSE | CodeS: Towards Code Model Generalization Under Distribution Shift. | Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon |
| 2023 | ICST | MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. | Jaime Cuartas, Jess Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens |
| 2023 | ISSRE | Enabling Efficient Assertion Inference. | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
| 2023 | SP | On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. | Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy |
| 2023 | SPLC | Family-based model checking of fMultiLTL properties. | Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay |
| 2022 | AAAI | Adversarial Robustness in Multi-Task Learning: Promises and Illusions. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2022 | CAIN | Robust active learning: sample-efficient training of robust deep learning models. | Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2022 | CAIN | Influence-driven data poisoning in graph-based semi-supervised classifiers. | Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon |
| 2022 | ECCV | LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. | Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen |
| 2022 | IJCAI | A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. | Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon |
| 2022 | ICSE | FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. | Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman |
| 2022 | ICST | A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. | Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon |
| 2022 | ISoLA | Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. | Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay |
| 2022 | ISoLA | Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. | Sami Lazreg, Maxime Cordy, Axel Legay |
| 2022 | MSR | GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. | Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon |
| 2022 | UAI | Efficient and transferable adversarial examples from bayesian neural networks. | Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen |
| 2021 | MSR | A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. | Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon |
| 2021 | SPLC | BURST: a benchmarking platform for uniform random sampling techniques. | Mathieu Acher, Gilles Perrouin, Maxime Cordy |
| 2020 | FASE | Statistical Model Checking for Variability-Intensive Systems. | Maxime Cordy, Mike Papadakis, Axel Legay |
| 2020 | ICSE | FeatureNET: diversity-driven generation of deep learning models. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2020 | KDD | Data-driven Simulation and Optimization for Covid-19 Exit Strategies. | Salah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber, Tegawend F. Bissyand, Mike Papadakis, Jacques Klein, Yves Le Traon |
| 2020 | SPLC | Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. | Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay |
| 2019 | ICSE | Towards sampling and simulation-based analysis of featured weighted automata. | Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet |
| 2019 | ICSE | Multifaceted automated analyses for variability-intensive embedded systems. | Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sbastien Mosser |
| 2019 | ICST | Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? | Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy |
| 2019 | ISSTA | Search-based test and improvement of machine-learning-based anomaly detection systems. | Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon |
| 2019 | SPLC | Automated evaluation of embedded-system design alternatives. | Maxime Cordy, Sami Lazreg |
| 2019 | SPLC | Automated search for configurations of convolutional neural network architectures. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2018 | ESEM | Are mutants really natural?: a study on how "naturalness" helps mutant selection. | Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman |
| 2018 | IUI | On Studying Bad Practices in Configuration UIs. | Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans |
| 2018 | IUI | Representing Repairs in Configuration Interfaces: A Look at Industrial Practices. | Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans |
| 2018 | SAC | Engineering configurators for the retail industry: experience report and challenges ahead. | Maxime Cordy, Patrick Heymans |
| 2018 | SAC | Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series. | Franois Fouquet, Thomas Hartmann, Sbastien Mosser, Maxime Cordy |
| 2017 | NLDB | Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering. | Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans |
| 2017 | SOFSEM | On Featured Transition Systems. | Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2017 | SPLC | Testing Variability-Intensive Systems. | Gilles Perrouin, Xavier Devroey, Maxime Cordy |
| 2016 | EICS | Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators. | Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans |
| 2015 | ICST | State machine flattening, a mapping study and tools assessment. | Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans |
| 2015 | RE | Using fuzzy modeling for consistent definitions of product qualities in requirements. | Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher |
| 2015 | SPLC | All-at-once-synthesis of controllers from scenario-based product line specifications. | Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans |
| 2014 | ISoLA | Coverage Criteria for Behavioural Testing of Software Product Lines. | Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2014 | SPLC | An extensible platform for product-line behavioural analysis. | Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens |
| 2013 | ICSE | A framework for the rigorous design of highly adaptive timed systems. | Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez |
| 2013 | ICSE | Beyond boolean product-line model checking: dealing with feature attributes and multi-features. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2013 | ICSE | Efficient quality assurance of variability-intensive systems. | Patrick Heymans, Axel Legay, Maxime Cordy |
| 2013 | SPLC | ProVeLines: a product line of verifiers for software product lines. | Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2012 | ICSE | Simulation-based abstractions for software product-line model checking. | Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | ISoLA | A Vision for Behavioural Model-Driven Validation of Software Product Lines. | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry |
| 2012 | RE | Efficient consistency checking of scenario-based product-line specifications. | Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans |
| 2012 | SPLC | Behavioural modelling and verification of real-time software product lines. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | SPLC | Towards an incremental automata-based approach for software product-line model checking. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |