( en | de | ru )

 

Disambiguierung von "Stoilkovska, Ilina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yulia Ilina

Ilina Murgan

Ilina Fach

Ilina Urukova

Ilina Gregori

 

Weitere Publikationen von Autoren mit dem selben Namen

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