Vujošević-Janičić, Milena

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 42 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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ć	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Prototype Implementation of Segment Assembling Software	Pesic, Djordje; Mišić, Marko ; Protic, Jelica ; Vujošević-Janičić, Milena	Научни чланак	24M24 - Водећи национални часопис категорије M24
2018	First steps towards proving functional equivalence of embedded SQL	Mirko Spasić ; Vujošević Janičić, Milena M.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	A calculus for a LLVM-based software verification tool LAV	Vujošević Janičić, Milena M.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Parallelization of Software Verification Tool LAV	Živković, Branislava B. ; Vujošević Janičić, Milena M.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Modelling Program Behaviour within Software Verification Tool LAV	Vujošević Janičić, Milena M.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	Уџбеник	Мп категорија ће бити приказана накнадно.
2014	System LAV and Automated Evaluation of Students Programs	Vujošević-Janičić, Milena	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Regresiona verifikacija softvera korišćenjem sistema LAV	Vujošević-Janičić, Milena	Научни чланак	52M52 - Национални часопис категорије M52
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	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2013	Automatsko generisanje i proveravanje uslova ispravnosti programa	Vujošević-Janičić, Milena	Докторска дисертација	70M70 - Одбрањена докторска дисертација
2012	Development and Evaluation of LAV: An SMT-Based Error Finding Platform	Vujošević Janičić, Milena ; Kuncak, Viktor	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2009	Using simplex method in verifying software safety	Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan	Научни чланак	24M24 - Водећи национални часопис категорије M24
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	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2008	The role of programming paradigms in the first programming courses	Vujošević-Janičić, Milena ; Tošić, D.	Научни чланак	Мп категорија ће бити приказана накнадно.
2008	Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza	Janičić, Vujošević Milena	Остало	Мп категорија ће бити приказана накнадно.
2007	Random kappa-GD-SAT model and its phase transition	Vujošević-Janičić, Milena M ; Tomašević, Jelena ; Janičić, Predrag	Научни чланак	23M23 - Међународни часопис категорије M23
2006	Statistical dependence of protein secondary structure on amino acid bigrams [Statistička zavisnost sekundarne strukture proteina od frekvencije bigrama aminokiselina]	Živković, Miodrag; Malkov, Saša ; Zarić, Snežana D. ; Vujošević-Janičić, Milena ; Graovac, Jelena ; Predović, Goran; Blažić, Novica; Beljanski, Miloš V.	Научни чланак	Мп категорија ће бити приказана накнадно.