Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan   ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2022 | Distributed Python Software Transactional Memory Supporting Publish-Subscribe Pattern | Popović, Marko; Kordić, Branislav; Bašičević, Ilija ; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav | Conference Paper | Mp. category will be shown later |
| 2021 | Formal Verification of Distributed Master-Slave Finite State Machine | Popović, Marko; Marinković, Vladimir ; Đukić, Miodrag ; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2021 | Analysis of virtio GPU in a containerized environment | Bogdanovic, Dejan; Popovic, Miroslav ; Usorac, Srdjan | Conference Paper | Mp. category will be shown later |
| 2021 | Analysis of a software based hardware composer adaptation | Bogosavljev, Dejan; Popovic, Miroslav V ; Bogdanovic, Dejan | Conference Paper | Mp. category will be shown later |
| 2020 | Modernized Courses in Automotive Software Engineering | Kastelan, Ivan ; Pavkovic, Bogdan ; Vranjes, Mario; Popovic, Miroslav | Conference Paper | Mp. category will be shown later |
| 2020 | Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision Warning | Gluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V ; Kovacevic, Jelena V | Conference Paper | Mp. category will be shown later |
| 2020 | One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport Stream | Banović, Radenko; Bašičević, Ilija; Popović, Miroslav ; Fimić, Nemanja | Conference Paper | Mp. category will be shown later |