Parameterized model checking of synchronous distributed algorithms by abstraction B Aminof, S Rubin, I Stoilkovska, J Widder, F Zuleger Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 30 | 2018 |
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking I Stoilkovska, I Konnov, J Widder, F Zuleger International Journal on Software Tools for Technology Transfer 24 (1), 33-48, 2022 | 27 | 2022 |
Formal specification and model checking of the tendermint blockchain synchronization protocol (short paper) S Braithwaite, E Buchman, I Konnov, Z Milosevic, I Stoilkovska, J Widder, ... 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | 20 | 2020 |
Tendermint blockchain synchronization: formal specification and model checking S Braithwaite, E Buchman, I Konnov, Z Milosevic, I Stoilkovska, J Widder, ... International Symposium on Leveraging Applications of Formal Methods, 471-488, 2020 | 8 | 2020 |
Tutorial: Parameterized verification with byzantine model checker I Konnov, M Lazić, I Stoilkovska, J Widder International Conference on Formal Techniques for Distributed Objects …, 2020 | 7 | 2020 |
Eliminating message counters in threshold automata I Stoilkovska, I Konnov, J Widder, F Zuleger International Symposium on Automated Technology for Verification and …, 2020 | 5 | 2020 |
Eliminating message counters in synchronous threshold automata I Stoilkovska, I Konnov, J Widder, F Zuleger Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 2 | 2021 |
Survey on parameterized verification with threshold automata and the byzantine model checker I Konnov, M Lazić, I Stoilkovska, J Widder Logical Methods in Computer Science 19, 2023 | 1 | 2023 |
Lifting on-demand analysis to higher-order languages D Schoepe, D Seekatz, I Stoilkovska, S Stucki, D Tattersall, P Bolignano, ... International Static Analysis Symposium, 460-484, 2023 | | 2023 |
Modeling and verification of synchronous fault-tolerant distributed algorithms I Stoilkovska Technische Universität Wien, 2021 | | 2021 |
XML data integration I Stoilkovska | | 2014 |