conf.researchr.org / Ilina Stoilkovska

Registered user since Tue 11 Jan 2022

Name:Ilina Stoilkovska
Affiliation:Amazon

Contributions

SAS 2022 Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
VMCAI 2021 Author of Eliminating Message Counters in Synchronous Threshold Automata within the VMCAI-track
ECOOP 2019 Committee Member in Program Committee within the Doctoral Symposium-track
ETAPS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track
TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
VMCAI 2018 Author of Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction within the VMCAI 2018-track