( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.

, , , , , , , и . IEEE Access, (2020)

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.

Ákos Nagy

Ákos Balázs

Ákos Tóta

Ákos Bogdán

Ákos Putics

 

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

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts., , , , , , , и . IEEE Access, (2020)Theta: A framework for abstraction refinement-based model checking., , , , и . FMCAD, стр. 176-179. IEEE, (2017)Towards Evaluating Size Reduction Techniques for Software Model Checking., , , и . VPT@ETAPS, том 253 из EPTCS, стр. 75-91. (2017)Model checking as a service: towards pragmatic hidden formal methods., , , , , , , , и . MoDELS (Companion), стр. 37:1-37:5. ACM, (2020)InfERL: scalable and extensible Erlang static analysis., , , , , , и . Erlang Workshop, стр. 33-39. ACM, (2022)Bitvector Support in the Theta Formal Verification Framework., , и . LADC, стр. 1-8. IEEE, (2021)Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)., , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 433-437. Springer, (2021)PrivacyCAT: Privacy-Aware Code Analysis at Scale., , , , , , , , , и 2 other автор(ы). ICSE-SEIP, стр. 106-117. ACM, (2024)Effective Domain-Specific Formal Verification Techniques. Budapest University of Technology and Economics, Hungary, (2020)Automated End-to-End Dynamic Taint Analysis for WhatsApp., , , , , , , , , и . SIGSOFT FSE Companion, стр. 21-26. ACM, (2024)