Souheib Baarir

55 papers A* 1A 5B 10C 5Misc 5Journal 8Unranked 21

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