( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

, , , и . Log. Methods Comput. Sci., (2023)

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.

Yulia Ilina

Ilina Fach

Ilina Murgan

Ilina Urukova

Ilina Gregori

 

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

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking., , , и . TACAS (2), том 11428 из Lecture Notes in Computer Science, стр. 357-374. Springer, (2019)Eliminating Message Counters in Threshold Automata., , , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 196-212. Springer, (2020)Tendermint Blockchain Synchronization: Formal Specification and Model Checking., , , , , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 471-488. Springer, (2020)Tutorial: Parameterized Verification with Byzantine Model Checker, , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 189-207. Springer, (2020)Lifting On-Demand Analysis to Higher-Order Languages., , , , , , , и . SAS, том 14284 из Lecture Notes in Computer Science, стр. 460-484. Springer, (2023)Verifying safety of synchronous fault-tolerant algorithms by bounded model checking., , , и . Int. J. Softw. Tools Technol. Transf., 24 (1): 33-48 (2022)Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)., , , , , , и . FMBC@CAV, том 84 из OASIcs, стр. 10:1-10:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Eliminating Message Counters in Synchronous Threshold Automata., , , и . VMCAI, том 12597 из Lecture Notes in Computer Science, стр. 196-218. Springer, (2021)Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction., , , , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2018)Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker., , , и . CoRR, (2020)