Researchers
Popović, Miroslav
Results 1-20 of 210
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT | Djukic, Miodrag M   ; Prokic, Ivan ; Popovic, Miroslav ; Ghilezan, Silvia ; Popovic, Marko; Prokic, Simona | Article | 22M22 |
| 2024 | Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popovic, Miroslav ; Popovic, Marko; Kaštelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2024 | PTB-FLA Development Paradigm Adaptation for ChatGPT | Popovic, Miroslav ; Popovic, Marko; Kastelan, Ivan ; Djukic, Miodrag M. ; Basicevic, Ilija | Article | 22M22 |
| 2024 | A Federated Learning Algorithms Development Paradigm | Popovic, Miroslav ; Popovic, Marko; Kastelan, Ivan ; Djukic, Miodrag ; Basicevic, Ilija | Book parts | Mp. category will be shown later |
| 2023 | Flexible Scheduling of Transactional Memory on Trees | Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav ; Poudel, Pavan; Sharma, Gokarna | Article | 22M22 |
| 2023 | A Learning Model for Lifelong Education of Computer Engineers | Kaštelan, Ivan ; Popović, Miroslav ; Bjelica, Milan | Article | 21M21 |
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Article | Mp. category will be shown later |
| 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 | Guest Editorial - Engineering of Computer Based Systems | Djukić, Miodrag ; Popović, Miroslav | Editorial works | 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 | Jedno rešenje lanca-blokova | Kuprešanin, Tamara; Popović, Miroslav | Article | 52M52 |
| 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 |
| 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 | Operativni sistemi u realnom vremenu | Popović, Miroslav ; Marinković, Vladimir ; Kovačević, Vladimir | Text book | Mp. category will be shown later |
| 2021 | Paralelno programiranje | Popović, Miroslav ; Kovačević, Vladimir | Text book | Mp. category will be shown later |
| 2021 | An Evolutionary Computational System Architecture Based on a Software Transactional Memory | Kordic, Branislav; Popovic, Marko ; Popovic, Miroslav ; Goldstein, Moshe; Amitay, Moshe; Da, Yan David; Fredj, Erick | Article | 23M23 |
| 2021 | Osnove distribuiranih sistema u realnom vremenu | Popović, Miroslav | Text book | 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 |
| 2021 | Dynamic scheduling in distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popovic, Miroslav V ; Sharma, Gokarna | Article | 22M22 |
| 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 |