Branislav Kordic

13 papers Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2023 J jnl
Complete formal verification of the PSTM transaction Scheduler.
Comput. Sci. Inf. Syst.
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2023 J jnl
PSTM Transaction Scheduler Verification Based on CSP and Testing.
CoRR
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2021 — conf
PSTM Transaction Scheduler Verification Based on CSP and Testing.
ECBS
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2020 — —
Формална верификација софтверске трансакционе меморије засноване на временским аутоматима ; Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima ; Formal verification of a software transactional memory based on timed automata.
Branislav Kordic
2019 — conf
A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory.
ECBS
Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan
2019 — conf
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.
ECBS
Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic
2017 — conf
An approach to formal verification of python software transactional memory.
ECBS
Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic
2015 — conf
DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory.
ECBS-EERC
Branislav Kordic, Miroslav Popovic, Ilija Basicevic
2015 — conf
Hands-on system programming labs & projects based on E2LP platform.
MIPRO
Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Ivan Kastelan
2015 — conf
Work, Span, and Parallelism of Transactional Memory Programs.
ECBS-EERC
Miroslav Popovic, Branislav Kordic, Ilija Basicevic
2013 — conf
A method for creating the operational profile of TV/STB device to be used for statistical testing.
EUROCON
Vladimir Marinkovic, Branislav Kordic, Miroslav Popovic, Vukota Pekovic
2013 — conf
Parallel Processing of Multichannel Video Based on Multicore Architecture.
ECBS-EERC
Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Vukota Pekovic
2013 — conf
Test-Case Creation Framework for Touchscreen-Based Device Testing.
ECBS-EERC
Ivan Kastelan, Branislav Kordic, Vukota Pekovic, Nikola Teslic