According to our database1, Ilina Stoilkovska authored at least 8 papers between 2018 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018