Autori: Kordic Branislav A
| Naslov | Complete Formal Verification of the PSTM Transaction Scheduler (Article) |
| Autori | Popovic Miroslav V Popovic Marko M Kordic Branislav A Zhu Huibiao |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2023), vol. 20 br. 1, str. 307-327 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [451-03-68/2020-14/200156]; "Digital Silk Road" Shanghai International Joint Lab of Trustworthy Intelligent Software [22510750100] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | An Evolutionary Computational System Architecture Based on a Software Transactional Memory (Article) |
| Autori | Kordic Branislav A Popovic Marko M Popovic Miroslav V Goldstein Moshe Amitay Moshe Da Yan David Fredj Erick |
| Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2021), vol. 66 br. 1, str. 47-52 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model (Proceedings Paper) |
| Autori | Popovic Miroslav V Popovic Marko M Ghilezan Silvia Kordic Branislav A |
| Info | PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), (2020), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009-2, III-44006, ON174026] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
| Naslov | A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory (Proceedings Paper) |
| Autori | Kordic Branislav A Popovic Marko M Popovic Miroslav V Goldstein Moshe Amitay Moshe Dayan David |
| Info | PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), (2020), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [III-44009-2] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science |
| Naslov | A Solution of Python Distributed STM Based on Data Replication (Proceedings Paper) |
| Autori | Popovic Marko M Popovic Miroslav V Kordic Branislav A Basicevic Ilija V |
| Info | 2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019), (2019), vol. br. , str. 664-667 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009] |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science Scopus |
| Naslov | A Solution for Measuring Code Coverage during Automated Testing of an Electronic Circuit Unit (Proceedings Paper) |
| Autori | Malbasic Teodor Kordic Branislav A Kovacevic Marko Bojovic Zivko C |
| Info | 2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019), (2019), vol. br. , str. 614-617 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Local and Distributed Python Software Transactional Memories (Article) |
| Autori | Popovic Marko M Popovic Miroslav V Ghilezan Silvia Kordic Branislav A |
| Info | REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE, (2019), vol. 64 br. 4, str. 423-428 |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal Verification of Python Software Transactional Memory Based on Timed Automata (Article) |
| Autori | Kordic Branislav A Popovic Miroslav V Ghilezan Silvia |
| Info | ACTA POLYTECHNICA HUNGARICA, (2019), vol. 16 br. 7, str. 197-216 |
| Projekat | Ministry of Education, Science, and Technology Development of Republic of Serbia [III-44009, ON174026, III044006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A Solution of Concurrent Queue on PSTM (Proceedings Paper) |
| Autori | Popovic Marko M Kordic Branislav A Popovic Miroslav V Basicevic Ilija V |
| Info | 2018 26TH TELECOMMUNICATIONS FORUM (TELFOR), (2018), vol. br. , str. 735-738 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [III-44009] |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science Scopus |
| Naslov | An Approach to Formal Verification of Python Software Transactional Memory (Proceedings Paper) |
| Autori | Kordic Branislav A Popovic Miroslav V Ghilezan Silvia Basicevic Ilija V |
| Info | PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017), (2017), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [TR32031, ON174026, III044006]; Secretary of Science and Technology Development of the Province of Vojvodina [114-451-1074/2014-03] |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
