Souheib Baarir

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 30

Top Topics

Boolean Satisfiability

Bounded Model Checking

Symmetry Breaking

Top Venues

Publications

Anissa Kheireddine, Etienne Renault, Souheib Baarir
Interpolation-Based Learning for Bounded Model Checking. ENASE (2024)
Sabrine Saouli, Souheib Baarir, Claude Dutheillet
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. NFM (2024)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards better heuristics for solving bounded model checking problems. Constraints An Int. J. 28 (1) (2023)
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah
Optimization of the Product Configuration System of Renault. SAC (2023)
Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
CosySEL: Improving SAT Solving Using Local Symmetries. VMCAI (2023)
Vincent Vallade, Julien Sopena, Souheib Baarir
Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. POS@SAT (2023)
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah
. ICECCS (2023)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. 104 (2022)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Tuning SAT solvers for LTL Model Checking. APSEC (2022)
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. SETTA (2022)
Hao Xu, Souheib Baarir, Tewfik Ziadi, Lom-Messan Hillah, Siham Essodaigui, Yves Bossu
Optimisation for the product configuration system of Renault: towards an integration of symmetries. SPLC (B) (2021)
Anissa Kheireddine, Etienne Renault, Souheib Baarir
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). CP (2021)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
A Direct Formal Semantics for BPMN Time-related Constructs. ENASE (2021)
Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. VALUETOOLS (2020)
Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
On the Encoding and Solving of Partial Information Games. NETYS (2020)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT (2020)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM (2020)
Hakan Metin, Souheib Baarir, Fabrice Kordon
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. NFM (2019)
Samir Tigane, Laïd Kahloul, Saber Benharzallah, Souheib Baarir, Samir Bourekkache
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. Sci. Comput. Program. 183 (2019)
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. TACAS (1) (2019)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. BPM (2019)
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. TACAS (1) (2018)
Samir Tigane, Laïd Kahloul, Samir Bourekkache, Souheib Baarir
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. Int. J. Crit. Comput. Based Syst. 8 (1) (2018)
Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent
ProVer: an SMT-based approach for process verification. MoDELS (Workshops) (2018)
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
PaInleSS: A Framework for Parallel SAT Solving. SAT (2017)
Tarek Menouer, Souheib Baarir
Parallel Satisfiability Solver Based on Hybrid Partitioning Method. PDP (2017)
Souheib Baarir, Kais Klai
First international workshop on verification of business and software processes. ICSSP (2017)
Tarek Menouer, Souheib Baarir
Parallel Learning Portfolio-based solvers. ICCS (2017)
Souheib Baarir, Alexandre Duret-Lutz
SAT-Based Minimization of Deterministic \omega -Automata. LPAR (2015)
Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais
A framework to formally verify conformance of a software process to a software method. SAC (2015)
Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
Formalization of fUML: An Application to Process Verification. CAiSE (2014)
Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
Alloy4SPV : A Formal Framework for Software Process Verification. ECMFA (2014)
Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
Planning for declarative processes. SAC (2014)
Souheib Baarir, Alexandre Duret-Lutz
Mechanizing the Minimization of Deterministic Generalized Büchi Automata. FORTE (2014)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV (2013)
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
State Space Analysis Using Symmetries on Decision Diagrams. ACSD (2012)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets (2011)
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods Syst. Des. 39 (2) (2011)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Lumping partially symmetrical stochastic models. Perform. Evaluation 68 (1) (2011)
Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop (2010)
Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle. Tech. Sci. Informatiques 28 (9) (2009)
Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS (2009)
Souheib Baarir, Marco Beccuti, Giuliana Franceschinis
New Solvers for Asymmetric Systems in GreatSPN. QEST (2008)
Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. FORTE (2008)
Souheib Baarir, Alexandre Duret-Lutz
Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ACSD (2007)
Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie
Efficient lumpability check in partially symmetric systems. QEST (2006)
Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. Electron. Notes Theor. Comput. Sci. 133 (2005)
Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST (2005)
Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Extended SWN Solvers in GreatSPN. QEST (2004)