( en | de | ru )

 

Disambiguierung von "Baarir, Souheib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimisation for the product configuration system of Renault: towards an integration of symmetries.

, , , , , und . SPLC (B), Seite 86-90. ACM, (2021)

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

A framework to formally verify conformance of a software process to a software method., , , , und . SAC, Seite 1518-1525. ACM, (2015)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , und . Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 338-347. Springer, (2011)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 Direct Formal Semantics for BPMN Time-related Constructs., , , und . ENASE, Seite 138-149. SCITEPRESS, (2021)On the Encoding and Solving of Partial Information Games., , , , , und . NETYS, Volume 12129 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2020)First international workshop on verification of business and software processes., und . ICSSP, Seite 143-144. ACM, (2017)Formalization of fUML: An Application to Process Verification., , , und . CAiSE, Volume 8484 von Lecture Notes in Computer Science, Seite 347-363. Springer, (2014)From partially to fully lumped Markov chains in stochastic well formed Petri nets., , , und . VALUETOOLS, Seite 43. ICST/ACM, (2009)SAT-Based Minimization of Deterministic -Automata., und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 79-87. Springer, (2015)