@ARTICLE{
author={Popovic Miroslav V,Popovic Marko M,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,Popovic Miroslav V,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,Popovic Marko M,Ghilezan Silvia,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,Popovic Miroslav V,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,Popovic Miroslav V,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,Kordic Branislav A,Kovacevic Marko,Bojovic Zivko C},
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,Popovic Miroslav V,Ghilezan Silvia,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,Ghilezan Silvia},
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,Kordic Branislav A,Popovic Miroslav V,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,Ghilezan Silvia,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,Kordic Branislav A,Popovic Miroslav V,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,Ghilezan Silvia,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,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,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,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,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,Kastelan Ivan},
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,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,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,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},
}