( en | de | ru )

 

Disambiguation of "Baarir, Souheib"

Author of the publication

copydeleteadd this publication to your clipboard
Towards better heuristics for solving bounded model checking problems.

, , and . Constraints An Int. J., 28 (1): 45-66 (March 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Souheib Abdul Karim

 

Other publications of authors with the same name

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 135-151. Springer, (2019)Towards better heuristics for solving bounded model checking problems., , and . Constraints An Int. J., 28 (1): 45-66 (March 2023)Verification of a Hierarchical Generic Mutual Exclusion Algorithm., , and . FORTE, volume 5048 of Lecture Notes in Computer Science, page 99-115. Springer, (2008)ProVer: an SMT-based approach for process verification., , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 555-562. CEUR-WS.org, (2018)CosySEL: Improving SAT Solving Using Local Symmetries., , , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 252-266. Springer, (2023)Lumping partially symmetrical stochastic models., , , , and . Perform. Evaluation, 68 (1): 21-44 (2011)First international workshop on verification of business and software processes., and . ICSSP, page 143-144. ACM, (2017)A framework to formally verify conformance of a software process to a software method., , , , and . SAC, page 1518-1525. ACM, (2015)Formalization of fUML: An Application to Process Verification., , , and . CAiSE, volume 8484 of Lecture Notes in Computer Science, page 347-363. Springer, (2014)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 338-347. Springer, (2011)