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

Bibliometrics

Total Citations
SCOPUSTM

172
checked on Mar 25, 2026

Works indexed in
SCOPUSTM

28
checked on Mar 25, 2026

Publications

Results 41-60 of 63 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
412019Unapredjenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSARMilicevic, Djordje; Brkusanin, Mirko; Vujošević Janičić, Milena ; Novkovic, Teodora; Jovanovic, PetarM33
421-Feb-2018Prototype implementation of segment assembling softwarePešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena M24
432018First steps towards proving functional equivalence of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M34
442018Adding support for global instruction selection pass for MIPS32 architecture in LLVMAvramovic, Petar; Vujošević Janičić, Milena ; Cmiljanovic, Gordana; Antic, MarijaM33
451-Jan-2017Parallelization of software verification tool LAVZivković, Branislava; Vujošević Janičić, Milena M34
462017Modelling Program Behaviour within Software Verification Tool LAVVujošević Janičić, Milena 
472017Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritamaPesic, Djordje; Misic, Marko; Protic, Jelica; Vujošević Janičić, Milena M63
4082016Programiranje 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ć
4092014Regresiona verifikacija softvera koriscenjem sistema LAVVujošević Janičić, Milena 
4102014System LAV and Automated Evaluation of Students’ ProgramsVujošević Janičić, Milena M34
4111-Jun-2013Software verification and graph similarity for automated evaluation of students' assignmentsVujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan; Kuncak, ViktorM21
4127-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, ViktorM33
4131-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24
41417-Nov-2008Ensuring safe usage of buffers in programming language CVujošević Janičić, Milena M33
4151-Jan-2008XML-Based format for geometryQuaresma, Pedro; Janičić, Predrag ; Tomašević, Jelena ; Vujošević Janičić, Milena ; Tošić, DušanM14
4161-Jan-2008The role of programming paradigms in the first programming coursesVujošević Janičić, Milena ; Tošić, Dušan
4172008Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska tezaVujošević Janičić, Milena 
4182008XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical ProofsQuaresma, Pedro; Janičić, Predrag ; Graovac, Jelena ; Vujošević Janičić, Milena ; Tošic, DušanM14
41925-Jun-2007Random k-GD-SAT model and its phase transitionVujošević Janičić, Milena ; Tomašević, Jelena ; Janičić, Predrag M23
4201-Jan-2006Statistical dependence of protein secondary structure on amino acid bigramsŽivković, Miodrag; Malkov, Saša ; Zarić, Snežana; Vujošević Janičić, Milena ; Tomašević, Jelena ; Predović, Goran; Blažić, Novica; Beljanski, Miloš V.