Extended SWN Solvers in GreatSPN. - Jean-Michel Ilié; Souheib Baarir; Marco Beccuti; Clément Delamare; Susanna Donatelli; Claude Dutheillet; Giuliana Franceschinis; Rossano Gaeta; Patrice Moreaux (QEST, 2004)

On the Formal Verification of Middleware Behavioral Properties. - Jérôme Hugues; Thomas Vergnaud; Laurent Pautet; Yann Thierry-Mieg; Souheib Baarir; Fabrice Kordon (FMICS, 2004)

On the use of exact lumpability in partially symmetricalWell-formed Nets. - Souheib Baarir; Claude Dutheillet; Serge Haddad; Jean-Michel Ilié (QEST, 2005)

Efficient lumpability check in partially symmetric systems. - Marco Beccuti; Giuliana Franceschinis; Souheib Baarir; Jean-Michel Ilié (QEST, 2006)

Emptiness Check of Powerset Buchi Automata using Inclusion Tests. - Souheib Baarir; Alexandre Duret-Lutz (ACSD, 2007)

Verification of a Hierarchical Generic Mutual Exclusion Algorithm. - Souheib Baarir; Julien Sopena; Fabrice Legond-Aubry (FORTE, 2008)

New Solvers for Asymmetric Systems in GreatSPN. - Souheib Baarir; Marco Beccuti; Giuliana Franceschinis (QEST, 2008)

Complementary Formal Approaches for Dependability Analysis. - Souheib Baarir; Cécile Braunstein; Renaud Clavel; Emmanuelle Encrenaz; Jean-Michel Ilié; Régis Leveugle; Isabelle Mounier; Laurence Pierre; Denis Poitrenaud (DFT, 2009)

From partially to fully lumped Markov chains in stochastic well formed Petri nets. - Souheib Baarir; Marco Beccuti; Claude Dutheillet; Giuliana Franceschinis (VALUETOOLS, 2009)

The GreatSPN tool: recent enhancements. - Souheib Baarir; Marco Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2009)

Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle. - Julien Sopena; Souheib Baarir; Fabrice Legond-Aubry (Tech. Sci. Informatiques, 2009)

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. - Souheib Baarir; Lom-Messan Hillah; Fabrice Kordon; Etienne Renault (Monterey Workshop, 2010)

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (Petri Nets, 2011)

Feasibility analysis for robustness quantification by symbolic model checking. - Souheib Baarir; Cécile Braunstein; Emmanuelle Encrenaz; Jean-Michel Ilié; Isabelle Mounier; Denis Poitrenaud; Sana Younès (Formal Methods Syst. Des., 2011)

Lumping partially symmetrical stochastic models. - Souheib Baarir; Marco Beccuti; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (Perform. Evaluation, 2011)

State Space Analysis Using Symmetries on Decision Diagrams. - Maximilien Colange; Fabrice Kordon; Yann Thierry-Mieg; Souheib Baarir (ACSD, 2012)

Towards Distributed Software Model-Checking Using Decision Diagrams. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (CAV, 2013)

Formalization of fUML: An Application to Process Verification. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (CAiSE, 2014)

Alloy4SPV : A Formal Framework for Software Process Verification. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (ECMFA, 2014)

Mechanizing the Minimization of Deterministic Generalized Büchi Automata. - Souheib Baarir; Alexandre Duret-Lutz (FORTE, 2014)

Planning for declarative processes. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (SAC, 2014)

SAT-Based Minimization of Deterministic omega -Automata. - Souheib Baarir; Alexandre Duret-Lutz (LPAR, 2015)

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 (SAC, 2015)

Parallel Learning Portfolio-based solvers. - Tarek Menouer; Souheib Baarir (ICCS, 2017)

First international workshop on verification of business and software processes. - Souheib Baarir; Kais Klai (ICSSP, 2017)

Parallel Satisfiability Solver Based on Hybrid Partitioning Method. - Tarek Menouer; Souheib Baarir (PDP, 2017)

