Test-Case Creation Framework for Touchscreen-Based Device Testing. - Ivan Kastelan; Branislav Kordic; Vukota Pekovic; Nikola Teslic (ECBS-EERC, 2013)

Parallel Processing of Multichannel Video Based on Multicore Architecture. - Branislav Kordic; Vladimir Marinkovic; Miroslav Popovic; Vukota Pekovic (ECBS-EERC, 2013)

A method for creating the operational profile of TV/STB device to be used for statistical testing. - Vladimir Marinkovic; Branislav Kordic; Miroslav Popovic; Vukota Pekovic (EUROCON, 2013)

DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory. - Branislav Kordic; Miroslav Popovic; Ilija Basicevic (ECBS-EERC, 2015)

Work, Span, and Parallelism of Transactional Memory Programs. - Miroslav Popovic; Branislav Kordic; Ilija Basicevic (ECBS-EERC, 2015)

Hands-on system programming labs & projects based on E2LP platform. - Branislav Kordic; Vladimir Marinkovic; Miroslav Popovic; Ivan Kastelan (MIPRO, 2015)

An approach to formal verification of python software transactional memory. - Branislav Kordic; Miroslav Popovic; Silvia Ghilezan; Ilija Basicevic (ECBS, 2017)

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. - Branislav Kordic; Marko Popovic; Miroslav Popovic; Moshe Goldstein; Moshe Amitay; David Dayan (ECBS, 2019)

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. - Miroslav Popovic; Marko Popovic; Silvia Ghilezan; Branislav Kordic (ECBS, 2019)

PSTM Transaction Scheduler Verification Based on CSP and Testing. - Miroslav Popovic; Marko Popovic; Branislav Kordic; Huibiao Zhu (ECBS, 2021)

Complete formal verification of the PSTM transaction Scheduler. - Miroslav Popovic; Marko Popovic; Branislav Kordic; Huibiao Zhu (Comput. Sci. Inf. Syst., 2023)