Ilina Stoilkovska

11 papers B 4C 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2023 B conf
Lifting On-Demand Analysis to Higher-Order Languages.
SAS
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
2023 J jnl
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Log. Methods Comput. Sci.
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2022 J jnl
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.
Int. J. Softw. Tools Technol. Transf.
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2021 B conf
Eliminating Message Counters in Synchronous Threshold Automata.
VMCAI
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2020 B conf
Eliminating Message Counters in Threshold Automata.
ATVA
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2020 — conf
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
FMBC@CAV
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020 J jnl
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
CoRR
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2020 — conf
Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
ISoLA (1)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020 C conf
Tutorial: Parameterized Verification with Byzantine Model Checker.
FORTE
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2019 — conf
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.
TACAS (2)
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2018 B conf
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.
VMCAI
Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger