@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Popovic Marko M|0000-0002-1957-0092,Kordic Branislav A|,Zhu Huibiao|},
year={2023},
title={Complete Formal Verification of the PSTM Transaction Scheduler},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={20},
number={1},
pages={307-327},
document_type={Article},
} 

@ARTICLE{
author={Kordic Branislav A|,Popovic Marko M|0000-0002-1957-0092,Popovic Miroslav V|0000-0001-8385-149X,Goldstein Moshe|,Amitay Moshe|,Da Yan David|,Fredj Erick|},
year={2021},
title={An Evolutionary Computational System Architecture Based on a Software Transactional Memory},
journal={REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE},
volume={66},
number={1},
pages={47-52},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Popovic Marko M|0000-0002-1957-0092,Ghilezan Silvia|0000-0003-2253-8285,Kordic Branislav A|},
year={2020},
title={Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model},
journal={PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A|,Popovic Marko M|0000-0002-1957-0092,Popovic Miroslav V|0000-0001-8385-149X,Goldstein Moshe|,Amitay Moshe|,Dayan David|},
year={2020},
title={A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory},
journal={PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M|0000-0002-1957-0092,Popovic Miroslav V|0000-0001-8385-149X,Kordic Branislav A|,Basicevic Ilija V|},
year={2019},
title={A Solution of Python Distributed STM Based on Data Replication},
journal={2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019)},
volume={},
number={},
pages={664-667},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Malbasic Teodor|0000-0001-8953-8680,Kordic Branislav A|,Kovacevic Marko|,Bojovic Zivko C|0000-0001-6257-6417},
year={2019},
title={A Solution for Measuring Code Coverage during Automated Testing of an Electronic Circuit Unit},
journal={2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019)},
volume={},
number={},
pages={614-617},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M|0000-0002-1957-0092,Popovic Miroslav V|0000-0001-8385-149X,Ghilezan Silvia|0000-0003-2253-8285,Kordic Branislav A|},
year={2019},
title={Formal Verification of Local and Distributed Python Software Transactional Memories},
journal={REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE},
volume={64},
number={4},
pages={423-428},
document_type={Article},
} 

@ARTICLE{
author={Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Ghilezan Silvia|0000-0003-2253-8285},
year={2019},
title={Formal Verification of Python Software Transactional Memory Based on Timed Automata},
journal={ACTA POLYTECHNICA HUNGARICA},
volume={16},
number={7},
pages={197-216},
document_type={Article},
} 

@ARTICLE{
author={Popovic Marko M|0000-0002-1957-0092,Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Basicevic Ilija V|},
year={2018},
title={A Solution of Concurrent Queue on PSTM},
journal={2018 26TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={735-738},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Ghilezan Silvia|0000-0003-2253-8285,Basicevic Ilija V|},
year={2017},
title={An Approach to Formal Verification of Python Software Transactional Memory},
journal={PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M|0000-0002-1957-0092,Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Basicevic Ilija V|},
year={2017},
title={Advanced algorithm for scheduling TM transactions with conflict avoidance},
journal={2017 25TH TELECOMMUNICATION FORUM (TELFOR)},
volume={},
number={},
pages={844-847},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Ghilezan Silvia|0000-0003-2253-8285,Basicevic Ilija V|},
year={2017},
title={An Approach to Formal Verification of Python Software Transactional Memory},
journal={FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Kordic Branislav A|,Basicevic Ilija V|},
year={2017},
title={Transaction Scheduling for Software Transactional Memory},
journal={2017 2ND IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA 2017)},
volume={},
number={},
pages={191-195},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Kordic Branislav A|,Basicevic Ilija V|},
year={2016},
title={Estimating Transaction Execution Times for a Software Transactional Memory},
journal={2016 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST)},
volume={},
number={},
pages={137-141},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Basicevic Ilija V|},
year={2015},
title={DPM-PSTM: Dual-port Memory Based Python Software Transactional Memory},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={126-129},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Kordic Branislav A|,Basicevic Ilija V|},
year={2015},
title={Work, Span, and Parallelism of Transactional Memory Programs},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={59-66},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A|,Marinkovic Vladimir|,Popovic Miroslav V|0000-0001-8385-149X,Kastelan Ivan|0000-0003-3417-7237},
year={2015},
title={Hands-on System Programming Labs & Projects Based on E2LP Platform},
journal={2015 8TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO)},
volume={},
number={},
pages={790-793},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Kordic Branislav A|},
year={2014},
title={PSTM: Python Software Transactional Memory},
journal={2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={1106-1109},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vladimir|,Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Pekovic Vukota|},
year={2013},
title={A Method for Creating the Operational Profile of TV/STB Device to be Used for Statistical Testing},
journal={2013 IEEE EUROCON},
volume={},
number={},
pages={93-97},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vladimir|,Kordic Branislav A|,Popovic Miroslav V|0000-0001-8385-149X,Pekovic Vukota|},
year={2013},
title={Improved Automatic DTV/STB Menu Navigation for Functional Verification},
journal={2013 36TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO)},
volume={},
number={},
pages={847-850},
document_type={Proceedings Paper},
}