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 |
| 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 | 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 | 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 | Modernizacija laboratorija za inovativne tehnologije | Kaštelan, Ivan A. ; Bogdan Pavković ; Miroslav Popović ; Mario Vranješ | Conference Paper | Mp. category will be shown later |
| 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 |
| 2018 | A Solution of Concurrent List on PSTM | Popović Marko ; KORDIĆ, BRANISLAV A. ; Popović Miroslav ; Bašičević Ilija | Conference Paper | Mp. category will be shown later |