Ilina Stoilkovska

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, FMBC@CAV.

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Benjamin Aminof, Sasha Rubin, Florian Zuleger, 2018, VMCAI.

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking

Florian Zuleger, Igor Konnov, Josef Widder, 2019, International Journal on Software Tools for Technology Transfer.

Eliminating Message Counters in Synchronous Threshold Automata

Florian Zuleger, Igor Konnov, Josef Widder, 2021, VMCAI.

Tutorial: Parameterized Verification with Byzantine Model Checker

Igor Konnov, Josef Widder, Ilina Stoilkovska, 2020, FORTE.

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker pdf

Igor Konnov, Josef Widder, Ilina Stoilkovska, 2020, ArXiv.

Eliminating Message Counters in Threshold Automata

Florian Zuleger, Igor Konnov, Josef Widder, 2020, ATVA.

Tendermint Blockchain Synchronization: Formal Specification and Model Checking

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, ISoLA.

Modeling and Verification of Synchronous Fault-Tolerant Distributed Algorithms

Ilina Stoilkovska, 2021 .

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking

Florian Zuleger, Josef Widder, Igor Konnov, 2021, International Journal on Software Tools for Technology Transfer.