( en | de | ru )

 

Disambiguierung von "Baarir, Souheib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Experience Report on the Optimization of the Product Configuration System of Renault *.

, , , , , und . ICECCS, Seite 197-206. IEEE, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Souheib Abdul Karim

 

Weitere Publikationen von Autoren mit dem selben Namen

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 135-151. Springer, (2019)Verification of a Hierarchical Generic Mutual Exclusion Algorithm., , und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 99-115. Springer, (2008)Towards better heuristics for solving bounded model checking problems., , und . Constraints An Int. J., 28 (1): 45-66 (März 2023)CosySEL: Improving SAT Solving Using Local Symmetries., , , und . VMCAI, Volume 13881 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2023)ProVer: an SMT-based approach for process verification., , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 555-562. CEUR-WS.org, (2018)Formalization of fUML: An Application to Process Verification., , , und . CAiSE, Volume 8484 von Lecture Notes in Computer Science, Seite 347-363. Springer, (2014)Lumping partially symmetrical stochastic models., , , , und . Perform. Evaluation, 68 (1): 21-44 (2011)Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems., , , , und . Sci. Comput. Program., (2019)A framework to formally verify conformance of a software process to a software method., , , , und . SAC, Seite 1518-1525. ACM, (2015)First international workshop on verification of business and software processes., und . ICSSP, Seite 143-144. ACM, (2017)