Истраживачи

еНаука > Истраживачи > Popović, Miroslav

Popović, Miroslav

Тип

10 Конференцијски рад

Година

2 2023
2 2022
3 2021
3 2020

Година - распон

Година од:

Година до:

Филтрирано по:

Година: [2020 TO 2025]

Мп-кат.: M30/M60

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2023	A Simple Python Testbed for Federated Learning Algorithms	Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2022	Distributed Python Software Transactional Memory Supporting Publish-Subscribe Pattern	Popović, Marko; Kordić, Branislav; Bašičević, Ilija ; Popović, Miroslav	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2022	Formal Analysis and Verification of DPSTM v2 Architecture Using CSP	Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2021	Formal Verification of Distributed Master-Slave Finite State Machine	Popović, Marko; Marinković, Vladimir ; Đukić, Miodrag ; Popović, Miroslav	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2021	Analysis of virtio GPU in a containerized environment	Bogdanovic, Dejan; Popovic, Miroslav ; Usorac, Srdjan	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2021	Analysis of a software based hardware composer adaptation	Bogosavljev, Dejan; Popovic, Miroslav V ; Bogdanovic, Dejan	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Modernized Courses in Automotive Software Engineering	Kastelan, Ivan ; Pavkovic, Bogdan ; Vranjes, Mario; Popovic, Miroslav	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision Warning	Gluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V ; Kovacevic, Jelena V	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport Stream	Banović, Radenko; Bašičević, Ilija; Popović, Miroslav ; Fimić, Nemanja	Конференцијски рад	Мп категорија ће бити приказана накнадно.