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 (M21a) Rad u vodećem međunarodnom časopisu kategorije M21a	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 vodećem međunarodnom časopisu kategorije M21	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 međunarodnom časopisu kategorije M22	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 (M22) Rad u međunarodnom časopisu kategorije M22	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 međunarodnom časopisu kategorije M22	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 međunarodnom časopisu kategorije M22	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 (M23) Rad u međunarodnom časopisu kategorije M23	Opis Djukic M., Prokić I., Popovic M., Ghilezan S., Popovic M., Prokić S.: Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT, International Journal on Software Tools for Technology Transfer, Special Issue: ECBS 2023, 2025, Vol. 27, No. 1, pp. 21-34, ISSN 1433-2779
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	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 (M23) Rad u međunarodnom časopisu kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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 kategorije M23	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, Journal of Electrical Engineering, 2016, Vol. 67, No. 6, pp. 390-398, ISSN 1335-3632
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	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 kategorije M23	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

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 2027

AKREDITACIJA

KONTAKT

AKREDITACIJA

KONTAKT

Studentska služba

Kontakt: