Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2021 | Analysis of a software based hardware composer adaptation![]() | Bogosavljev, Dejan; Popovic, Miroslav V | Conference Paper | Mp. category will be shown later |
| 2020 | Modernized Courses in Automotive Software Engineering![]() | Kastelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP![]() | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav | Article | 21M21 |
| 2020 | Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision Warning![]() | Gluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav 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 | Conference Paper | Mp. category will be shown later |
| 2020 | Fault Tolerant Distributed Python Software Transactional Memory![]() | Popovic, Marko M; Basicevic, Ilija V | Article | 23M23 |
| 2019 | Modernizing Laboratories for New Courses in Automotive Software Engineering![]() | Kaštelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2019 | A solution of concurrent queue on local and distributed Python STM![]() | Popovic, Marko; Kordić, Branislav | Article | 52M52 |
| 2019 | Secure Firmware Update in Embedded Systems![]() | Keleman, Levon; Matić, Danijel; Popović, Miroslav | 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 | Conference Paper | Mp. category will be shown later |
| 2019 | Formal verification of python software transactional memory based on timed automata![]() | KORDIĆ, BRANISLAV A. | Article | 22M22 |
| 2019 | Postupak izbora optimalnih parametara za reprodukciju video signala na multimedijalnom uređaju u vozilu (RS20191370)![]() | Bjelica, Milan | Patent | Mp. category will be shown later |
| 2019 | Osnove računarskih mreža 1![]() | Bašičević, Ilija | 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 | Article | 23M23 |
| 2019 | Personalizovan i distribuirani sistem za podršku odlučivanju u bolničkim informacionim sistemima | Gordana Velikić; Kukolj, Dragan D. | Technical reports | Mp. category will be shown later |
| 2019 | Modernizacija laboratorija za inovativne tehnologije | Kaštelan, Ivan A. | Conference Paper | Mp. category will be shown later |
| 2019 | Online algorithms for scheduling transactions on Python software transactional memory![]() | Popović, Marko | Article | 51M51 |
| 2019 | A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method![]() | Bojović, Petar | Article | 22M22 |
