Autori: Popovic Miroslav V
| Naslov | A way to identify potential functions for vectorization for RISC-V (Proceedings Paper) |
| Autori | Stojkovic Dusan Popovic Miroslav V |
| Info | 2025 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONIC AND COMPUTING ENGINEERING, ICETRAN, (2025), vol. br. , str. - |
| Ispravka | ISI/Web of Science Članak |
| Naslov | Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems (Proceedings Paper) |
| Autori | Vasiljevic Pavle Matic Milica Popovic Miroslav V |
| Info | 2025 IEEE ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE, ZINC, (2025), vol. br. , str. 30-35 |
| Projekat | European Union [101093006] |
| Ispravka | ISI/Web of Science Članak |
| Naslov | Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT (Article; Early Access) |
| Autori | Djukic Miodrag M Prokic Ivan Popovic Miroslav V Ghilezan Silvia Popovic Marko M Prokic Simona B |
| Info | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, (2025), vol. br. , str. - |
| Projekat | European Union [101093006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | PTB-FLA Development Paradigm Adaptation for ChatGPT (Article) |
| Autori | Popovic Miroslav V Popovic Marko M Kastelan Ivan Djukic Miodrag M Basicevic Ilija V |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2024), vol. 21 br. 4, str. 1269-1292 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Flexible scheduling of transactional memory on trees (Article) |
| Autori | Busch Costas Chlebus Bogdan S Herlihy Maurice Popovic Miroslav V Poudel Pavan Sharma Gokarna |
| Info | THEORETICAL COMPUTER SCIENCE, (2023), vol. 978 br. , str. - |
| Projekat | National Science Foundation [CNS-2045597] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | A Learning Model for Lifelong Education of Computer Engineers (Article) |
| Autori | Kastelan Ivan Popovic Miroslav V Bjelica Milan Z |
| Info | IEEE ACCESS, (2023), vol. 11 br. , str. 101296-101308 |
| Projekat | Provincial Secretariat for Higher Education and Scientific Research [142-451-2339/2022-01/01] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| 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 | Guest Editorial - Engineering of Computer Based Systems (Editorial Material) |
| Autori | Djukic Miodrag M Popovic Miroslav V |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2023), vol. 20 br. 1, str. V-VI |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Flexible Scheduling of Transactional Memory on Trees (Proceedings Paper) |
| Autori | Busch Costas Chlebus Bogdan S Herlihy Maurice Popovic Miroslav V Poudel Pavan Sharma Gokarna |
| Info | STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS (SSS 2022), (2022), vol. 13751 br. , str. 146-163 |
| Projekat | National Science Foundation [CNS-2045597] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP (Proceedings Paper) |
| Autori | Li Peimu Yin Jiaqi Zhu Huibiao Xiao Lili Popovic Miroslav V |
| Info | 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), (2022), vol. br. , str. 872-877 |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145, 62032024]; Shanghai Trusted Industry Internet Software Collaborative Innovation Center; Dean's Fund of Shanghai Key Laboratory of Trustworthy Computing (East China Normal University) |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science Scopus |
