Researchers

Results 21-40 of 207

Issue DateTitleAuthor(s)TypeМp-cat.
2021Analysis of a software based hardware composer adaptationBogosavljev, Dejan; Popovic, Miroslav V  ; Bogdanovic, DejanConference Paper
Mp. category will be shown later
2020Modernized Courses in Automotive Software EngineeringKastelan, Ivan  ; Pavkovic, Bogdan  ; Vranjes, Mario; Popovic, Miroslav  Conference Paper
Mp. category will be shown later
2020Formal analysis and verification of the PSTM architecture using CSPLiu, Ailun; Zhu, Huibiao; Popović, Miroslav  ; Xiang, Shuangqing; Zhang, LeiArticle
21M21
2020Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision WarningGluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V  ; Kovacevic, Jelena V  Conference Paper
Mp. category will be shown later
2020One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport StreamBanović, Radenko; Bašičević, Ilija; Popović, Miroslav  ; Fimić, NemanjaConference Paper
Mp. category will be shown later
2020Fault Tolerant Distributed Python Software Transactional MemoryPopovic, Marko M; Basicevic, Ilija V  ; Djukic, Miodrag M  ; Popovic, Miroslav V  Article
23M23
2019Modernizing Laboratories for New Courses in Automotive Software EngineeringKaštelan, Ivan  ; Pavković, Bogdan  ; Vranješ, Mario; Popović, Mario  ; Velikić, Gordana Conference Paper
Mp. category will be shown later
2019A solution of concurrent queue on local and distributed Python STMPopovic, Marko; Kordić, Branislav  ; Popović, Miroslav  ; Bašičević, Ilija  Article
52M52
2019Secure Firmware Update in Embedded SystemsKeleman, Levon; Matić, Danijel; Popović, Miroslav  ; Kaštelan, Ivan  Conference Paper
Mp. category will be shown later
2019Formal verification of python software transactional memory serializability based on the push/pull semantic modelPopovic, Miroslav  ; Popovic, Marko; Gilezan, Silvia  ; Kordić, Branislav  Conference Paper
Mp. category will be shown later
2019Formal verification of python software transactional memory based on timed automataKORDIĆ, BRANISLAV A.  ; Popović, Miroslav  ; Gilezan, Silvia K.  Article
22M22
2019Postupak izbora optimalnih parametara za reprodukciju video signala na multimedijalnom uređaju u vozilu (RS20191370)Bjelica, Milan  ; Popović, Miroslav  ; Antić, Marija  ; Bašičević, Ilija  Patent
Mp. category will be shown later
2019Osnove računarskih mreža 1Bašičević, Ilija  ; Popović, Miroslav  ; Kovačević, Vladimir  Text book
Mp. category will be shown later
2019One method for hybrid playback and recording of digital TV channels on embedded devicesVranic, Nikola; Popović, Miroslav  Conference Paper
Mp. category will be shown later
2019Agile Method and ROS in Automotive Software development processes, practice, and teachingMomčilo Krunić; Vlado Krunić; Milan Stankić; POPOVIĆ, MIROSLAV V.  Conference Paper
Mp. category will be shown later
2019Formal Verification of Local and Distributed Python Software Transactional MemoriesPopović, Marko; Popović, Miroslav  ; Gilezan, Silvia K.  ; KORDIĆ, BRANISLAV A.  Article
23M23
2019Personalizovan i distribuirani sistem za podršku odlučivanju u bolničkim informacionim sistemimaGordana Velikić; Kukolj, Dragan D.  ; Đorđe Simić; POPOVIĆ, MIROSLAV V.  Technical reports
Mp. category will be shown later
2019Modernizacija laboratorija za inovativne tehnologijeKaštelan, Ivan A.  ; Bogdan Pavković  ; Miroslav Popović  ; Mario VranješConference Paper
Mp. category will be shown later
2019Online algorithms for scheduling transactions on Python software transactional memoryPopović, Marko  ; Kordić, Branislav  ; Popović, Miroslav  ; Bašičević, Ilija  Article
51M51
2019A practical approach to detection of distributed denial-of-service attacks using a hybrid detection methodBojović, Petar  ; Bašičević, Ilija  ; Ocovaj, S.; Popović, Miroslav  Article
22M22

Results 21-40 of 207