( en | de | ru )

 

Disambiguation of "Stoilkovska, Ilina"

Author of the publication

copydeleteadd this publication to your clipboard
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

, , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Yulia Ilina

Ilina Murgan

Ilina Fach

Ilina Urukova

Ilina Gregori

 

Other publications of authors with the same name

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking., , , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 357-374. Springer, (2019)Eliminating Message Counters in Threshold Automata., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 196-212. Springer, (2020)Tendermint Blockchain Synchronization: Formal Specification and Model Checking., , , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 471-488. Springer, (2020)Tutorial: Parameterized Verification with Byzantine Model Checker, , , and . FORTE, volume 12136 of Lecture Notes in Computer Science, page 189-207. Springer, (2020)Lifting On-Demand Analysis to Higher-Order Languages., , , , , , , and . SAS, volume 14284 of Lecture Notes in Computer Science, page 460-484. Springer, (2023)Eliminating Message Counters in Synchronous Threshold Automata., , , and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 196-218. Springer, (2021)Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)., , , , , , and . FMBC@CAV, volume 84 of OASIcs, page 10:1-10:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction., , , , and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 1-24. Springer, (2018)Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker., , , and . Log. Methods Comput. Sci., (2023)Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker., , , and . CoRR, (2020)