Ilina Stoilkovska

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Epistemic Logic

Deterministic Finite Automaton

Formal Specification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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