Maxime Cordy

212 papers A* 19A 14B 8C 2Misc 3Journal 102Unranked 53
YearRankTypeTitle / Venue / Authors
2026 J jnl
AutoAdapt: On the Application of AutoML for Parameter-Efficient Fine-Tuning of Pre-Trained Code Models.
ACM Trans. Softw. Eng. Methodol.
Amal Akli, Maxime Cordy, Mike Papadakis, Yves Le Traon
2026 J jnl
Can Large Language Models Reason and Optimize Under Constraints?
CoRR
Fabien Bernier, Salah Ghamizi, Pantelis Dogoulis, Maxime Cordy
2026 B conf
DivKC: A Divide-and-Conquer Approach to Knowledge Compilation.
FASE
Olivier Zeyen, Karim Tit, Maxime Cordy, Gilles Perrouin
2026 J jnl
GenCode: A generic data augmentation framework for boosting deep learning-based code understanding.
Empir. Softw. Eng.
Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2026 A* conf
On the Evaluation of Capability Estimation Methods for Large Language Models.
AAAI
Qiang Hu, Jin Wen, Yao Zhang, Maxime Cordy, Yongqiang Lyu
2026 J jnl
One Model, Many Skills: Parameter-Efficient Fine-Tuning for Multitask Code Analysis.
CoRR
Amal Akli, Maxime Cordy, Mike Papadakis, Yves Le Traon
2026 J jnl
SoK: Challenges in Tabular Membership Inference Attacks.
CoRR
Cristina Pêra, Tânia Carvalho, Maxime Cordy, Luís Antunes
2026 J jnl
Software Fairness: An Analysis and Survey.
ACM Comput. Surv.
Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon
2026 J jnl
Variable Renaming-Based Adversarial Test Generation for Code Model: Benchmark and Enhancement.
ACM Trans. Softw. Eng. Methodol.
Jin Wen, Qiang Hu, Yuejun Guo, Maxime Cordy, Yves Le Traon
2025 J jnl
Assessing the Robustness of Test Selection Methods for Deep Neural Networks.
ACM Trans. Softw. Eng. Methodol.
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Lei Ma, Yves Le Traon
2025 J jnl
Boosting source code learning with text-oriented data augmentation: an empirical study.
Empir. Softw. Eng.
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2025 J jnl
Constraint-Guided Prediction Refinement via Deterministic Diffusion Trajectories.
CoRR
Pantelis Dogoulis, Fabien Bernier, Félix Fourreau, Karim Tit, Maxime Cordy
2025 J jnl
Evaluation and Improvement of Test Selection for Large Language Models.
J. Softw. Evol. Process.
Lili Quan, Jin Wen, Qiang Hu, Maxime Cordy, Yuheng Huang, Lei Ma, Xiaohong Li
2025 — conf
Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions.
SPLC (A)
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher
2025 J jnl
Insights on Adversarial Attacks for Tabular Machine Learning via a Systematic Literature Review.
CoRR
Salijona Dyrmishi, Mohamed Djilani, Thibault Simonetto, Salah Ghamizi, Maxime Cordy
2025 — conf
KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections.
ECML/PKDD (10)
Pantelis Dogoulis, Karim Tit, Maxime Cordy
2025 J jnl
KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections.
CoRR
Pantelis Dogoulis, Karim Tit, Maxime Cordy
2025 — conf
Leveraging External Factors in Household-Level Electrical Consumption Forecasting Using Hypernetworks.
ECML/PKDD (10)
Fabien Bernier, Maxime Cordy, Yves Le Traon
2025 J jnl
Leveraging External Factors in Household-Level Electrical Consumption Forecasting using Hypernetworks.
CoRR
Fabien Bernier, Maxime Cordy, Yves Le Traon
2025 J jnl
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems.
Softw. Test. Verification Reliab.
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
2025 J jnl
On the Robustness of Tabular Foundation Models: Test-Time Attacks and In-Context Defenses.
CoRR
Mohamed Djilani, Thibault Simonetto, Karim Tit, Florian Tambon, Paul Récamier, Salah Ghamizi, Maxime Cordy, Mike Papadakis
2025 — conf
Performance Prediction of Cyber-Physical Systems Product Lines in Dynamic Environments.
SPLC (A)
Marco Wijaya, Sami Lazreg, Tagir Fabarisov, Andreas Hein, Maxime Cordy
2025 — ed.
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A, SPLC-A 2025, A Coruña, Spain, September 1-5, 2025
SPLC (A)
Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2025 — ed.
Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B, SPLC-B 2025, A CoruñaSpain, September 1-5, 2025
SPLC (B)
Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner, José Ángel Galindo Duarte, Tao Yue, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez, Jessie Galasso-Carbonnel, José Miguel Horcas, Kevin Feichtinger
2025 J jnl
SafePowerGraph-LLM: Novel Power Grid Graph Embedding and Optimization with Large Language Models.
CoRR
Fabien Bernier, Jun Cao, Maxime Cordy, Salah Ghamizi
2025 J jnl
TRIDENT: Temporally Restricted Inference via DFA-Enhanced Neural Traversal.
CoRR
Vincenzo Collura, Karim Tit, Laura Bussi, Eleonora Giunchiglia, Maxime Cordy
2025 J jnl
Test Time Training for AC Power Flow Surrogates via Physics and Operational Constraint Refinement.
CoRR
Panteleimon Dogoulis, Mohammad Iman Alizadeh, Sylvain Kubler, Maxime Cordy
2025 J jnl
Testing Uniform Random Samplers: Methods, Datasets and Protocols.
CoRR
Olivier Zeyen, Maxime Cordy, Martin Gubri, Gilles Perrouin, Mathieu Acher
2025 J jnl
The Sandbox Configurator: A Framework to Support Technical Assessment in AI Regulatory Sandboxes.
CoRR
Alessio Buscemi, Thibault Simonetto, Daniele Pagani, German Castignani, Maxime Cordy, Jordi Cabot
2025 J jnl
Towards a Framework for Supporting the Ethical and Regulatory Certification of AI Systems.
CoRR
Fabian Kovac, Sebastian Neumaier, Timea Pahi, Torsten Priebe, Rafael Rodrigues, Dimitrios Christodoulou, Maxime Cordy, Sylvain Kubler, Ali Kordia, Georgios Pitsiladis, John Soldatos, Petros Zervoudakis
2025 J jnl
When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions.
CoRR
Maya Larbi, Amal Akli, Mike Papadakis, Rihab Bouyousfi, Maxime Cordy, Federica Sarro, Yves Le Traon
2024 J jnl
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.
IEEE Trans. Software Eng.
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
2024 A* conf
Constrained Adaptive Attack: Effective Adversarial Attack Against Deep Neural Networks for Tabular Data.
NeurIPS
Thibault Simonetto, Salah Ghamizi, Maxime Cordy
2024 J jnl
Constrained Adaptive Attack: Effective Adversarial Attack Against Deep Neural Networks for Tabular Data.
CoRR
Thibault Simonetto, Salah Ghamizi, Maxime Cordy
2024 — conf
Daedalux: An Extensible Platform for Variability-Aware Model Checking.
ICSE Companion
Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
2024 J jnl
Decision Support Model for Time Series Data Augmentation Method Selection.
IEEE Access
Dorian Joubaud, Sylvain Kubler, Raoni Lourenço, Maxime Cordy, Yves Le Traon
2024 Misc conf
Deep Generative Models as an Adversarial Attack Strategy for Tabular Machine Learning.
ICMLC
Salijona Dyrmishi, Mihaela Catalina Stoian, Eleonora Giunchiglia, Maxime Cordy
2024 J jnl
Deep generative models as an adversarial attack strategy for tabular machine learning.
CoRR
Salijona Dyrmishi, Mihaela Catalina Stoian, Eleonora Giunchiglia, Maxime Cordy
2024 J jnl
Enhancing Fault Detection for Large Language Models via Mutation-Based Confidence Smoothing.
CoRR
Qiang Hu, Jin Wen, Maxime Cordy, Yuheng Huang, Xiaofei Xie, Lei Ma
2024 — conf
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions.
ICSE Companion
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher
2024 A* conf
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data.
ICLR
Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia
2024 J jnl
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data.
CoRR
Mihaela Catalina Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia
2024 J jnl
Importance Guided Data Augmentation for Neural-Based Code Understanding.
CoRR
Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao
2024 J jnl
KAPE:
ACM Trans. Softw. Eng. Methodol.
Yuejun Guo, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon
2024 J jnl
LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing.
ACM Trans. Softw. Eng. Methodol.
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon
2024 — conf
On the Impact of Industrial Delays when Mitigating Distribution Drifts: An Empirical Study on Real-World Financial Systems.
DELTA
Thibault Simonetto, Maxime Cordy, Salah Ghamizi, Yves Le Traon, Clément Lefebvre, Andrey Boystov, Anne Goujon
2024 J jnl
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing.
J. Syst. Softw.
Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2024 — conf
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling.
FormaliSE@ICSE
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (A)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (B)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 J jnl
RobustBlack: Challenging Black-Box Adversarial Attacks on State-of-the-Art Defenses.
CoRR
Mohamed Djilani, Salah Ghamizi, Maxime Cordy
2024 J jnl
Robustness Analysis of AI Models in Critical Energy Systems.
CoRR
Pantelis Dogoulis, Matthieu Jimenez, Salah Ghamizi, Maxime Cordy, Yves Le Traon
2024 A* conf
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.
ICSE
Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2024 A* conf
TabularBench: Benchmarking Adversarial Robustness for Tabular Deep Learning in Real-world Use-cases.
NeurIPS
Thibault Simonetto, Salah Ghamizi, Maxime Cordy
2024 J jnl
TabularBench: Benchmarking Adversarial Robustness for Tabular Deep Learning in Real-world Use-cases.
CoRR
Thibault Simonetto, Salah Ghamizi, Maxime Cordy
2024 J jnl
Test Optimization in DNN Testing: A Survey.
ACM Trans. Softw. Eng. Methodol.
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
2024 A* conf
The Importance of Accounting for Execution Failures when Predicting Test Flakiness.
ASE
Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis, Maxime Cordy, Yves Le Traon
2024 J jnl
Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical Study.
Empir. Softw. Eng.
Xueqi Dang, Yinghua Li, Wei Ma, Yuejun Guo, Qiang Hu, Mike Papadakis, Maxime Cordy, Yves Le Traon
2023 B conf
ACoRe: Automated Goal-Conflict Resolution.
FASE
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023 J jnl
ACoRe: Automated Goal-Conflict Resolution.
CoRR
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
2023 J jnl
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models.
CoRR
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
2023 A* conf
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.
ICSE
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon
2023 J jnl
Assertion Inferring Mutants.
CoRR
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
2023 A conf
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
GECCO
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
2023 J jnl
BURST: Benchmarking uniform random sampling techniques.
Sci. Comput. Program.
Mathieu Acher, Gilles Perrouin, Maxime Cordy
2023 J jnl
Boosting Source Code Learning with Data Augmentation: An Empirical Study.
CoRR
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2023 — conf
CodeS: Towards Code Model Generalization Under Distribution Shift.
ICSE (NIER)
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon
2023 J jnl
Constrained Adaptive Attacks: Realistic Evaluation of Adversarial Examples and Robust Training of Deep Neural Networks for Tabular Data.
CoRR
Thibault Simonetto, Salah Ghamizi, Antoine Desjardins, Maxime Cordy, Yves Le Traon
2023 J jnl
DRE: density-based data selection with entropy for adversarial-robust deep learning models.
Neural Comput. Appl.
Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon
2023 A conf
Enabling Efficient Assertion Inference.
ISSRE
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
2023 J jnl
Evaluating the Robustness of Test Selection Methods for Deep Neural Networks.
CoRR
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Yves Le Traon
2023 — conf
Family-based model checking of fMultiLTL properties.
SPLC (A)
Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay
2023 A* conf
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks.
ICML
Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
2023 J jnl
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks.
CoRR
Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon
2023 J jnl
Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability.
CoRR
Martin Gubri, Maxime Cordy, Yves Le Traon
2023 J jnl
Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations.
CoRR
Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon
2023 — conf
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks.
ACL (1)
Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy
2023 J jnl
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks.
CoRR
Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy
2023 — conf
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.
ICSTW
Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
2023 A* conf
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack.
ASE
Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon
2023 J jnl
MaLTeSQuE 2022 Workshop Summary.
ACM SIGSOFT Softw. Eng. Notes
Maxime Cordy, Xiaofei Xie, Bowen Xu, Stamatia Bibi
2023 A conf
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.
SANER
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao
2023 — conf
On Evaluating Adversarial Robustness of Chest X-ray Classification.
SafeAI@AAAI
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2023 A* conf
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks.
SP
Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy
2023 J jnl
The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI.
CoRR
Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
2023 — conf
Towards Strengthening Formal Specifications with Mutation Model Checking.
ESEC/SIGSOFT FSE
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
2023 B conf
Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment.
CAIN
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
2023 J jnl
iBiR: Bug-report-driven Fault Injection.
ACM Trans. Softw. Eng. Methodol.
Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
2022 A conf
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests.
ICST
Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon
2022 A* conf
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space.
IJCAI
Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon
2022 J jnl
A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty.
Int. Trans. Oper. Res.
Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon
2022 A* conf
Adversarial Robustness in Multi-Task Learning: Promises and Illusions.
AAAI
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2022 J jnl
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement.
ACM Trans. Softw. Eng. Methodol.
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Lei Ma, Mike Papadakis, Yves Le Traon
2022 — conf
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept.
ISoLA (1)
Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
2022 — conf
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems.
CPS Summer School, PhD Workshop
Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay
2022 J jnl
Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment.
CoRR
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
2022 J jnl
CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning.
CoRR
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
2022 J jnl
Efficient Testing of Deep Neural Networks via Decision Boundary Analysis.
CoRR
Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon
2022 A conf
Efficient and transferable adversarial examples from bayesian neural networks.
UAI
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022 J jnl
Enhancing Code Classification by Mixup-Based Data Augmentation.
CoRR
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2022 J jnl
Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling.
CoRR
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2022 A* conf
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.
ICSE
Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman
2022 A conf
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses.
MSR
Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon
2022 B conf
Influence-driven data poisoning in graph-based semi-supervised classifiers.
CAIN
Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon
2022 — conf
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.
ECCV (4)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022 J jnl
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.
CoRR
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022 J jnl
Labeling-Free Comparison Testing of Deep Learning Models.
CoRR
Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis, Yves Le Traon
2022 J jnl
Learning from what we know: How to perform vulnerability prediction using noisy historical data.
Empir. Softw. Eng.
Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
2022 J jnl
Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines.
Robotics Comput. Integr. Manuf.
Marcelo Luis Ruiz Rodríguez, Sylvain Kubler, Andrea de Giorgio, Maxime Cordy, Jérémy Robert, Yves Le Traon
2022 J jnl
On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices.
CoRR
Salah Ghamizi, Maxime Cordy, Michail Papadakis, Yves Le Traon
2022 J jnl
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks.
CoRR
Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy
2022 — ed.
Proceedings of the 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2022, Singapore, Singapore, 18 November 2022
MaLTeSQuE@ESEC/SIGSOFT FSE
Maxime Cordy, Xiaofei Xie, Bowen Xu, Stamatia Bibi
2022 B conf
Robust active learning: sample-efficient training of robust deep learning models.
CAIN
Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon
2022 J jnl
Software Fairness: An Analysis and Survey.
CoRR
Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon
2022 J jnl
Static detection of equivalent mutants in real-time model-based mutation testing.
Empir. Softw. Eng.
Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
2022 — conf
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions.
VaMoS
Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein, Maxime Cordy
2022 — conf
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.
ISoLA (3)
Sami Lazreg, Maxime Cordy, Axel Legay
2022 A conf
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness.
ICSME
Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon
2022 J jnl
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness.
CoRR
Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon
2021 J jnl
A Formal Framework of Software Product Line Analyses.
ACM Trans. Softw. Eng. Methodol.
Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi
2021 J jnl
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests.
CoRR
Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon
2021 A conf
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests.
MSR
Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
2021 J jnl
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space.
CoRR
Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon
2021 J jnl
Adversarial Robustness in Multi-Task Learning: Promises and Illusions.
CoRR
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2021 J jnl
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
CoRR
Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
2021 — conf
BURST: a benchmarking platform for uniform random sampling techniques.
SPLC (B)
Mathieu Acher, Gilles Perrouin, Maxime Cordy
2021 J jnl
Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration.
CoRR
Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon
2021 — conf
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world Application.
ICCVW
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2021 J jnl
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses.
CoRR
Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon
2021 J jnl
Killing Stubborn Mutants with Symbolic Execution.
ACM Trans. Softw. Eng. Methodol.
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon
2021 J jnl
MUTEN: Boosting Gradient-Based Adversarial Attacks via Mutant-Based Ensembles.
CoRR
Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon
2021 J jnl
On the Use of Mutation in Injecting Test Order-Dependency.
CoRR
Sarra Habchi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2021 — ed.
Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop, BENEVOL 2020, Luxembourg, December 3-4, 2020.
BENEVOL
Mike Papadakis, Maxime Cordy
2021 J jnl
Robust Active Learning: Sample-Efficient Training of Robust Deep Learning Models.
CoRR
Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon
2021 J jnl
Statistical model checking for variability-intensive systems: applications to bug detection and minimization.
Formal Aspects Comput.
Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay
2021 J jnl
Test Selection for Deep Learning Systems.
ACM Trans. Softw. Eng. Methodol.
Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon
2021 A* conf
Towards Exploring the Limitations of Active Learning: An Empirical Study.
ASE
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon
2020 A* conf
Data-driven Simulation and Optimization for Covid-19 Exit Strategies.
KDD
Salah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon
2020 J jnl
Data-driven Simulation and Optimization for Covid-19 Exit Strategies.
CoRR
Salah Ghamizi, Renaud Rwemalika, Lisa Veiber, Maxime Cordy, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon
2020 J jnl
Effective and Efficient Data Poisoning in Semi-Supervised Learning.
CoRR
Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon
2020 J jnl
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks.
CoRR
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon
2020 — conf
FeatureNET: diversity-driven generation of deep learning models.
ICSE (Companion Volume)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2020 J jnl
IBIR: Bug Report driven Fault Injection.
CoRR
Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
2020 J jnl
Killing Stubborn Mutants with Symbolic Execution.
CoRR
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon
2020 J jnl
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach.
CoRR
Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
2020 — conf
Load approximation for uncertain topologies in the low-voltage grid.
SmartGridComm
Ludovic Mouline, Maxime Cordy, Yves Le Traon
2020 J jnl
MALTESQUE 2019 Workshop Summary.
ACM SIGSOFT Softw. Eng. Notes
Francesca Arcelli Fontana, Gilles Perrouin, Apostolos Ampatzoglou, Mathieu Acher, Bartosz Walter, Maxime Cordy, Fabio Palomba, Xavier Devroey
2020 — conf
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach.
OLA
Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon
2020 — conf
Search-based adversarial testing and improvement of constrained credit scoring systems.
ESEC/SIGSOFT FSE
Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boytsov, Yves Le Traon, Anne Goujon
2020 B conf
Statistical Model Checking for Variability-Intensive Systems.
FASE
Maxime Cordy, Mike Papadakis, Axel Legay
2020 — conf
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.
SPLC (A)
Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
2020 — ed.
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020
VaMoS
Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake
2019 — conf
A Decade of Featured Transition Systems.
From Software Engineering to Formal Methods and Tools, and Back
Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
2019 J jnl
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique.
CoRR
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2019 J jnl
Automated Search for Configurations of Deep Neural Network Architectures.
CoRR
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2019 — conf
Automated evaluation of embedded-system design alternatives.
SPLC (A)
Maxime Cordy, Sami Lazreg
2019 — conf
Automated search for configurations of convolutional neural network architectures.
SPLC (A)
Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon
2019 J jnl
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair.
CoRR
Maxime Cordy, Renaud Rwemalika, Mike Papadakis, Mark Harman
2019 A* conf
Multifaceted automated analyses for variability-intensive embedded systems.
ICSE
Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser
2019 — ed.
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 27, 2019.
MaLTeSQuE@ESEC/SIGSOFT FSE
Francesca Arcelli Fontana, Bartosz Walter, Apostolos Ampatzoglou, Fabio Palomba, Gilles Perrouin, Mathieu Acher, Maxime Cordy, Xavier Devroey
2019 A conf
Search-based test and improvement of machine-learning-based anomaly detection systems.
ISSTA
Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon
2019 J jnl
Test Selection for Deep Learning Systems.
CoRR
Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon
2019 — conf
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction.
VaMoS
Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel
2019 — conf
Towards context-aware automated writing evaluation systems.
EASEAI@ESEC/SIGSOFT FSE
Pierre-André Patout, Maxime Cordy
2019 — conf
Towards sampling and simulation-based analysis of featured weighted automata.
FormaliSE@ICSE
Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet
2019 A conf
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
ICST
Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy
2019 J jnl
Verification and abstraction of real-time variability-intensive systems.
Int. J. Softw. Tools Technol. Transf.
Maxime Cordy, Axel Legay
2018 A conf
Are mutants really natural?: a study on how "naturalness" helps mutant selection.
ESEM
Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman
2018 Misc conf
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series.
SAC
François Fouquet, Thomas Hartmann, Sébastien Mosser, Maxime Cordy
2018 Misc conf
Engineering configurators for the retail industry: experience report and challenges ahead.
SAC
Maxime Cordy, Patrick Heymans
2018 — conf
On Studying Bad Practices in Configuration UIs.
IUI Workshops
Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
2018 A conf
On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis.
ICSME
Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis
2018 — ed.
Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, MASES@ASE 2018, Montpellier, France, September 3, 2018
MASES@ASE
Gilles Perrouin, Mathieu Acher, Maxime Cordy, Xavier Devroey
2018 — conf
Representing Repairs in Configuration Interfaces: A Look at Industrial Practices.
IUI Workshops
Tony Leclercq, Maxime Cordy, Bruno Dumas, Patrick Heymans
2018 A conf
TUNA: TUning Naturalness-Based Analysis.
ICSME
Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis
2017 B conf
On Featured Transition Systems.
SOFSEM
Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2017 J jnl
Statistical prioritization for software product line testing: an experience report.
Softw. Syst. Model.
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017 C conf
Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering.
NLDB
Jean-Marc Davril, Tony Leclercq, Maxime Cordy, Patrick Heymans
2017 — conf
Testing Variability-Intensive Systems.
SPLC (A)
Gilles Perrouin, Xavier Devroey, Maxime Cordy
2016 — conf
Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators.
EnCHIReS@EICS
Tony Leclercq, Jean-Marc Davril, Maxime Cordy, Patrick Heymans
2016 C conf
Counterexample guided abstraction refinement of product-line behavioural models.
Software Engineering
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2015 B conf
All-at-once-synthesis of controllers from scenario-based product line specifications.
SPLC
Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans
2015 — conf
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Software Engineering & Management
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
2015 — conf
Modeling and Verification for Probabilistic Properties in Software Product Lines.
HASE
Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
2015 — conf
State machine flattening, a mapping study and tools assessment.
ICST Workshops
Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2015 — conf
Using fuzzy modeling for consistent definitions of product qualities in requirements.
AIRE
Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher
2014 — conf
A variability perspective of mutation analysis.
SIGSOFT FSE
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens
2014 — conf
An extensible platform for product-line behavioural analysis.
SPLC Workshops
Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
2014 — conf
Counterexample guided abstraction refinement of product-line behavioural models.
SIGSOFT FSE
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2014 — conf
Coverage Criteria for Behavioural Testing of Software Product Lines.
ISoLA (1)
Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2014 J jnl
Formal semantics, modular specification, and symbolic verification of product-line behaviour.
Sci. Comput. Program.
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2014 — —
Model Checking for the Masses.
Maxime Cordy
2014 J jnl
State Machine Flattening: Mapping Study and Assessment.
CoRR
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2014 — conf
Towards statistical prioritization for software product lines testing.
VaMoS
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013 — conf
A framework for the rigorous design of highly adaptive timed systems.
FormaliSE@ICSE
Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
2013 A* conf
Beyond boolean product-line model checking: dealing with feature attributes and multi-features.
ICSE
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2013 A* conf
Efficient quality assurance of variability-intensive systems.
ICSE
Patrick Heymans, Axel Legay, Maxime Cordy
2013 J jnl
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
IEEE Trans. Software Eng.
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
2013 J jnl
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng.
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
2013 — conf
Incrementally synthesizing controllers from scenario-based product line specifications.
ESEC/SIGSOFT FSE
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
2013 — ch.
Model Checking Adaptive Software with Featured Transition Systems.
Assurances for Self-Adaptive Systems
Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2013 — conf
ProVeLines: a product line of verifiers for software product lines.
SPLC Workshops
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2013 J jnl
Towards Statistical Prioritization for Software Product Lines Testing.
CoRR
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013 J jnl
Verification for Reliable Product Lines.
CoRR
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
2012 — conf
A Vision for Behavioural Model-Driven Validation of Software Product Lines.
ISoLA (1)
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
2012 — conf
Behavioural modelling and verification of real-time software product lines.
SPLC (1)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 A conf
Efficient consistency checking of scenario-based product-line specifications.
RE
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
2012 — conf
Managing evolution in software product lines: a model-checking perspective.
VaMoS
Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 J jnl
Model checking software product lines with SNIP.
Int. J. Softw. Tools Technol. Transf.
Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2012 A* conf
Simulation-based abstractions for software product-line model checking.
ICSE
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012 — conf
Towards an incremental automata-based approach for software product-line model checking.
SPLC (2)
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2011 — conf
QBD sensitivity analysis tool using discrete-event simulation and extension of
VALUETOOLS
Maxime Cordy, Marie-Ange Remiche