Souheib Baarir

According to our database, Souheib Baarir authored at least 49 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Towards better heuristics for solving bounded model checking problems.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Constraints An Int. J., March, 2023

CosySEL: Improving SAT Solving Using Local Symmetries.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies.

Vincent Vallade, Julien Sopena, Souheib Baarir

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

Optimization of the Product Configuration System of Renault.

Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

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

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

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

Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Tuning SAT solvers for LTL Model Checking.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

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

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

A Direct Formal Semantics for BPMN Time-related Constructs.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper).

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification.

Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache

Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

On the Usefulness of Clause Strengthening in Parallel SAT Solving.

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

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

Proceedings of the Networked Systems - 8th International Conference, 2020

2019

Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems.

Samir Tigane, Laïd Kahloul, Saber Benharzallah, Souheib Baarir, Samir Bourekkache

Sci. Comput. Program., 2019

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.

Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving.

Hakan Metin, Souheib Baarir, Fabrice Kordon

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec

Proceedings of the Business Process Management - 17th International Conference, 2019

2018

Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems.

Samir Tigane, Laïd Kahloul, Samir Bourekkache, Souheib Baarir

Int. J. Crit. Comput. Based Syst., 2018

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.

Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

ProVer: an SMT-based approach for process verification.

Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

PaInleSS: A Framework for Parallel SAT Solving.

Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Parallel Satisfiability Solver Based on Hybrid Partitioning Method.

Tarek Menouer, Souheib Baarir

Proceedings of the 25th Euromicro International Conference on Parallel, 2017

First international workshop on verification of business and software processes.

Souheib Baarir, Kais Klai

Proceedings of the 2017 International Conference on Software and System Process, 2017

Parallel Learning Portfolio-based solvers.

Tarek Menouer, Souheib Baarir

Proceedings of the International Conference on Computational Science, 2017

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

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

SAT-Based Minimization of Deterministic \omega -Automata.

Souheib Baarir, Alexandre Duret-Lutz

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Planning for declarative processes.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Proceedings of the Symposium on Applied Computing, 2014

Mechanizing the Minimization of Deterministic Generalized Büchi Automata.

Souheib Baarir, Alexandre Duret-Lutz

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Alloy4SPV : A Formal Framework for Software Process Verification.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

Formalization of fUML: An Application to Process Verification.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Proceedings of the Advanced Information Systems Engineering, 2014

2013

Towards Distributed Software Model-Checking Using Decision Diagrams.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

State Space Analysis Using Symmetries on Decision Diagrams.

Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Lumping partially symmetrical stochastic models.

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

Perform. Evaluation, 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

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.

Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

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

The GreatSPN tool: recent enhancements.

Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis

SIGMETRICS Perform. Evaluation Rev., 2009

From partially to fully lumped Markov chains in stochastic well formed Petri nets.

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

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

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009

2008

New Solvers for Asymmetric Systems in GreatSPN.

Souheib Baarir, Marco Beccuti, Giuliana Franceschinis

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Verification of a Hierarchical Generic Mutual Exclusion Algorithm.

Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Emptiness Check of Powerset Buchi Automata using Inclusion Tests.

Souheib Baarir, Alexandre Duret-Lutz

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Efficient lumpability check in partially symmetric systems.

Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

On the use of exact lumpability in partially symmetricalWell-formed Nets.

Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

On the Formal Verification of Middleware Behavioral Properties.

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

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

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004