PaInleSS: A Framework for Parallel SAT Solving. - Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (SAT, 2017)

ProVer: an SMT-based approach for process verification. - Souheib Baarir; Reda Bendraou; Hakan Metin; Yoann Laurent (MoDELS (Workshops), 2018)

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. - Hakan Metin; Souheib Baarir; Maximilien Colange; Fabrice Kordon (TACAS (1), 2018)

Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. - Samir Tigane; Laid Kahloul; Samir Bourekkache; Souheib Baarir (Int. J. Crit. Comput. Based Syst., 2018)

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (BPM, 2019)

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. - Hakan Metin; Souheib Baarir; Fabrice Kordon (NFM, 2019)

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. - Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (TACAS (1), 2019)

Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. - Samir Tigane; Laid Kahloul; Saber Benharzallah; Souheib Baarir; Samir Bourekkache (Sci. Comput. Program., 2019)

On the Encoding and Solving of Partial Information Games. - Yackolley Amoussou-Guenou; Souheib Baarir; Maria Potop-Butucaru; Nathalie Sznajder; Léo Tible; Sébastien Tixeuil (NETYS, 2020)

On the Usefulness of Clause Strengthening in Parallel SAT Solving. - Vincent Vallade; Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Fabrice Kordon (NFM, 2020)

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. - Vincent Vallade; Ludovic Le Frioux; Souheib Baarir; Julien Sopena; Vijay Ganesh 001; Fabrice Kordon (SAT, 2020)

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. - Samir Tigane; Laid Kahloul; Souheib Baarir; Samir Bourekkache (VALUETOOLS, 2020)

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). - Anissa Kheireddine; Etienne Renault; Souheib Baarir (CP, 2021)

A Direct Formal Semantics for BPMN Time-related Constructs. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (ENASE, 2021)

Optimisation for the product configuration system of Renault: towards an integration of symmetries. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Lom-Messan Hillah; Siham Essodaigui; Yves Bossu (SPLC (B), 2021)

Tuning SAT solvers for LTL Model Checking. - Anissa Kheireddine; Etienne Renault; Souheib Baarir (APSEC, 2022)

Diversifying a Parallel SAT Solver with Bayesian Moment Matching. - Vincent Vallade; Saeed Nejati; Julien Sopena; Souheib Baarir; Vijay Ganesh 001 (SETTA, 2022)

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec; Laïd Kahloul (Inf. Syst., 2022)

An Experience Report on the Optimization of the Product Configuration System of Renault *. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Siham Essodaigui; Yves Bossu; Lom-Messan Hillah (ICECCS, 2023)

Optimization of the Product Configuration System of Renault. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Siham Essodaigui; Yves Bossu; Lom-Messan Hillah (SAC, 2023)

Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. - Vincent Vallade; Julien Sopena; Souheib Baarir (POS@SAT, 2023)

CosySEL: Improving SAT Solving Using Local Symmetries. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet; Jo Devriendt (VMCAI, 2023)

Towards better heuristics for solving bounded model checking problems. - Anissa Kheireddine; Etienne Renault; Souheib Baarir (Constraints An Int. J., 2023)

Interpolation-Based Learning for Bounded Model Checking. - Anissa Kheireddine; Etienne Renault; Souheib Baarir (ENASE, 2024)

Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report. - Hao Xu 023; Souheib Baarir; Tewfik Ziadi; Siham Essodaigui; Yves Bossu (ICECCS, 2024)

Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet (IFM, 2024)

Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet (NFM, 2024)

Towards Verifying Security Policies for Infinite-State Systems. - Quentin Peyras; Ghada Gharbi; Souheib Baarir (VSTTE, 2024)

D-Painless: A Framework for Distributed Portfolio SAT Solving. - Mazigh Saoudi; Souheib Baarir; Julien Sopena; Thibault Lejemble (TACAS (2), 2025)