Prof. Miroslav Popović


Missing picture!

Miroslav Popović

Full Professor


Telephone021/4801-104
E-mail
Academic titleFull Professor

Miroslav Popovic was born in Novi Sad, Serbia, in 1961. He received his Dipl. Eng., M.Sc., and Ph.D.  degrees from the Faculty of Technical Sciences, University of Novi Sad, Serbia, in 1984, 1988, and 1990, respectively.
   He is a Full Professor at the University of Novi Sad from 2002. Currently he is giving courses on parallel programming, real-time systems programming, and computer communications and computer networks. In the past, he has supervised many real-world projects for the industry, mostly in real-time and embedded systems. He has authored or co-authored 36 papers in journals on the SCI list, more than 120 international conference papers, and 5 patents. His research interests are engineering of computer-based systems, intelligent distributed systems, and security.
  Dr. Popovic is the author of the internationally known book “Communication protocol engineering, Second Edition” (published by CRC Press, Taylor & Francis Group, in 2018). According to Scopus his current h-index is 12.
LinkedIn: https://www.linkedin.com/pub/miroslav-popovic/28/68b/21b
ORCiD: http://orcid.org/0000-0001-8385-149X

Full Professor
17.07.2002.
Historical data about the employee's membership not found!
Data about the current functions of the employee not found!
TitleIn institution
Jedno rešenje automatskog restarta računarskog sistema

Bachelor's thesis

Electrical and Computer Engineering

Faculty of Technical Sciences

1984

Jedan pristup u realizaciji koncepta VMS

Magister thesis

Electrical and Computer Engineering

Faculty of Technical Sciences

1988

Prilog primeni koncepta VM u ambijentu otvorene arhitekture

PhD thesis

Electrical and Computer Engineering

Faculty of Technical Sciences

1990

