Autori: Popovic Miroslav V
| Naslov | Fault Tolerant Distributed Python Software Transactional Memory (Article) |
| Autori | Popovic Marko M Basicevic Ilija V Djukic Miodrag M Popovic Miroslav V |
| Info | ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, (2020), vol. 20 br. 4, str. 19-28 |
| Projekat | Serbian Ministry of Education, Science, and Technology Development [III 44009-2] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal analysis and verification of the PSTM architecture using CSP (Article) |
| Autori | Liu Ailun Zhu Huibiao Popovic Miroslav V Xiang Shuangqing Zhang Lei |
| Info | JOURNAL OF SYSTEMS AND SOFTWARE, (2020), vol. 165 br. , str. - |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of |
| Ispravka | ISI/Web of Science Članak 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 | Secure firmware update in embedded systems (Proceedings Paper) |
| Autori | Keleman Levon Matic Danijel Popovic Miroslav V Kastelan Ivan |
| Info | 2019 IEEE 9TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE-BERLIN), (2019), vol. br. , str. 16-19 |
| Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [III44009-2] |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
| Naslov | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP (Proceedings Paper) |
| Autori | Xu Chao Wu Xi Zhu Huibiao Popovic Miroslav V |
| Info | 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), (2019), vol. br. , str. 240-247 |
| Projekat | National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213] |
| Ispravka | ISI/Web of Science Članak 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 | One method for hybrid playback and recording of digital TV channels on embedded devices (Proceedings Paper) |
| Autori | Vranic Nikola Popovic Miroslav V |
| Info | 2019 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC), (2019), vol. br. , str. 64-69 |
| Ispravka | ISI/Web of Science 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 |
