@ARTICLE{
author={Djukic Miodrag M,Prokic Ivan,Popovic Miroslav V,Ghilezan Silvia,Popovic Marko M,Prokic Simona B},
year={2025},
title={Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT},
journal={INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Popovic Miroslav V,Popovic Marko M,Kastelan Ivan,Djukic Miodrag M,Basicevic Ilija V},
year={2024},
title={PTB-FLA Development Paradigm Adaptation for ChatGPT},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={21},
number={4},
pages={1269-1292},
document_type={Article},
} 

@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={Popovic Marko M,Marinkovic Vladimir,Djukic Miodrag M,Popovic Miroslav V},
year={2021},
title={Formal Verification of Distributed Master-Slave Finite State Machine},
journal={2021 29TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@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 Marko M,Basicevic Ilija V,Djukic Miodrag M,Popovic Miroslav V},
year={2020},
title={Fault Tolerant Distributed Python Software Transactional Memory},
journal={ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING},
volume={20},
number={4},
pages={19-28},
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={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={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={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},
}