Criterium of productionDescription
() Čapko D., Erdeljan A., Popović M., Švenda G.: An Optimal Relationship-Based Partitioning of Large Datasets, LNCS, Springer Verlag, 2010, str. 555-558, ISBN 978-3-642-15575-8
() Researches published in the journals of the international importancePerić M., Perić D., Todorović B., Popović M.: Dynamic Rain Attenuation Model for Millimeter Wave Network Analysis, IEEE Transactions on Wireless Communications, 2017, Vol. 16, No 1, pp. 441-450, ISSN 1536-1276.
() Research published in the top international journalLiu A., Zhu H., Popović M., Xiang S., Zhang L.: Formal Analysis and Verification of the PSTM Architecture Using CSP, Journal of Systems and Software, 2020, Vol. 165, pp. 1-14, ISSN 0164-1212
() Research published in the prominent international journalBusch C., Herlihy M., Popović M., Sharma G.: Time-communication impossibility results for distributed transactional memory, Distributed Computing, 2018, Vol. 31, No 6, pp. 471-487, ISSN 0178-2770.
() Research published in the prominent international journalBojović P., Bašičević I., Očovaj S., Popović M.: A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method, Computers and Electrical Engineering, 2019, Vol. 73, pp. 84-96, ISSN 0045-7906
() Research published in the prominent international journalKordić B., Popović M., Gilezan S.: Formal Verification of Python Software Transactional Memory Based on Timed Automata, Acta Polytechnica Hungarica, Journal of Applied Sciences, 2019, Vol. 16, No. 7, pp. 197-216, ISSN 1785-8860
() Research published in the prominent international journalKaštelan I., Popović M., Bjelica M.: A Learning Model for Lifelong Education of Computer Engineers, IEEE Access, 2023, Vol. 11, pp. 1-13, ISSN 2169-3536
() Research published in the international journalBašičević I., Očovaj S., Popović M.: Evaluation of Entropy-Based Detection of Outbound DoS Attacks in Edge Networks, Security and Communication Networks, 2015, Vol. 8, No. 5, pp. 837-844, ISSN 1939-0114
() Research published in the international journalBašičević I., Očovaj S., Popović M.: Use of Tsallis entropy in detection of SYN flood DoS attacks, Security and Communication Networks, 2015, Vol. 8, No. 18, pp. 3634-3640, ISSN 1939-0114
() Research published in the international journalMileusnić M., Popović M., Lebl A., Mitić D., Markov Ž.: Power Control of Base Station in GSM: Influence of Users’ Density in the Cell, Automatika, 2015, Vol. 56, No. 1, pp. 84-90, ISSN 0005-1144
() Research published in the international journalČetić N., Popović M., Đukić M., Kovačević J.: Source traffic modeling in WSN for acoustic sensing in reverberant environment, Elektronika Ir Elektrotechnika, 2015, Vol. 21, No. 5, pp. 64-68, ISSN 1392-1215
() Research published in the international journalBašičević I., Očovaj S., Popović M.: The value of flow size distribution in entropy based detection of DoS attacks, Security and Communication Networks, 2016, Vol. 9, No. 10, pp. 958-965, ISSN 1939-0114
() Research published in the international journalKrunić M., Popović M., Krunic V., Krunić V., Četić N.: Energy Consumption Estimation for Embedded Applications, Elektronika Ir Elektrotechnika, 2016, Vol. 22, No. 3, pp. 44-49, ISSN 1392-1215
() Research published in the international journalLebl A., Mitić D., Popović M., Markov Ž., Mileusnić M., Matić V.: Influence of Mobile User’s Density Distribution on the CDMA Base Station Power, Јournal of Electrical Engineering, 2016, Vol. 67, No. 6, pp. 390-398, ISSN 1335-3632
() Research published in the international journalMarinković V., Popović M., Đukić M.: An Automatic Instruction-Level Parallelization of Machine Code, Journal of Advances in Electrical and Computer Engineering, 2018, Vol. 18, No. 1, pp. 27-36, ISSN 1582-7445
() Research published in the international journalPetković M., Bašičević I., Kukolj D., Popović M.: Evaluation of Takagi-Sugeno-Kang Fuzzy Method in Entropy-based Detection of DDoS attacks, Computer Science and Information Sistems, 2018, Vol. 15, No. 1, pp. 139-162, ISSN 1820-0214
() Research published in the international journalPopović M., Popović M., Gilezan S., Kordić B.: Formal Verification of Local and Distributed Python Software Transactional Memories, Revue Roumaine des Sciences Techniques. Ser. Electrotechnique et Energetique, 2019, Vol. 64, No. 4, pp. 423-428, ISSN 0035-4066
() Research published in the international journalPopović M., Bašičević I., Đukić M., Popović M.: Fault Tolerant Distributed Python Software Transactional Memory, Journal of Advances in Electrical and Computer Engineering, 2020, Vol. 20, No. 4, pp. 19-28, ISSN 1582-7445
() Research published in the international journalKordić B., Popović M., Popović M., Goldstein M., Amitay M., Dayan D., Fredj E.: An Evolutionary Computational System Architecture Based on a Software Transactional Memory, Revue Roumaine des Sciences Techniques. Ser. Electrotechnique et Energetique, 2021, Vol. 61, No. 1, pp. 47-52, ISSN 0035-4066
() Research published in the international journalBusch C., Herlihy M., Popović M., Sharma G.: Fast Scheduling in Distributed Transactional Memory, Theory of Computer Systems, 2021, Vol. 65, No. 2, pp. 296-322, ISSN 1432-4350
() Research published in the international journalBusch C., Herlihy M., Popović M., Sharma G.: Dynamic scheduling in distributed transactional memory, Distributed Computing, 2022, Vol. 35, No. 1, pp. 19-36, ISSN 0178-2770
() Research published in the international journalPopović M., Popović M., Kordić B., Zhu H.: Complete Formal Verification of the PSTM Transaction Scheduler, Computer Science and Information Sistems, 2023, Vol. 20, No. 1, pp. 307-327, ISSN 1820-0214
() Research published in the international journalBusch C., Chlebus B., Herlihy M., Popović M., Poudel P., Sharma G.: Flexible Scheduling of Transactional Memory on Trees, Theoretical Computer Science, 2023, Vol. 978, pp. 1-16, ISSN 0304-3975
() Research published in the international journalPopović M., Popovic M., Kaštelan I., Đukić M., Bašičević I.: PTB-FLA Development Paradigm Adaptation for ChatGPT, Computer Science and Information Sistems, 2024, Vol. 21, No. 4, pp. 1269-1292, ISSN 1820-0214
() Research published in the journal of the international importance verified by the special resolutionBrkin D., Kordić B., Popović M.: A Simulation of Distributed STM, Serbian Journal of Electrical Engineering, 2018, Vol. 15, No. 1, pp. 85-95, ISSN 1451-4869
() Report from the international meeting printed in its entiretyPopović M., Popović M., Kaštelan I., Đukić M., Gilezan S.: A Simple Python Testbed for Federated Learning Algorithms, 8. IEEE Zooming Innovation in Consumer Electronics International Conference ZINC, Novi Sad, 29-31 May, 2023, pp. 1-6
() Report from the international meeting printed in its entiretyPopović M., Popović M., Kaštelan I., Đukić M., Bašičević I.: Federated Learning Algorithms Development Paradigm Based on PTB-FLA, 8. Conference on the Engineering of Computer Based Systems (ECBS), Vesteros: Springer, 16-18 October, 2023, pp. 26-41, ISBN 978-3-031-49251-8
() Report from the international meeting printed in its entiretyProkić I., Gilezan S., Prokić S., Popović M., Popović M., Kaštelan I.: Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP, 8. Conference on the Engineering of Computer Based Systems (ECBS), Vesteros: Springer, 16-18 October, 2023, pp. 274-288, ISBN 978-3-031-49251-8
() Report from the international meeting printed in its entiretyPopović M., Đukić M., Bašičević I., Popović M.: DPSTM-PS Based Edge Network with MicroPython Based IoTs, 31. Telekomunikacioni forum TELFOR, Beograd, 21-22 November, 2023, pp. 1-4
() Report from the international meeting printed in its entiretyPopović M., Popović M., Kaštelan I., Đukić M., Bašičević I.: Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT, 31. Telekomunikacioni forum TELFOR, Beograd, 21-22 November, 2023, pp. 1-4
() Report from the international meeting printed in its entiretyPopović M., Popović M., Kaštelan I., Đukić M., Bašičević I., Vasiljević P.: MicroPython Testbed for Federated Learning Algorithms, 32. Telekomunikacioni forum TELFOR, Beograd, 26-27 November, 2024, pp. 1-4
() Report from the international meeting printed in its entiretyPopović M., Popović M., Đukić M., Bašičević I.: Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites, 32. Telekomunikacioni forum TELFOR, Beograd, 26-27 November, 2024, pp. 1-4
() Basic textbook for the courseMiroslav Popović, Vladimir Kovačević, Paralelno Programiranje, Edicija Tehničke nauke – udžbenici, FTN Izdavaštvo, br. 950, 2021, ISBN 978-86-6022-362-5.
() Basic textbook for the courseMiroslav Popović, Vladimir Marinković, Vladimir Kovačević, Operativni sistemi u realnom vremenu, Edicija Tehničke nauke - udžbenici, FTN Izdavaštvo, br. 1008, 2022, ISBN 978-86-6022-437-0.
() Basic textbook for the courseIlija Bašičević, Miroslav Popović, Vladimir Kovačević, Osnove računarskih mreža 1, Edicija Tehničke nauke - udžbenici, FTN Izdavaštvo, 2021, ISBN: 978-86-6022-344-1.
() Basic textbook for the courseMiroslav Popović, Osnove distribuiranih sistema u realnom vremenu, Edicija Tehničke nauke - udžbenici, FTN Izdavaštvo, br. 951, 2021, ISBN 978-86-6022-363-2.
() Additional textbook for the courseMiroslav Popović, Communication Protocol Engineering, Second Edition, CRC Press, Taylor & Francis Group, 2018, ISBN 978-1-1385-5812-0.
TitleScientific areaHigher education institutionElection date
Full ProfessorComputer Engineering and Computer CommunicationUniversity of Novi Sad17.07.2002.