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

Issue Date	Title	Author(s)	Rank
2024	Profiling-Based Adaptive GC Policy for Serverless	Karličić, Milica ; Ristović, Ivan; Vujošević Janičić, Milena
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
2023	Smanjivanje veličine izvršive datoteke kompresijom koda	Spasić, Marko ; Vujošević Janičić, Milena
2020	Extending Clang for checking compliance with automotive coding standards	Janičić, Milena Vujošević
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
2023	Kreiranje skupa podataka za odredjivanje parametara kompilacije	Stanojević, Strahinja ; Vujošević Janičić, Milena
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
-	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
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
2008	Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza	Vujošević Janičić, Milena
2019	Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C)	Vujošević Janičić, Milena ; Kovačević, Jovana ; Simić, Danijela ; An\djelka Zečević; Kocić, Aleksandra
2019	Unapredjenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSAR	Milicevic, Djordje; Brkusanin, Mirko; Vujošević Janičić, Milena ; Novkovic, Teodora; Jovanovic, Petar
2014	Finite State Transducers for Generating Texts of Meteorological Reports in Serbian	Pajić, Vesna; Vujičić Stanković, Staša
2014	Formiranje domenskog korpusa – kulinarska leksika	Vujičić Stanković, Staša ; Pajić, Vesna