( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Practical parallel and concurrent programming.

, , , , , , , , и . SIGCSE, стр. 189-194. ACM, (2011)

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.

Nawal Zohdy El- Shazly

Samir Shazly

Nayla Samina Shazi

Roohul-Qadeer Hamid

 

Другие публикации лиц с тем же именем

Predictable and Progressive Testing of Multi-threaded Code, , , , и . IEEE Software, (5555)Types for atomicity: Static checking and inference for Java., , , и . ACM Trans. Program. Lang. Syst., 30 (4): 20:1-20:53 (2008)VIS: A System for Verification and Synthesis., , , , , , , , , и 6 other автор(ы). CAV, том 1102 из Lecture Notes in Computer Science, стр. 428-432. Springer, (1996)Context-Bounded Model Checking of Concurrent Software., и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 93-107. Springer, (2005)MOCHA: Modularity in Model Checking., , , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 521-525. Springer, (1998)Call Invariants., и . NASA Formal Methods, том 6617 из Lecture Notes in Computer Science, стр. 237-251. Springer, (2011)Programming Safe Robotics Systems: Challenges and Advances., , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2018)Self-Verifying Execution (Position Paper)., , , и . SecDev, стр. 117-123. IEEE Computer Society, (2016)Inductive sequentialization of asynchronous programs., , , , и . PLDI, стр. 227-242. ACM, (2020)Compositional programming and testing of dynamic distributed systems., , , и . Proc. ACM Program. Lang., 2 (OOPSLA): 159:1-159:30 (2018)