• Sign in
  • Sign up
conf.researchr.org / Ilina Stoilkovska
  • 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
xSat 28 Jan 01:38
using conf.researchr.org (v1.58.0)
Support page
Sign Up