Ilina Stoilkovska

11 papers B 4C 1Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2023	B	`conf`	Lifting On-Demand Analysis to Higher-Order Languages. SAS Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
2023	J	`jnl`	Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. Log. Methods Comput. Sci. Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2022	J	`jnl`	Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. Int. J. Softw. Tools Technol. Transf. Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2021	B	`conf`	Eliminating Message Counters in Synchronous Threshold Automata. VMCAI Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2020	B	`conf`	Eliminating Message Counters in Threshold Automata. ATVA Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2020	—	`conf`	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020	J	`jnl`	Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. CoRR Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2020	—	`conf`	Tendermint Blockchain Synchronization: Formal Specification and Model Checking. ISoLA (1) Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020	C	`conf`	Tutorial: Parameterized Verification with Byzantine Model Checker. FORTE Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2019	—	`conf`	Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. TACAS (2) Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2018	B	`conf`	Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski