| 2025 | TACAS | D-Painless: A Framework for Distributed Portfolio SAT Solving. | Mazigh Saoudi, Souheib Baarir, Julien Sopena, Thibault Lejemble |
| 2024 | ENASE | Interpolation-Based Learning for Bounded Model Checking. | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2024 | ICECCS | Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report. | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu |
| 2024 | IFM | Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. | Sabrine Saouli, Souheib Baarir, Claude Dutheillet |
| 2023 | ICECCS | An Experience Report on the Optimization of the Product Configuration System of Renault | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah |
| 2023 | SAC | Optimization of the Product Configuration System of Renault. | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah |
| 2023 | SAT | Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. | Vincent Vallade, Julien Sopena, Souheib Baarir |
| 2023 | VMCAI | CosySEL: Improving SAT Solving Using Local Symmetries. | Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt |
| 2022 | APSEC | Tuning SAT solvers for LTL Model Checking. | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2022 | SETTA | Diversifying a Parallel SAT Solver with Bayesian Moment Matching. | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
| 2021 | CP | Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2021 | ENASE | A Direct Formal Semantics for BPMN Time-related Constructs. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2021 | SPLC | Optimisation for the product configuration system of Renault: towards an integration of symmetries. | Hao Xu, Souheib Baarir, Tewfik Ziadi, Lom-Messan Hillah, Siham Essodaigui, Yves Bossu |
| 2020 | SAT | Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon |
| 2019 | BPM | A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2019 | TACAS | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
| 2018 | MODELS | ProVer: an SMT-based approach for process verification. | Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent |
| 2018 | TACAS | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. | Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon |
| 2017 | ICCS | Parallel Learning Portfolio-based solvers. | Tarek Menouer, Souheib Baarir |
| 2017 | PDP | Parallel Satisfiability Solver Based on Hybrid Partitioning Method. | Tarek Menouer, Souheib Baarir |
| 2017 | SAT | PaInleSS: A Framework for Parallel SAT Solving. | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon |
| 2015 | LPAR | SAT-Based Minimization of Deterministic \omega -Automata. | Souheib Baarir, Alexandre Duret-Lutz |
| 2015 | SAC | A framework to formally verify conformance of a software process to a software method. | Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais |
| 2014 | CaiSE | Formalization of fUML: An Application to Process Verification. | Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais |
| 2014 | FORTE | Mechanizing the Minimization of Deterministic Generalized Bchi Automata. | Souheib Baarir, Alexandre Duret-Lutz |
| 2014 | SAC | Planning for declarative processes. | Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais |
| 2013 | CAV | Towards Distributed Software Model-Checking Using Decision Diagrams. | Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg |
| 2008 | FORTE | Verification of a Hierarchical Generic Mutual Exclusion Algorithm. | Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry |