Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2019 | Modernizing Laboratories for New Courses in Automotive Software Engineering | Kaštelan, Ivan   ; Pavković, Bogdan ; Vranješ, Mario; Popović, Mario ; Velikić, Gordana | Conference Paper | Mp. category will be shown later |
| 2019 | A solution of concurrent queue on local and distributed Python STM | Popovic, Marko; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Article | 52M52 |
| 2019 | Secure Firmware Update in Embedded Systems | Keleman, Levon; Matić, Danijel; Popović, Miroslav ; Kaštelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model | Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Conference Paper | Mp. category will be shown later |
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Article | 22M22 |
| 2019 | Postupak izbora optimalnih parametara za reprodukciju video signala na multimedijalnom uređaju u vozilu (RS20191370) | Bjelica, Milan ; Popović, Miroslav ; Antić, Marija ; Bašičević, Ilija | Patent | Mp. category will be shown later |
| 2019 | Osnove računarskih mreža 1 | Bašičević, Ilija ; Popović, Miroslav ; Kovačević, Vladimir | Text book | Mp. category will be shown later |
| 2019 | One method for hybrid playback and recording of digital TV channels on embedded devices | Vranic, Nikola; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2019 | Agile Method and ROS in Automotive Software development processes, practice, and teaching | Momčilo Krunić; Vlado Krunić; Milan Stankić; POPOVIĆ, MIROSLAV V. | Conference Paper | Mp. category will be shown later |
| 2019 | Formal Verification of Local and Distributed Python Software Transactional Memories | Popović, Marko; Popović, Miroslav ; Gilezan, Silvia K. ; KORDIĆ, BRANISLAV A. | Article | 23M23 |
| 2019 | Personalizovan i distribuirani sistem za podršku odlučivanju u bolničkim informacionim sistemima | Gordana Velikić; Kukolj, Dragan D. ; Đorđe Simić; POPOVIĆ, MIROSLAV V. | Technical reports | Mp. category will be shown later |
| 2019 | Modernizacija laboratorija za inovativne tehnologije | Kaštelan, Ivan A. ; Bogdan Pavković ; Miroslav Popović ; Mario Vranješ | Conference Paper | Mp. category will be shown later |
| 2019 | Online algorithms for scheduling transactions on Python software transactional memory | Popović, Marko ; Kordić, Branislav ; Popović, Miroslav ; Bašičević, Ilija | Article | 51M51 |
| 2019 | A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method | Bojović, Petar ; Bašičević, Ilija ; Ocovaj, S.; Popović, Miroslav | Article | 22M22 |
| 2019 | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP | Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V | Conference Paper | Mp. category will be shown later |
| 2019 | A Solution of Python Distributed STM Based on Data Replication | Popović, Marko ; Popović, Miroslav ; Kordić, Branislav ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2019 | A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory | Kordić, Branislav ; Popovic, Marko; Popovic, Miroslav ; Goldstein, Moshe; Amitay, Moshe; Dayan, David | Conference Paper | Mp. category will be shown later |
| 2019 | Osnove distribuiranih sistema u realnom vremenu | Popović, Miroslav | Text book | Mp. category will be shown later |
| 2019 | Реализација бежичног акустичног сензора базирана на блутут технологији | Павловић, Александар Вук; Поповић, Мирослав | Article | 53M53 |
| 2018 | Evaluation of Takagi-Sugeno-Kang fuzzy method in entropy-based detection of DDoS attacks | Petkovic, Miodrag; Bašičević, Ilija ; Kukolj, Dragan ; Popović, Miroslav | Article | 23M23 |