( en | de | ru )

 

Disambiguation of "Baarir, Souheib"

Author of the publication

copydeleteadd this publication to your clipboard
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems.

, , , , and . Sci. Comput. Program., (2019)

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

A framework to formally verify conformance of a software process to a software method., , , , and . SAC, page 1518-1525. ACM, (2015)First international workshop on verification of business and software processes., and . ICSSP, page 143-144. ACM, (2017)Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems., , , , and . Sci. Comput. Program., (2019)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)Formalization of fUML: An Application to Process Verification., , , and . CAiSE, volume 8484 of Lecture Notes in Computer Science, page 347-363. Springer, (2014)Feasibility analysis for robustness quantification by symbolic model checking., , , , , , and . Formal Methods Syst. Des., 39 (2): 165-184 (2011)Lumping partially symmetrical stochastic models., , , , and . Perform. Evaluation, 68 (1): 21-44 (2011)Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle., , and . Technique et Science Informatiques, 28 (9): 1085-1105 (2009)A Direct Formal Semantics for BPMN Time-related Constructs., , , and . ENASE, page 138-149. SCITEPRESS, (2021)On the Encoding and Solving of Partial Information Games., , , , , and . NETYS, volume 12129 of Lecture Notes in Computer Science, page 60-76. Springer, (2020)