Branislav Kordic

According to our database, Branislav Kordic authored at least 11 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Complete formal verification of the PSTM transaction Scheduler.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Comput. Sci. Inf. Syst., 2023

2021

PSTM Transaction Scheduler Verification Based on CSP and Testing.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

2019

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.

Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory.

Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

2017

An approach to formal verification of python software transactional memory.

Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

2015

Hands-on system programming labs & projects based on E2LP platform.

Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Ivan Kastelan

Proceedings of the 38th International Convention on Information and Communication Technology, 2015

Work, Span, and Parallelism of Transactional Memory Programs.

Miroslav Popovic, Branislav Kordic, Ilija Basicevic

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory.

Branislav Kordic, Miroslav Popovic, Ilija Basicevic

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

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

Proceedings of Eurocon 2013, 2013

Parallel Processing of Multichannel Video Based on Multicore Architecture.

Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Vukota Pekovic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

Test-Case Creation Framework for Touchscreen-Based Device Testing.

Ivan Kastelan, Branislav Kordic, Vukota Pekovic, Nikola Teslic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013