Branislav Kordic

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Topics

Protein Structure Prediction

Transactional Memory

Test Generation

Formal Verification

Top Venues

Comput. Sci. Inf. Syst.

Publications

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. 20 (1) (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS (2021)
Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. ECBS (2019)
Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan
A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. ECBS (2019)
Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic
An approach to formal verification of python software transactional memory. ECBS (2017)
Branislav Kordic, Miroslav Popovic, Ilija Basicevic
DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory. ECBS-EERC (2015)
Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Ivan Kastelan
Hands-on system programming labs & projects based on E2LP platform. MIPRO (2015)
Miroslav Popovic, Branislav Kordic, Ilija Basicevic
Work, Span, and Parallelism of Transactional Memory Programs. ECBS-EERC (2015)
Vladimir Marinkovic, Branislav Kordic, Miroslav Popovic, Vukota Pekovic
A method for creating the operational profile of TV/STB device to be used for statistical testing. EUROCON (2013)
Ivan Kastelan, Branislav Kordic, Vukota Pekovic, Nikola Teslic
Test-Case Creation Framework for Touchscreen-Based Device Testing. ECBS-EERC (2013)
Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Vukota Pekovic
Parallel Processing of Multichannel Video Based on Multicore Architecture. ECBS-EERC (2013)