Souheib Baarir
Orcid: 0000-0001-8140-0273
According to our database1,
Souheib Baarir
authored at least 53 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report.
Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024
2023
Constraints An Int. J., March, 2023
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023
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
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
An Experience Report on the Optimization of the Product Configuration System of Renault <sup>*</sup>.
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.
Inf. Syst., 2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Optimisation for the product configuration system of Renault: towards an integration of symmetries.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021
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.
Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Networked Systems - 8th International Conference, 2020
2019
Sci. Comput. Program., 2019
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Business Process Management - 17th International Conference, 2019
2018
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems.
Int. J. Crit. Comput. Based Syst., 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the 25th Euromicro International Conference on Parallel, 2017
Proceedings of the 2017 International Conference on Software and System Process, 2017
Proceedings of the International Conference on Computational Science, 2017
2015
A framework to formally verify conformance of a software process to a software method.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014
Proceedings of the Advanced Information Systems Engineering, 2014
2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
2011
Formal Methods Syst. Des., 2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
2010
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.
Tech. Sci. Informatiques, 2009
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009
2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
2007
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
2005
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004