# Ilina Stoilkovska

According to our database

Collaborative distances:

^{1}, Ilina Stoilkovska authored at least 8 papers between 2018 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

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

2020

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

CoRR, 2020

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

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).

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

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.

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