Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. - Benjamin Aminof; Sasha Rubin; Ilina Stoilkovska; Josef Widder; Florian Zuleger (VMCAI, 2018)

Eliminating Message Counters in Threshold Automata. - Ilina Stoilkovska; Igor Konnov 001; Josef Widder; Florian Zuleger (ATVA, 2020)

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (FMBC@CAV, 2020)

Tutorial: Parameterized Verification with Byzantine Model Checker. - Igor Konnov 001; Marijana Lazic; Ilina Stoilkovska; Josef Widder (FORTE, 2020)

Tendermint Blockchain Synchronization: Formal Specification and Model Checking. - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (ISoLA (1), 2020)

Eliminating Message Counters in Synchronous Threshold Automata. - Ilina Stoilkovska; Igor Konnov 001; Josef Widder; Florian Zuleger (VMCAI, 2021)

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. - Ilina Stoilkovska; Igor Konnov 001; Josef Widder; Florian Zuleger (Int. J. Softw. Tools Technol. Transf., 2022)

Lifting On-Demand Analysis to Higher-Order Languages. - Daniel Schoepe; David Seekatz; Ilina Stoilkovska; Sandro Stucki; Daniel Tattersall; Pauline Bolignano; Franco Raimondi; Bor-Yuh Evan Chang (SAS, 2023)

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. - Igor Konnov 001; Marijana Lazic; Ilina Stoilkovska; Josef Widder (Log. Methods Comput. Sci., 2023)