Autori: Popovic Miroslav V
| 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 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 practical approach to detection of distributed denial-of-service attacks using a hybrid detection method (Article) |
| Autori | Bojovic Petar D Basicevic Ilija V Ocovaj Stanislav V Popovic Miroslav V |
| Info | COMPUTERS & ELECTRICAL ENGINEERING, (2019), vol. 73 br. , str. 84-96 |
| Projekat | Ministry of Education, Science and Technological Development of the Republic of Serbia [III 45003, III 44009-2] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Time-communication impossibility results for distributed transactional memory (Article) |
| Autori | Busch Costas Herlihy Maurice Popovic Miroslav V Sharma Gokarna |
| Info | DISTRIBUTED COMPUTING, (2018), vol. 31 br. 6, str. 471-487 |
| Projekat | National Science Foundation [1320835, 1420673]; Serbian Ministry of Education and Science [III 44009, TR 32031] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Evaluation of Takagi-Sugeno-Kang Fuzzy Method in Entropy-based Detection of DDoS attacks (Article) |
| Autori | Petkovic Miodrag Basicevic Ilija V Kukolj Dragan D Popovic Miroslav V |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2018), vol. 15 br. 1, str. 139-162 |
| Projekat | Ministry of Education and Science of the Republic of Serbia [TR32030] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | An Automatic Instruction-Level Parallelization of Machine Code (Article) |
| Autori | Marinkovic Vladimir Popovic Miroslav V Djukic Miodrag M |
| Info | ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, (2018), vol. 18 br. 1, str. 27-36 |
| Projekat | Serbian Ministry of Education and Science of the Republic of Serbia [TR 32031] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Dynamic Rain Attenuation Model for Millimeter Wave Network Analysis (Article) |
| Autori | Peric Miroslav V Peric Dragana B Todorovic Branislav M Popovic Miroslav V |
| Info | IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, (2017), vol. 16 br. 1, str. 441-450 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Influence of Mobile Users' Density Distribution on the CDMA Base Station Power (Article) |
| Autori | Lebl Aleksandar V Mitic Dragan S Popovic Miroslav V Markov Zarko Mileusnic Mladen Dj Matic Vladimir S |
| Info | Journal of Electrical Engineering-Elektrotechnicky Casopis, (2016), vol. 67 br. 6, str. 390-398 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Energy Consumption Estimation for Embedded Applications (Article) |
| Autori | Krunic Momcilo V Popovic Miroslav V Krunic Vlado M Cetic Nenad B |
| Info | ELEKTRONIKA IR ELEKTROTECHNIKA, (2016), vol. 22 br. 3, str. 44-49 |
| Projekat | Ministry of Education and Sciences of the Republic of Serbia [TR-32031] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
