| 2026 | ICISSP | On RBAC Maintenance for Preserving Confidentiality. | Franck Arnaud Fotso Kuate, Omer Nguena Timo, Florent Avellaneda |
| 2026 | ICSE | Specification and Detection of LLM Code Smells. | Brahim Mahmoudi, Zacharie Chenail-Larcher, Naouel Moha, Quentin Stivenart, Florent Avellaneda |
| 2026 | MSR | GLiSE: A Prompt-Driven and ML-Powered Tool for Automated Grey Literature Extraction in Software Engineering. | Brahim Mahmoudi, Zacharie Chenail-Larcher, Houcine Abdelkader Cherief, Quentin Stivenart, Naouel Moha, Florent Avellaneda |
| 2025 | CRiSIS | Role Mining in RBAC for Preserving Confidentiality. | Franck Arnaud Fotso Kuate, Omer Nguena Timo, Florent Avellaneda |
| 2025 | IJCAI | Learning Optimal Oblique Decision Trees with (Max)SAT. | Florent Avellaneda |
| 2024 | AAAI | Delegation-Relegation for Boolean Matrix Factorization. | Florent Avellaneda, Roger Villemaire |
| 2022 | AAAI | Undercover Boolean Matrix Factorization with MaxSAT. | Florent Avellaneda, Roger Villemaire |
| 2020 | AAAI | Efficient Inference of Optimal Decision Trees. | Florent Avellaneda |
| 2020 | DASC | Demystifying the Cyber Attribution: An Exploratory Study. | Fehmi Jaafar, Florent Avellaneda, El Hachemi Alikacem |
| 2019 | QRS | Learning and Adaptive Testing of Nondeterministic State Machines. | Alexandre Petrenko, Florent Avellaneda |
| 2019 | QRS | Fault Detection in Timed FSM with Timeouts by SAT-Solving. | Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda |
| 2019 | SEFM | Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. | Florent Avellaneda, Alexandre Petrenko |
| 2019 | TAP | Learning Communicating State Machines. | Alexandre Petrenko, Florent Avellaneda |
| 2018 | FM | FSM Inference from Long Traces. | Florent Avellaneda, Alexandre Petrenko |
| 2016 | ATVA | Solving Language Equations Using Flanked Automata. | Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet |