Researchers
Vujošević-Janičić, Milena
Results 21-40 of 44
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2019 | The learnability of the dimensional view of data and what to do with it | Vujošević, Dušan   ; Kovačević, Ivana ; Vujošević Janičić, Milena | Article | 22M22 |
| 2019 | Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispita | Mišić, Marko J. ; Jelica Protić ; Milena Vujošević Janičić ; Marko Mišić | Conference Paper | Mp. category will be shown later |
| 2019 | Unapređenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSAR | Đorđe Milićević; Mirko Brkušanin; Vujošević Janičić, Milena M. ; Novković, Teodora Đ. ; Petar Jovanović | Conference Paper | Mp. category will be shown later |
| 2018 | First steps towards proving functional equivalence of embedded SQL | Mirko Spasić ; Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2018 | Adding support for global instruction selection pass for MIPS32 architecture in LLVM | Petar Avramović; Vujošević Janičić, Milena M. ; Gordana Cmiljanović; ANTIĆ, MARIJA D. | Conference Paper | Mp. category will be shown later |
| 2018 | Prototype Implementation of Segment Assembling Software | Pesic, Djordje; Mišić, Marko ; Protic, Jelica ; Vujošević-Janičić, Milena | Article | 24M24 |
| 2018 | A calculus for a LLVM-based software verification tool LAV | Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2017 | Modelling Program Behaviour within Software Verification Tool LAV | Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2017 | Parallelization of Software Verification Tool LAV | Živković, Branislava B. ; Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2017 | Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritama | Đ. Pešić; Mišić, Marko J. ; Protić, Jelica Ž. ; Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2016 | Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C) | Janičić, Vujošević Milena ; Jelena Graovac ; Radojičić, Nina ; Spasić, Ana ; Spasić, Mirko ; Zečević, Anđelka | Text book | Mp. category will be shown later |
| 2014 | Regresiona verifikacija softvera korišćenjem sistema LAV | Vujošević-Janičić, Milena | Article | 52M52 |
| 2014 | System LAV and Automated Evaluation of Students Programs | Vujošević-Janičić, Milena | Conference Paper | Mp. category will be shown later |
| 2013 | Software verification and graph similarity for automated evaluation of students’ assignments | Vujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan ; Kuncak, Viktor | Article | 21M21 |
| 2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa | Vujošević-Janičić, Milena | Doctoral theses | 70M70 |
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform | Vujošević Janičić, Milena ; Kuncak, Viktor | Conference Paper | Mp. category will be shown later |
| 2009 | Using simplex method in verifying software safety | Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan | Article | 24M24 |
| 2008 | XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs | Quaresma, Pedro; Janicic, Predrag ; Graovac, Jelena ; Vujoševic-Janicic, Milena ; Tošic, Dušan | Book parts | Mp. category will be shown later |
| 2008 | The role of programming paradigms in the first programming courses | Vujošević-Janičić, Milena ; Tošić, D. | Article | Mp. category will be shown later |
| 2008 | Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza | Janičić, Vujošević Milena | Other | Mp. category will be shown later |