Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Rank
2024	Generisanje programskih segmenata zadate složenosti pomoću alata veštačke inteligencije	Đorđe Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, Jelica	M63
2018	Adding support for global instruction selection pass for MIPS32 architecture in LLVM	Avramovic, Petar; Vujošević Janičić, Milena ; Cmiljanovic, Gordana; Antic, Marija	M33
2017	Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritama	Pesic, Djordje; Misic, Marko; Protic, Jelica; Vujošević Janičić, Milena	M63
2016	Programiranje 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ć
2024	Constant Folding of Reflective Calls via Static Analysis of Java Bytecode	Stefanović, Aleksandar ; Ristović, Ivan; Vujošević Janičić, Milena	M64
2024	Profiling-Based Adaptive GC Policy for Serverless	Karličić, Milica ; Ristović, Ivan ; Vujošević Janičić, Milena	M64
2017	Modelling Program Behaviour within Software Verification Tool LAV	Vujošević Janičić, Milena
2024	Efikasan obilazak grafova kontrole toka	Ristović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena	M63
2023	Women's Career Lunch — Catalog of questions for the speakers	Abraham, Erika; Goulão, Miguel; Vujošević Janičić, Milena ; Delany, Sarah Jane; Mersni, Amal; Yeremenko, Oleksandra; Schmid, Larissa; Nebot, Angela; Büyükdağlı, Özge; Boudaoud, Karima; Sunar Cerci, Deniz	M33
2023	Smanjivanje veličine izvršive datoteke kompresijom koda	Spasić, Marko ; Vujošević Janičić, Milena	M64
2020	Extending Clang for checking compliance with automotive coding standards	Janičić, Milena Vujošević	M33
2024	GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static Profilers	Čugurović, Milan ; Vujošević Janičić, Milena	M34
2014	Regresiona verifikacija softvera koriscenjem sistema LAV	Vujošević Janičić, Milena
2024	Assessing ChatGPT for Algorithm Time Complexity Education	\DJor\dje Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, Jelica	M34
2018	First steps towards proving functional equivalence of embedded SQL	Spasić, Mirko ; Vujošević Janičić, Milena	M34
2023	Kreiranje skupa podataka za odredjivanje parametara kompilacije	Stanojević, Strahinja ; Vujošević Janičić, Milena	M64
2023	Kreiranje i analiza skupa podataka za predvidjanje verovatnoća izvršavanja virtuelnih metoda u objektno-orijentisanim jezicima	Čugurović, Milan ; Vujošević Janičić, Milena	M64
-	Automated generation and checking of verification conditions	Vujošević Janičić, Milena	M70
2018	A calculus for a LLVM-based software verification tool LAV	Vujošević Janičić, Milena	M33
2024	Best Practices From Bachelor/Master Studies to Ph.D	Mersni, Amal; Oehlhorn, Caroline; Abraham, Erika; Boudaoud, Karima; Schmid, Larissa; Pato, Matilde; Goulao, Miguel; Vujošević Janičić, Milena ; Yeremenko, Oleksandra; Delany, Ozge Buyukdaglıand Sarah Jane; Schmid, Ute