Ilina Stoilkovska

» Project Assistant, PhD student

I was a PhD student under the supervision of Florian Zuleger and Josef Widder. I was also affiliated with the LogiCS Doctoral College. Prior to this, I obtained a MSc in Computer Science form the European Master Program in Computational Logic.

My research interests include formal methods, parameterized model checking, and verification of distributed algorithms. In my PhD research, I was working on developing methods for automatic verification of synchronous fault-tolerant distributed algorithms. I defended my PhD thesis, titled Modeling and Verification of Synchronous Fault-Tolerant Distributed Algorithms, on 15. March 2021.

Ilina Stoilkovska
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HD 03 23 (how to get there)
Phone: +43 (1) 58801 – 740 020


[4] Tutorial: Parameterized Verification with Byzantine Model Checker
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
FORTE 2020, pages 189–207, 2020.
[bibtex] [pdf] [doi]
[3] Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pages 357–374, 2019.
Note: A pre-print including the proofs is available at:
[bibtex] [pdf] [doi]
[2] Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
HAL, volume hal-01925653, Nov 2018.
Note: Accepted at TACAS 2019
[bibtex] [pdf]
[1] Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Isil Dillig, Jens Palsberg, eds.), volume 10747 of Lecture Notes in Computer Science, pages 1–24, 2018, Springer.
[bibtex] [pdf] [doi]

Latest News

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

Full news archive