PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hallal, Hesham"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A formal approach to property testing in causally consistent distributed traces.

, , , und . Formal Asp. Comput., 18 (1): 63-83 (2006)

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.

Abdelrahman Hesham Mohamed University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

From Scenarios to Test Implementations Via Promela., , , und . ICTSS, Volume 6435 von Lecture Notes in Computer Science, Seite 236-249. Springer, (2010)Antipattern-Based Detection of Deficiencies in Java Multithreaded Software., , , , und . QSIC, Seite 258-267. IEEE Computer Society, (2004)Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis., , , und . HICSS, Seite 337. IEEE Computer Society, (2003)Web-FIM: Automated Framework for the Inference of Business Software Models., , und . SERVICES I, Seite 130-138. IEEE Computer Society, (2009)Dynamic analysis of java applications for multithreaded antipatterns., , , und . ACM SIGSOFT Software Engineering Notes, 30 (4): 1-7 (2005)Inferring Behavioural Models from Traces of Business Applications., , und . ICWS, Seite 791-798. IEEE Computer Society, (2009)Formal Modeling of Communication Traces., , , und . ISTA, Volume P-30 von LNI, Seite 97-108. GI, (2003)A formal approach to property testing in causally consistent distributed traces., , , und . Formal Asp. Comput., 18 (1): 63-83 (2006)An Automata-Based Approach to Property Testing in Event Traces., , , und . TestCom, Volume 2644 von Lecture Notes in Computer Science, Seite 180-196. Springer, (2003)