Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ilina Stoilkovska
conf.researchr.org general profile
ECOOP 2019 profile
ETAPS 2019 profile
POPL 2018 profile
POPL 2021 profile
SPLASH 2022 profile
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
Share
x
Sat 28 Jan 01:38