Ilina Stoilkovska
» Project Assistant, PhD student
I am a PhD student under the supervision of Florian Zuleger and Josef Widder. I am also affiliated with the LogiCS Doctoral College. Prior to this, I have 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. I am working on developing methods for automatic verification of synchronous fault tolerant distributed algorithms.
Address:
Ilina Stoilkovska
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HD 03 23 (how to get there) |
| Phone: | +43 (1) 58801 – 740 020 |
| Email: | stoilkov@forsyte.at |
| Web: | http://forsyte.at/~stoilkovska/ |
Publications
| 2020 | |
| [4] | Tutorial: Parameterized Verification with Byzantine Model Checker FORTE 2020, pages 189–207, 2020. |
| 2019 | |
| [3] | Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking 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: https://hal.inria.fr/hal-01925653 |
| 2018 | |
| [2] | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking HAL, volume hal-01925653, Nov 2018. Note: Accepted at TACAS 2019 |
| [1] | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction 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. |
