Istraživači

Rezultati 21-40 od 207

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2021Analysis of a software based hardware composer adaptationBogosavljev, Dejan; Popovic, Miroslav V  ; Bogdanovic, DejanKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Modernized Courses in Automotive Software EngineeringKastelan, Ivan  ; Pavkovic, Bogdan  ; Vranjes, Mario; Popovic, Miroslav  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Formal analysis and verification of the PSTM architecture using CSPLiu, Ailun; Zhu, Huibiao; Popović, Miroslav  ; Xiang, Shuangqing; Zhang, LeiNaučni članak
21M21 - Rad u vrhunskom međ. časopisu
2020Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision WarningGluhakovic, Mario; Herceg, Marijan; Popovic, Miroslav V  ; Kovacevic, Jelena V  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport StreamBanović, Radenko; Bašičević, Ilija; Popović, Miroslav  ; Fimić, NemanjaKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Fault Tolerant Distributed Python Software Transactional MemoryPopovic, Marko M; Basicevic, Ilija V  ; Djukic, Miodrag M  ; Popovic, Miroslav V  Naučni članak
23M23 - Rad u međ. časopisu
2019Modernizing Laboratories for New Courses in Automotive Software EngineeringKaštelan, Ivan  ; Pavković, Bogdan  ; Vranješ, Mario; Popović, Mario  ; Velikić, Gordana Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2019A solution of concurrent queue on local and distributed Python STMPopovic, Marko; Kordić, Branislav  ; Popović, Miroslav  ; Bašičević, Ilija  Naučni članak
52M52 - Rad u istaknutom nac. časopisu
2019Secure Firmware Update in Embedded SystemsKeleman, Levon; Matić, Danijel; Popović, Miroslav  ; Kaštelan, Ivan  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Formal verification of python software transactional memory serializability based on the push/pull semantic modelPopovic, Miroslav  ; Popovic, Marko; Gilezan, Silvia  ; Kordić, Branislav  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Formal verification of python software transactional memory based on timed automataKORDIĆ, BRANISLAV A.  ; Popović, Miroslav  ; Gilezan, Silvia K.  Naučni članak
22M22 - Rad u istaknutom međ. časopisu
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 kategorija će biti prikazana naknadno.
2019Osnove računarskih mreža 1Bašičević, Ilija  ; Popović, Miroslav  ; Kovačević, Vladimir  Udžbenik
Mp kategorija će biti prikazana naknadno.
2019One method for hybrid playback and recording of digital TV channels on embedded devicesVranic, Nikola; Popović, Miroslav  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Agile Method and ROS in Automotive Software development processes, practice, and teachingMomčilo Krunić; Vlado Krunić; Milan Stankić; POPOVIĆ, MIROSLAV V.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Formal Verification of Local and Distributed Python Software Transactional MemoriesPopović, Marko; Popović, Miroslav  ; Gilezan, Silvia K.  ; KORDIĆ, BRANISLAV A.  Naučni članak
23M23 - Rad u međ. časopisu
2019Personalizovan i distribuirani sistem za podršku odlučivanju u bolničkim informacionim sistemimaGordana Velikić; Kukolj, Dragan D.  ; Đorđe Simić; POPOVIĆ, MIROSLAV V.  Tehničko rešenje
Mp kategorija će biti prikazana naknadno.
2019Modernizacija laboratorija za inovativne tehnologijeKaštelan, Ivan A.  ; Bogdan Pavković  ; Miroslav Popović  ; Mario VranješKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Online algorithms for scheduling transactions on Python software transactional memoryPopović, Marko  ; Kordić, Branislav  ; Popović, Miroslav  ; Bašičević, Ilija  Naučni članak
51M51 - Rad u vrhunskom časopisu nac. značaja
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  Naučni članak
22M22 - Rad u istaknutom međ. časopisu

Rezultati 21-40 od 207