( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preemption Sealing for Efficient Concurrency Testing.

, , , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 420-434. Springer, (2010)

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

 

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

Inductive sequentialization of asynchronous programs., , , , и . PLDI, стр. 227-242. ACM, (2020)Self-Verifying Execution (Position Paper)., , , и . SecDev, стр. 117-123. IEEE Computer Society, (2016)Predictable and Progressive Testing of Multi-threaded Code, , , , и . IEEE Software, (5555)A calculus of atomic actions., , и . POPL, стр. 2-15. ACM, (2009)Fast and Reliable Formal Verification of Smart Contracts with the Move Prover., , , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 183-200. Springer, (2022)Types for atomicity., и . TLDI, стр. 1-12. ACM, (2003)Goldilocks: a race and transaction-aware java runtime., , и . PLDI, стр. 245-255. ACM, (2007)Formal specification and verification of a dataflow processor array., , , и . ICCAD, стр. 494-499. IEEE Computer Society, (1999)Programming Safe Robotics Systems: Challenges and Advances., , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2018)Call Invariants., и . NASA Formal Methods, том 6617 из Lecture Notes in Computer Science, стр. 237-251. Springer, (2011)