conf.researchr.org / Ilina Stoilkovska

Not registered as user yet

Name: Ilina Stoilkovska

Affiliation: Vienna University of Technology

Contributions

ECOOP 2019Committee Member in Program Committee within the Doctoral Symposium-track
TACAS 2019Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
ETAPS 2019Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track
VMCAI 2018Author of Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction within the VMCAI 2018-track