( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Moving Around: Lipton's Reduction for TSO - (Regular Submission).

, и . VSTTE, том 9593 из Lecture Notes in Computer Science, стр. 165-182. Springer, (2015)

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.

Serdar Altay

Serdar Durdagi

Serdar Sel

Serdar Özdil

Serdar Deger

 

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

Fast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE), , и . CoRR, (2008)Code-level model checking in the software development workflow at Amazon Web Services., , , , , , , , , и . Softw. Pract. Exp., 51 (4): 772-797 (2021)Model Checking Boot Code from AWS Data Centers., , , , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 467-486. Springer, (2018)VyrdMC: Driving Runtime Refinement Checking with Model Checkers., и . RV@CAV, том 144 из Electronic Notes in Theoretical Computer Science, стр. 41-56. Elsevier, (2005)Fast Monte Carlo Estimation of Timing Yield With Importance Sampling and Transistor-Level Circuit Simulation., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (9): 1328-1341 (2010)Continuous Compliance., , , и . ASE, стр. 511-523. IEEE, (2020)A Machine-Checked Proof of Security for AWS Key Management Service., , , , , , , , , и . CCS, стр. 63-78. ACM, (2019)Towards verifying eventually consistent applications., , и . PaPEC@EuroSys, стр. 11:1-11:4. ACM, (2014)Continuous Formal Verification of Amazon s2n., , , , , , , , , и 2 other автор(ы). CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 430-446. Springer, (2018)MOCHA: Modularity in Model Checking., , , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 521-525. Springer, (1998)