Ilina Stoilkovska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2018–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAS | Lifting On-Demand Analysis to Higher-Order Languages. | Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang |
| 2021 | VMCAI | Eliminating Message Counters in Synchronous Threshold Automata. | Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger |
| 2020 | ATVA | Eliminating Message Counters in Threshold Automata. | Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger |
| 2020 | CAV | Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). | Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir |
| 2020 | FORTE | Tutorial: Parameterized Verification with Byzantine Model Checker. | Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder |
| 2020 | ISoLA | Tendermint Blockchain Synchronization: Formal Specification and Model Checking. | Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir |
| 2019 | TACAS | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. | Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger |
| 2018 | VMCAI | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. | Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger |