( en | de | ru )

 

Disambiguierung von "Qadeer, Shaz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).

, , , , , , , , , , und . FAST, Seite 249-262. USENIX Association, (2016)

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.

Nawal Zohdy El- Shazly

Samir Shazly

Nayla Samina Shazi

Roohul-Qadeer Hamid

 

Weitere Publikationen von Autoren mit dem selben Namen

Predictable and Progressive Testing of Multi-threaded Code, , , , und . IEEE Software, (5555)Verifying a self-stabilizing mutual exclusion algorithm., und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 424-443. Chapman & Hall, (1998)VIS: A System for Verification and Synthesis., , , , , , , , , und 6 andere Autor(en). CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 428-432. Springer, (1996)Context-Bounded Model Checking of Concurrent Software., und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 93-107. Springer, (2005)MOCHA: Modularity in Model Checking., , , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 521-525. Springer, (1998)Programming Safe Robotics Systems: Challenges and Advances., , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2018)Call Invariants., und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 237-251. Springer, (2011)Self-Verifying Execution (Position Paper)., , , und . SecDev, Seite 117-123. IEEE Computer Society, (2016)Inductive sequentialization of asynchronous programs., , , , und . PLDI, Seite 227-242. ACM, (2020)A calculus of atomic actions., , und . POPL, Seite 2-15. ACM, (2009)