Miroslav Popović | Fakultet Tehničkih Nauka

prof. dr Miroslav Popović

Redovni profesor

Biografija

Radno mesto

Funkcije na kojima je zaposleni

Radovi

Reprezentativne reference

Izbori u zvanja

Biografija

Miroslav Popović je rođen u Novom Sadu 1961 god. Diplomirao, magistrirao i doktorirao na Fakultetu tehničkih nauka, Univerziteta u Novom Sadu 1984, 1988, i 1990 god., respektivno. Redovni je profesor na Univerzitetu u Novom Sadu od 2002 god. Sada uglavnom predaje predmete iz paralelnog programiranja, sistemskog programiranja u realnom vremenu, i međuračunarskih komunikacija i računarskih mreža. U prošlosti je vodio mnoge projekte za industriju, uglavnom povezane sa realnim vremenom i ugrađenim sistemima. Autor ili koautor je 36 radova u časopisima na SCI listi, preko 120 radova na međunarodnim konferencijama i 5 patenata. Njegova istraživačka interesovanja su u oblastima: inženjering sistema zasnovanih na računarima, inteligentni distribuirani sistemi, i zaštita. Autor je međunarodno priznate knjige “Communication protocol engineering, Second Edition” (izdavač: “CRC Press, Taylor & Francis Group”, štampana: 2018 god.). Prema Scopus-u njegov h-index je sada 12. LinkedIn: https://www.linkedin.com/pub/miroslav-popovic/28/68b/21b ORCiD: http://orcid.org/0000-0001-8385-149X

Radno mesto

Aktuelno

Radno mesto	Od	Organizaciona jedinica
Redovni profesor	17. 07. 2002.	Katedra za računarsku tehniku

Funkcije na kojima je zaposleni

Aktuelne

Naziv funkcije	Od	Organizaciona jedinica

Istorijske

Naziv funkcije	Od	Do	Organizaciona jedinica
Šef katedre	01. 10. 2018.	31. 10. 2024.	01. 10. 2018. - 31. 10. 2024.	Katedra za računarsku tehniku
Šef katedre	01. 10. 2012.	01. 01. 1970.	01. 10. 2012. -	Katedra za računarsku tehniku
Šef katedre	01. 10. 2009.	30. 09. 2012.	01. 10. 2009. - 30. 09. 2012.	Katedra za računarsku tehniku
Direktor departmana	01. 10. 2004.	30. 09. 2006.	01. 10. 2004. - 30. 09. 2006.	Departman za računarstvo i automatiku

Radovi

Naziv	U Ustanovi
Jedno rešenje automatskog restarta računarskog sistema Diploma Elektrotehničko i računarsko inženjerstvo	Fakultet tehničkih nauka 1984
Jedan pristup u realizaciji koncepta VMS Magistratura Elektrotehničko i računarsko inženjerstvo	Fakultet tehničkih nauka 1988
Prilog primeni koncepta VM u ambijentu otvorene arhitekture Doktorat Elektrotehničko i računarsko inženjerstvo	Fakultet tehničkih nauka 1990

Reprezentativne reference

Kriterijum produkcije	Opis
Kriterijum produkcije (U01) Osnovni udžbenik za nastavni predmet	Opis Miroslav Popović, Vladimir Kovačević, Paralelno Programiranje, Edicija Tehničke nauke – udžbenici, FTN Izdavaštvo, br. 950, 2021, ISBN 978-86-6022-362-5.
Kriterijum produkcije (U01) Osnovni udžbenik za nastavni predmet	Opis Miroslav 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.
Kriterijum produkcije (U01) Osnovni udžbenik za nastavni predmet	Opis Ilija 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.
Kriterijum produkcije (U01) Osnovni udžbenik za nastavni predmet	Opis Miroslav 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.
Kriterijum produkcije (U02) Pomoćni udžbenik za nastavni predmet	Opis Miroslav Popović, Communication Protocol Engineering, Second Edition, CRC Press, Taylor & Francis Group, 2018, ISBN 978-1-1385-5812-0.
Kriterijum produkcije (M21a) Rad u međunarodnom časopisu izuzetnih vrednosti	Opis Perić 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.
Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu	Opis Liu 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
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	Opis Busch 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.
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	Opis Bojović 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
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	Opis Kordić 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
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	Opis Kaš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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Baš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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Baš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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Mileusnić 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Č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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Baš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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Krunić 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Lebl 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Marinković 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Petković 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Popović 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Popović 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Kordić 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Busch 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Busch 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Popović 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Busch 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
Kriterijum produkcije (M23) Rad u međunarodnom časopisu	Opis Popović 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
Kriterijum produkcije (M24) Rad u časopisu međunarodnog značaja verifikovanog posebnom odlukom	Opis Brkin 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Popović 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Popović 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Prokić 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Popović 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Popović 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Popović 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
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Popović 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
Kriterijum produkcije ()	Opis Č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

Izbori u zvanja

Zvanje	Uža naučna oblast	Visokoškolska ustanova	Datum izbora
Redovni profesor	Računarska tehnika i računarske komunikacije	Univerzitet u Novom Sadu	17. 07. 2002.

ORGANIZACIJA

DOKUMENTA

ZAPOSLENI

KONKURSI

Galerije

AKREDITACIJA

KONTAKT

AKREDITACIJA

KONTAKT

Studentska služba

prof. dr Miroslav Popović

Redovni profesor

Diploma

Elektrotehničko i računarsko inženjerstvo

1984

Magistratura

Elektrotehničko i računarsko inženjerstvo

1988

Doktorat

Elektrotehničko i računarsko inženjerstvo

1990

Kontakt: