@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 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},
}