1. Research with MATF
  2. Research Outputs

Browsing by Author Vujošević Janičić, Milena


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 48  next >
Issue DateTitleAuthor(s)Rank
2018Adding support for global instruction selection pass for MIPS32 architecture in LLVMAvramovic, Petar; Vujošević Janičić, Milena ; Cmiljanovic, Gordana; Antic, MarijaM33
2024Assessing ChatGPT for Algorithm Time Complexity Education\DJor\dje Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM34
26-May-2021AUTOCHECK: A Tool for Checking Compliance with Automotive Coding StandardsVujošević Janičić, Milena ; Plavsic, Ognjen; Brkusanin, Mirko; Jovanovic, PetarM33
-Automated generation and checking of verification conditionsVujošević Janičić, Milena M70
2008Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska tezaVujošević Janičić, Milena 
2024Best Practices From Bachelor/Master Studies to Ph.DMersni, 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
1-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena M23
2024Constant Folding of Reflective Calls via Static Analysis of Java BytecodeStefanović, Aleksandar ; Ristović, Ivan; Vujošević Janičić, Milena 
7-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, ViktorM33
2024Efikasan obilazak grafova kontrole tokaRistović, Ivan; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M63
17-Nov-2008Ensuring safe usage of buffers in programming language CVujošević Janičić, Milena M33
2018First steps towards proving functional equivalence of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena 
2024Generisanje 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
2024GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static ProfilersČugurović, Milan ; Vujošević Janičić, Milena M34
1-Jul-2024GraalSP: Polyglot, efficient, and robust machine learning-based static profilerČugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin; Würthinger, ThomasM21
2019Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispitaPešić, Đorđe; Protić, Jelica; Vujošević Janičić, Milena ; Mišić, MarkoM63
2023Kreiranje i analiza skupa podataka za predvidjanje verovatnoća izvršavanja virtuelnih metoda u objektno-orijentisanim jezicimaČugurović, Milan ; Vujošević Janičić, Milena 
2023Kreiranje skupa podataka za odredjivanje parametara kompilacijeStanojević, Strahinja ; Vujošević Janičić, Milena 
7-Jan-2019The learnability of the dimensional view of data and what to do with itVujošević, Dušan; Kovačević, Ivana; Vujošević Janičić, Milena M22
2021Maintenance and maintainability within agile software developmentVujošević Janičić, Milena 
Showing results 1 to 20 of 48  next >