Ilina Stoilkovska

According to our database, Ilina Stoilkovska authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder

Log. Methods Comput. Sci., 2023

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

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

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

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Int. J. Softw. Tools Technol. Transf., 2022

2021

Eliminating Message Counters in Synchronous Threshold Automata.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Tutorial: Parameterized Verification with Byzantine Model Checker.

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

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

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

Eliminating Message Counters in Threshold Automata.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Proceedings of the Automated Technology for Verification and Analysis, 2020

2018

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.

Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018