PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jaber, Mohamad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.

, , , , und . CoRR, (2019)

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.

Keine Personen gefunden für den Autorennamen Jaber, Mohamad
Eine Person hinzufügen mit dem Namen Jaber, Mohamad
 

Weitere Publikationen von Autoren mit dem selben Namen

Rigorous Component-Based System Design Using the BIP Framework., , , , , , und . IEEE Software, 28 (3): 41-48 (2011)Can We Trust the Inter-Packet Time for Traffic Classification?, , und . ICC, Seite 1-5. IEEE, (2011)Automated Conflict-free distributed implementation of component-based models., , , , und . SIES, Seite 108-117. IEEE, (2010)Correctness-by-Learning of Infinite-State Component-Based Systems., , und . FACS, Volume 10487 von Lecture Notes in Computer Science, Seite 162-178. Springer, (2017)Runtime enforcement for component-based systems., , , und . SAC, Seite 1789-1796. ACM, (2015)Reconfigurable and Adaptive Spark Applications., , , , , und . CLOSER, Seite 84-91. SciTePress, (2017)Source-to-Source Architecture Transformation for Performance Optimization in BIP., , und . IEEE Trans. Industrial Informatics, 6 (4): 708-718 (2010)Runtime Enforcement for Component-Based Systems., , , und . CoRR, (2014)Monitoring Distributed Component-Based Systems., , , , und . CoRR, (2017)From Global Choreographies to Provably Correct and Efficient Distributed Implementations., , , , und . CoRR, (2019)