Ilina Stoilkovska

According to our database1, Ilina Stoilkovska authored at least 8 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Eliminating Message Counters in Synchronous Threshold Automata.
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

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Tutorial: Parameterized Verification with Byzantine Model Checker.
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

Eliminating Message Counters in Threshold Automata.
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


  Loading...