1. Research with MATF

Vujošević Janičić, Milena

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Vujošević Janičić, Milena
Variants
Janičić, M.V.
Vujošević Janičić, M.
Vujošević-Janičić, M.
Janicic, M.V.
Vujosevic-Janicic, M.
Vujosevic Janicic, M.
Janicic, M.V.
Vujošević-Janičić, Milena
Janičić, Milena Vujošević
 
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

Results 21-40 of 53 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
212022Proving code equivalence in database-driven applications and SPARQL queriesVujošević Janičić, Milena M33
2226-May-2021AUTOCHECK: A Tool for Checking Compliance with Automotive Coding StandardsVujošević Janičić, Milena ; Plavsic, Ognjen; Brkusanin, Mirko; Jovanovic, PetarM33
232021Moderni pristupi za obezbedjivanje ispravnosti softveraVujošević Janičić, Milena M63
242021Maintenance and maintainability within agile software developmentVujošević Janičić, Milena 
252021Verification supported refactoring of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M22
261-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena M23
271-May-2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko ; Vujošević Janičić, Milena M33
281-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad; Kotlar, Miloš; Krdžavac, Nenad B.; Marić, Filip ; Malkov, Saša ; Milutinović, Veljko; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović-Lažetić, Gordana; Simić, Danijela ; Stojanović-Djurdjević. Sana ; Vujičić Stanković, Staša ; Vujošević Janičić, Milena ; Živković, MiodragM22
291-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip M23
307-Jan-2019The learnability of the dimensional view of data and what to do with itVujošević, Dušan; Kovačević, Ivana; Vujošević Janičić, Milena M22
312019Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispitaPešić, Đorđe; Protić, Jelica; Vujošević Janičić, Milena ; Mišić, MarkoM63
322019Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C)Vujošević Janičić, Milena ; Kovačević, Jovana ; Simić, Danijela ; Anđelka Zečević; Kocić, Aleksandra
332019Unapredjenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSARMilicevic, Djordje; Brkusanin, Mirko; Vujošević Janičić, Milena ; Novkovic, Teodora; Jovanovic, PetarM33
341-Feb-2018Prototype implementation of segment assembling softwarePešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena M24
352018First steps towards proving functional equivalence of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M34
362018Adding support for global instruction selection pass for MIPS32 architecture in LLVMAvramovic, Petar; Vujošević Janičić, Milena ; Cmiljanovic, Gordana; Antic, MarijaM33
371-Jan-2017Parallelization of software verification tool LAVZivković, Branislava; Vujošević Janičić, Milena M34
382017Modelling Program Behaviour within Software Verification Tool LAVVujošević Janičić, Milena 
392017Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritamaPesic, Djordje; Misic, Marko; Protic, Jelica; Vujošević Janičić, Milena M63
402016Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C)Vujošević Janičić, Milena ; Graovac, Jelena ; Radojičić Matić, Nina ; Spasić, Ana; Spasić, Mirko ; Anđelka Zečević