conf.researchr.org / Ilina Stoilkovska

Not registered as user yet

Name: Ilina Stoilkovska

Affiliation: Vienna University of Technology

Contributions

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
TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
ETAPS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track
VMCAI 2018 Author of Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction within the VMCAI 2018-track